Compositional Verification of UML Models

Call (PDF)
San Francisco
Related events
UML 2003
FMCO 2003

Workshop at the sixth International Conference on the Unified Modeling Language

<<UML>> 2003

October 21, 2003, 

Fort Mason Center
San Francisco, California, USA


The definition of UML has been motivated by the need for a standard notation for modelling system architectures and behaviours at functional and implementation level. The main focus has been essentially on terminology, notation and syntax without addressing semantic, validation and methodology issues which are important for formal design and verification techniques. This workshop addresses the application of formal methods and techniques that exploit the architectural structure of UML models in a compositional manner.

Extended abstracts of the accepted papers will be published as a volume of the Electronic Notes in Theoretical Computer Science, published by Elsevier Science.

Workshop topics

The workshop topics include (but are not limited to):

  • semantic foundations of architectural and component-based design within UML
  • compositional techniques for the analysis embedded and real-time systems in UML
  • compositional model checking of UML behavioural models
  • compositional deductive methods based on OCL
  • methodologies based on compositional formal techniques

Worshop programme

9:30 - 9:45 Opening
9:45 - 10:30 Invited talk: Compositional Construction of Applications from Behavioral Components
Farhad Arbab (CWI, NL)

Coffee break

11:00 - 11:30
The OMEGA Component Model
Joost Jacob, Frank de Boer, and Marcello Bonsangue
11:30 - 12:00
Specifying Component Behavior with Port State Machines
Vladimir Mencl
12:00 - 12:30
Discussion on compositionality and components in UML

Lunch break

14:00 - 14:30
Unifying Views of UML
Zhiming Liu, He Jifeng, Jing Liu and Xiaoshan Li
14:30 - 15:00
Mapping an Enterprise Architectural Description Language
into UML

Martijn Wiering, Marcello Bonsangue, Mark Lankhorst, and
Luuk Groenewege
15:00 - 15:30
On Message Specifications in OCL
Marcel Kyas

Coffee break

16:00 - 16:30
Transformation and Verification of Executable UML Models
Guenter Graw and Peter Herrmann
16:30 - 17:00
Transformation of UML-based System Model to Design/CPN
model for validating System behavior
Michael Shin, Alexander Levis, and Lee Wagenhals
17:00 - 17:30
Closing discussion

A workshop reception will take place on the evening of Monday October 20th at the Holiday Inn Gateway Hotel in downtown San Francisco.


Authors are invited to submit electronically by August 25th an extended abstract not exceeding 20 pages to Submissions must be either in Postscript or PDF format and prepared for USLetter or A4 page sizes.

Papers must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. Simultaneous submissions to other conferences are not allowed.

Submissions will be evaluated by the program committee for presentation at the workshop and inclusion in the proceedings. Proceedings which will be published by Electronic Notes in Theoretical Computer Science series after the workshop, in order to take into account in the final version the discussions raised during the workshop. At the workshop a preliminary version of the proceedings will be available.

Important dates

25 August Deadline for paper submissions
10 September Notification to authors
1 October Deadline for preliminary version
21 October Workshop
21 November Deadline for final version


The workshop will be held on Tuesday October 21st, at the Fort Mason Center, a National Historic Landmark part of the Golden Gate National Recreation Area. Fort Mason is a former military base located between Fisherman's Wharf and the Golden Gate Bridge, right on the San Francisco Bay. It boasts impressive views of the Golden Gate Bridge and Alcatraz.

The Workshops will be held in Building C at Fort Mason Center. There is free parking available and good bus connections from downtown San Francisco. For information on the location of Fort Mason and transportation, click here.

The workshop is an affiliated event of the conference UML 2003, that will be held at the Holiday Inn Golden Gateway Hotel in downtown San Francisco. The hotel could not be more centrally located. It is within walking distance of Union Square, Japantown, the Symphony Hall and Opera House and restaurants both on Van Ness Avenue and Fillmore Street. The California Street cable car is just a few steps away. For a map, click here.

NOTE: the Holiday Inn Golden Gateway will act as the conference accomodation for the entire week of the conference. From the hotel, it is about a 25 minute walk to Fort Mason or 20 minutes by bus.


   Frank de Boer, NL
   Marcello Bonsangue, NL
   Bernhard Josko, DE

Program Committee

  Frank de Boer (CWI, The Netherlands)
  Marcello Bonsangue (LIACS, The Netherlands)
  Werner Damm (OFFIS, Germany)
  Susanne Graf (Verimag, France)
  David Harel (Weizmann Institute, Israel)
  Jozef Hooman (University of Nijmegen, The Netherlands)
  Bernhard Josko (OFFIS, Germany)
  Amir Pnueli (Weizmann Institute, Israel)
  Willem-Paul de Roever (Kiel University, Germany)
  Joseph Sifakis (Verimag, France)


This workshop is sponsored by the European R&D project OMEGA - Correct Development of Real-time Embedded Systems, and by the German-Dutch project Mobi-J (main sponsor of FMCO).



           Last Update: May 19 2003
Image: San Francisco Convention and Visitors Bureau