Outcome of a Dagstuhl Seminar: Scenarios: Models, Transformations and Tools 2003

• Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen:
  Why Timed Sequence Diagrams Require Three-Event Semantics. 1-25
  
• David Harel, Hillel Kugler, Gera Weiss:
  Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. 26-42
  
• Anca Muscholl, Doron Peled:
  Deciding Properties of Message Sequence Charts. 43-65
  
• Cas J. F. Cremers, Sjouke Mauw:
  Operational Semantics of Security Protocols. 66-89
  
• Holger Giese, Florian Klein:
  Autonomous Shuttle System Case Study. 90-94
  
• R. Geoff Dromey:
  Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity. 95-108
  
• Ira Diethelm, Leif Geiger, Albert Zündorf:
  Applying Story Driven Modeling to the Paderborn Shuttle System Case Study. 109-133
  
• Dorin Bogdan Petriu, Daniel Amyot, C. Murray Woodside, Bo Jiang:
  Traceability and Evaluation in Scenario Analysis by Use Case Maps. 134-151
  
• Matthias Beyer, Winfried Dulz:
  Scenario-Based Statistical Testing of Quality of Service Requirements. 152-173
  
• Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens:
  Lightweight Formal Methods for Scenario-Based Software Engineering. 174-192
  
• Holger Giese, Florian Klein, Sven Burmester:
  Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models. 193-211
  
• Piotr Kosiuczenko:
  Partial Order Semantics of Sequence Diagrams for Mobility. 212-227
  
• Ferhat Khendek, Xiao Jun Zhang:
  From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System. 228-254
  
• Ingolf H. Krüger, Reena Mathew:
  Component Synthesis from Service Specifications. 255-277