Scenarios: Models, Algorithms and Tools
September 7-12, 2003
Tentative Programme for Monday, September 8:
Morning Session (9:00 - 12:00)
Introduction and Welcome
Session on UML
moderated by Tarja Systä
Øystein Haugen, The Semantics and Politics of UML 2.0 Interactions
Andy Schürr, Modeling Exceptions in and Extensions of Use Cases and Sequence Diagrams in UML 2.0
Afternoon Session (13:30 - 18:00, coffee break 15:30 - 16:00)
Session on Formal Analysis and Semantics
moderated by Stefan Leue
Alexander Knapp, Model Checking UML State Machines and Collaborations
Hillel Kugler, Analysis and Execution of Live Sequence Charts
Doron A. Peled, Model Checking with Message Sequence Charts
Dietrich Kuske, Logics and Message Sequence Charts
Sjouke Mauw, Visualizing Security Protocols: An Operational Semantics