• precise semantics of the "dynamic" diagrams, as statecharts, sequence, collaboration, and activity diagrams; and of the constraints over them;
• precise semantics of UML models integrating the views presented by the different diagrams;
• precise relationships among the different ways provided by UML to model some dynamic aspect of a system (for example equivalence between diagrams);
• relationships between class diagrams and diagrams concerning the dynamic behaviour;
• profiles covering dynamic aspects;
• rigorous methods for modelling dynamic aspects of systems with UML exploiting proper ways to use the various diagrams;
• motivations/proposals for UML extensions concerning the dynamic aspects (for example, extensions of OCL to allow to express many relevant constraints on the dynamic behaviour, as liveness);
• translating one behaviour notation into another;
• refinement and abstraction for behaviour models;
• ..........

Submissions should be not longer than 5 pages and should be either an HTML document, or a plain text or a PDF file to be sent to Gianna Reggio.
The organizing committee will review submissions and select those that present relevant and interesting ideas and concepts that can contribute to the workshop.
The committee will set up a preliminary web-based discussion around the topics of the accepted submissions; the results of such discussion will be in a summary to be distributed at the participants as a starting point for the workshop.
The selected contributions will be published as a technical report jointly issued by the Technical and the Ludwig-Maximilians Universities of Munich. In addition, the organizers will take care to prepare a short report describing the workshop results for the UML'2000 Workshops Reader.
The existing UML semantics FAQ document for the part about the dynamic behaviour aspects will be updated with the main results concerning key questions/answers addressed during the workshop.

Dates

• Deadline for sending position papers: 25 August 2000    !!!NEW!!!.
• Notification of acceptance: 28 August 2000.
• Workshop: 2 or 3 October 2000.