Session 1: 9.00-10.30

Opening and Survey

8.45 – 9.00

Welcome

9.00 – 10.00

Invited speaker: Prof Manfred Broy, Technical University of Munich

10.00 – 10.30

A Comparative Survey of Scenario-based to State-based Model Synthesis, Liang, Dingel, Diskin

Coffee

Session 2: 11.00-12.30

Description Techniques, Inference

11.00 – 11.30

Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams, Harel, Maoz

11.30 – 12.00

A Scenario Based Notation for Specifying Temporal Properties, Marco, Inverardi, Pelliccione

12.00 – 12.30

Inferring Operational requirements from Scenarios and Goal Models Using Inductive Learning, Alrajeh, Russo, Uchitel

Lunch

Session 3: 14.00-15.30

Aspects, Implied Scenarios

14.00 – 14.30

A Collaboration-based Approach to Service Specification and Detection of Implied Scenarios, Castejon, Bræk

14.30 – 15.00

Aspect-Oriented Software Design with a Variant of UML/STD, Nakajima, Tamai

15.00 – 15.30

Automating Software Architecture Exploration with M2Aspects, Krueger, Lee, Meisinger

Coffee

Session 4: 16.00-18.00

Solutions and Tools

16.00 – 16.30

A Schema Language for Coordinating Construction and Composition of Partial Behavior Descriptions, Grieskamp, Kicillof

16.30 – 17.00   

Nobody’s perfect: Interactive Synthesis from Parameterized RealTime Scenarios, Giese, Henkler, Hirsch, Klein

17.00 – 18.00

Tool demo session: an informal session of tools by tool paper authors