SDL 2005: Model Driven

1. Test and Validation

   1. A Compositional Approach to Service Validation

      • Jacqueline Floch, Rolv Bræk

      Pages 281-297

   2. Consistency Checking of Concurrent Models for Scenario-Based Specifications

      • Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng

      Pages 298-312

2. Code Generation

   1. SDL Code Generation for Open Systems

      • Joachim Fischer, Toby Neumann, Anders Olsen

      Pages 313-322

   2. SDL Versus C Equivalence Checking

      • Malek Haroud, Armin Biere

      Pages 323-338

   3. Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps

      • Humberto Nicolás Castejón Martínez

      Pages 339-359

3. Back Matter

   PDF

This volume contains the papers presented at the 12th SDL Forum, Grimstad, Norway. The SDL Forum was ?rst held in 1982, and then every two years from 1985. Initially the Forum was concerned only with the Speci?cation and Description Language that was ?rst standardized in the 1976 Orange Book of the Inter- tional Telecommunication Union (ITU). Since then, many developments took place and the language has undergone several changes. However, the main underlying paradigm has survived, and it is the reason for the success of the Speci?cation and Description Language in many projects. This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend to be described using smaller parts that communicate with each other; State: the systems are described on the basis of an explicit notion of state; State change: the behavior of the system is described in terms of (local) changes of the state. The original language is not the only representative for this kind of paradigm, so the scope of the SDL Forum was extended quite soon after the ?rst few events to also include other ITU standardized languages of the same family, such as MSC, ASN.1 and TTCN. This led to the current scope of System Design Languages coveringallstagesofthedevelopmentprocessincludinginparticularSDL,MSC, UML, ASN.1, eODL, TTCN, and URN. The focus is clearly on the advantages to users, and how to get from these languages the same advantage given by the ITU Speci?cation and Description Language: code generation from high-level speci?cations.

• CORBA
• MSC (message sequence charts)
• SDL (specification and description language)
• UML
• Unified Modeling Language (UML)
• architecture
• description languages
• formal language
• modeling
• petri net
• requirements engineering
• semantics and analysis of scenario notations
• software engineering
• software testing
• systems modeling

• Faculty of Engineering, Agder University College, Grimstad, Norway

  Andreas Prinz

• Telecommunications Software Engineering Limited, The Laurels, Windermere, Cumbria, United Kingdom

  Rick Reed

• Telecommunications Software Engineering Limited, The Laurels, Windermere, Cumbria, UK

  Jeanne Reed

Policies and ethics