A Formal Semantics for UML

7 November 2005, Nuremberg, Germany

in conjuction with the
European Conference on Model Driven Architecture
ECMDA 2005 (7-10 November 2005)

Workshop Theme

The UML 2.0 Semantics Project is a newly-formed international collaboration between academia and industry. Participants include IBM (Canada, Germany, and Israel), Queen's University (Kingston, Ontario, Canada), the Technical University of Munich (Germany), and the Technical University of Braunschweig (Germany). The main objective of this project is to develop a mathematically formalized semantic definition for the Unified Modeling Language (UML).

A precise and unambiguous definition of UML semantics is indispensable if MDA is to realize its full potential. In addition, a number of further benefits are anticipated from this effort, such as deeper understanding of UML concepts, detection of gaps and inconsistencies in the current standard, and determination of useful model analysis techniques. The results of this research have the potential to be directly useful to tool vendors, software developers, and researchers,.

By the time of the workshop, the project will have been in existence for almost a year. This makes it a convenient point for reporting on the results achieved and for soliciting feedback from the greater MDD community.

Workshop Goal

The goal of this workshop is to provide an open forum where individuals interested in UML semantics can learn about the Project’s current status, provide feedback, and share ideas about the topic in general. Another objective is to identify possible future collaborations with other research teams working on similar or related problems. The workshop will not solicit paper submissions; instead, it will be organized around a set of presentations from Project team members as well as a number of invited talks from recognized domain experts, with open discussion in which all workshop participants can contribute. The content of these discussions and the workshop conclusions will be used as input for determining further research directions and collaborations.

Schedule & Presentation Links

Start Time	Duration	Topic	Speaker(s)	Affiliation	Country
9:00	30 min	Project Description and Status	B. Selic	IBM Rational	Canada
9:30	45 min	The System Model Part 1: Towards a System Model for UML Part 2: Defining Control in the System Model	M.-V. Cengarle B. Rumpe	Tech. U of Munich, U. of Braunschweig	Germany
10:15	30 min.	Coffee Break
10:45	30 min.	Defining the Semantic Mapping	J. Dingel	Queen's U.	Canada
11:15	60 min.	Discussion	All
12:15	90 min.	Lunch
13:45	25 min.	Dynamic Meta-Modeling -- A Hybrid Approach to Define UML Semantics	JH Hausmann G. Engels	U. of Paderborn	Germany
14:10	25 min.	Different Notations for Describing Use Case Scenarios	G. von Bochmann	U. of Ottawa	Canada
14:35	25 min.	STAIRS - Steps to Analyze Interactions with Refinement Semantics	Ø. Haugen	U. of Oslo	Norway
15:00	25 min.	UML 2.0 Interactions: Semantics and Refinement	A. Knapp	U. of Munich	Germany
15:25	20 min.	Coffee Break
15:45	25 min.	Semantic Needs for a Design Tool of Real-Time Embedded Systems	S. Graf	VERIMAG	France
16:10	25 min.	An ASM Semantics for the Communication Layer in Rational Rose Real-Time	A. Stefanescu	U. of Konstanz	Germany
16:35	25 min.	Diagrams for Services -- Queries and Constraints	I. Krueger	U. of California San Diego	USA
17:00	15 min.	Wrap Up Session	B. Selic	IBM Rational	Canada
17:15		End of Official Workshop
17:15	60 min.	Q&A Session on UML 2.0 (optional)	B. Selic	IBM Rational	Canada
18:15		Closing

Etc.

Here are a few pictures of some of our presenters. In addition, you can download a list of our participants here.