Ebook: Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
- Tags: Logics and Meanings of Programs, Computer Communication Networks, Software Engineering, Management of Computing and Information Systems
- Series: Lecture Notes in Computer Science 3466
- Year: 2005
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
Visual notations and languages continue to play a pivotal role ˆ in the design of complex software systems. In many cases visual notations are used to - scribe usage or interaction scenarios of software systems or their components. While representing scenarios using a visual notation is not the only possibility, a vast majority of scenario description languages is visual. Scenarios are used in telecommunications as Message Sequence Charts, in object-oriented system design as Sequence Diagrams, in reverse engineering as execution traces, and in requirements engineering as, for example, Use Case Maps or Life Sequence Charts. These techniques are used to capture requirements, to capture use cases in system documentation, to specify test cases, or to visualize runs of existing systems. They are often employed to represent concurrent systems that int- act via message passing or method invocation. In telecommunications, for more than 15 years the International Telecommunication Union has standardized the Message Sequence Charts (MSCs) notation in its recommendation Z. 120. More recently, with the emergence of UML as a predominant software design meth- ology, there has been special interest in the development of the sequence d- gram notation. As a result, the most recent version, 2. 0, of UML encompasses the Message Sequence Chart notation, including its hierarchical modeling f- tures. Other scenario-?avored diagrams in UML 2. 0 include activity diagrams and timing diagrams.
This volume is a post-event proceedings volume and contains selected papers based on presentations given during a seminar, held in Dagstuhl Castle, Germany in September 2003. It was organized as a continuation of a series of workshops that have been co-located with larger conferences such as the International Conference on Software Engineering (ICSE) and the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) since 2000.
The 14 included papers were thoroughly peer-reviewed in two rounds of reviewing and are organized in topical sections on semantics for scenario-based notations, scenario-based notations in software validation and verification, analysis of scenario-based specifications, abstraction, refinement, and synthesis for scenario-based notations, non-functional properties and data in scenario notations, synthesis of executable models from scenario descriptions, tool support for scenario-based notations, domain and application specific dialects of scenario notations, scenario-based modelling patterns, integration of scenarios and implied behaviour.
This volume is a post-event proceedings volume and contains selected papers based on presentations given during a seminar, held in Dagstuhl Castle, Germany in September 2003. It was organized as a continuation of a series of workshops that have been co-located with larger conferences such as the International Conference on Software Engineering (ICSE) and the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) since 2000.
The 14 included papers were thoroughly peer-reviewed in two rounds of reviewing and are organized in topical sections on semantics for scenario-based notations, scenario-based notations in software validation and verification, analysis of scenario-based specifications, abstraction, refinement, and synthesis for scenario-based notations, non-functional properties and data in scenario notations, synthesis of executable models from scenario descriptions, tool support for scenario-based notations, domain and application specific dialects of scenario notations, scenario-based modelling patterns, integration of scenarios and implied behaviour.
Content:
Front Matter....Pages -
Why Timed Sequence Diagrams Require Three-Event Semantics....Pages 1-25
Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach....Pages 26-42
Deciding Properties of Message Sequence Charts....Pages 43-65
Operational Semantics of Security Protocols....Pages 66-89
Autonomous Shuttle System Case Study....Pages 90-94
Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity....Pages 95-108
Applying Story Driven Modeling to the Paderborn Shuttle System Case Study....Pages 109-133
Traceability and Evaluation in Scenario Analysis by Use Case Maps....Pages 134-151
Scenario-Based Statistical Testing of Quality of Service Requirements....Pages 152-173
Lightweight Formal Methods for Scenario-Based Software Engineering....Pages 174-192
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models ....Pages 193-211
Partial Order Semantics of Sequence Diagrams for Mobility....Pages 212-227
From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System....Pages 228-254
Component Synthesis from Service Specifications....Pages 255-277
Back Matter....Pages -
This volume is a post-event proceedings volume and contains selected papers based on presentations given during a seminar, held in Dagstuhl Castle, Germany in September 2003. It was organized as a continuation of a series of workshops that have been co-located with larger conferences such as the International Conference on Software Engineering (ICSE) and the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) since 2000.
The 14 included papers were thoroughly peer-reviewed in two rounds of reviewing and are organized in topical sections on semantics for scenario-based notations, scenario-based notations in software validation and verification, analysis of scenario-based specifications, abstraction, refinement, and synthesis for scenario-based notations, non-functional properties and data in scenario notations, synthesis of executable models from scenario descriptions, tool support for scenario-based notations, domain and application specific dialects of scenario notations, scenario-based modelling patterns, integration of scenarios and implied behaviour.
Content:
Front Matter....Pages -
Why Timed Sequence Diagrams Require Three-Event Semantics....Pages 1-25
Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach....Pages 26-42
Deciding Properties of Message Sequence Charts....Pages 43-65
Operational Semantics of Security Protocols....Pages 66-89
Autonomous Shuttle System Case Study....Pages 90-94
Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity....Pages 95-108
Applying Story Driven Modeling to the Paderborn Shuttle System Case Study....Pages 109-133
Traceability and Evaluation in Scenario Analysis by Use Case Maps....Pages 134-151
Scenario-Based Statistical Testing of Quality of Service Requirements....Pages 152-173
Lightweight Formal Methods for Scenario-Based Software Engineering....Pages 174-192
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models ....Pages 193-211
Partial Order Semantics of Sequence Diagrams for Mobility....Pages 212-227
From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System....Pages 228-254
Component Synthesis from Service Specifications....Pages 255-277
Back Matter....Pages -
....