Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

Front Cover
Stefan Leue, Tarja J. Systš
Springer Science & Business Media, Jun 16, 2005 - Computers - 279 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Why Timed Sequence Diagrams Require ThreeEvent Semantics
1
Some Methodological Observations Resulting from Experience Using LSCs and the PlayInPlayOut Approach
26
Deciding Properties of Message Sequence Charts
43
Operational Semantics of Security Protocols
66
Autonomous Shuttle System Case Study
90
Amplifying Our Ability to Deal With Requirements Complexity
95
Applying Story Driven Modeling to the Paderborn Shuttle System Case Study
109
Traceability and Evaluation in Scenario Analysis by Use Case Maps
134
ScenarioBased Statistical Testing of Quality of Service Requirements
152
Lightweight Formal Methods for ScenarioBased Software Engineering
174
Pattern Synthesis from Multiple Scenarios for Parameterized RealTime UML Models
193
Partial Order Semantics of Sequence Diagrams for Mobility
212
Overview and an Application to the Autonomous Shuttle Transport System
228
Component Synthesis from Service Specifications
255
Author Index
278
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information