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.
Submission
Authors are invited to submit
electronically by August 25th an extended abstract not exceeding 20
pages to F.S.de.Boer@cwi.nl.
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 |
Venue
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.
Organizers
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) |
Sponsors
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).
Contact
|