SDL 2011: Integrating System and Software Modeling

1. Front Matter

   PDF

2. Invited Contributions and Tutorials

   1. Model-Based Performance Analysis of Service-Oriented Systems

      • Dorina C. Petriu

      Pages 1-1

   2. SCADE: A Comprehensive Framework for Critical System and Software Engineering

      • Thierry Le Sergent

      Pages 2-3

   3. SDL-2010: Background, Rationale, and Survey

      • Rick Reed

      Pages 4-25

   4. TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future

      • Maxime Perrotin, Eric Conquet, Julien Delange, André Schiele, Thanassis Tsiodras

      Pages 26-37

3. Domain Specific Languages (Part 1)

   1. Synthesizing Software Models: Generating Train Station Models Automatically

      • Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen

      Pages 38-53

   2. Exploring Early Availability Requirements Using Use Case Maps

      • Jameleddine Hassine, Abdelouahed Gherbi

      Pages 54-68

   3. Paprika: Rapid UI Development of Scientific Dataset Editors for High Performance Computing

      • Didier Nassiet, Yohan Livet, Marc Palyart, David Lugato

      Pages 69-78

4. Test

   1. Verifiable Coverage Criteria for Automated Testing

      • Sergey Baranov, Vsevolod Kotlyarov, Thomas Weigert

      Pages 79-89

   2. A New Approach in Model-Based Testing: Designing Test Models in TTCN-3

      • Antal Wu-Hen-Chang, Gusztáv Adamis, Levente Erős, Gábor Kovács, Tibor Csöndes

      Pages 90-105

   3. Towards a Model Based Approach for Integration Testing

      • Mohamed Mussa, Ferhat Khendek

      Pages 106-121

5. Components and Services

   1. Session Initiation as a Service

      • Urooj Fatima, Rolv Bræk, Humberto Nicolás Castejón

      Pages 122-137

   2. PMG-Pro: A Model-Driven Development Method of Service-Based Applications

      • Selo Sulistyo, Andreas Prinz

      Pages 138-153

   3. A Model-Driven Framework for Component-Based Development

      • Surya Bahadur Kathayat, Hien Nam Le, Rolv Bræk

      Pages 154-167

   4. Separation of Concerns with Transactional Regions

      • Thomas Cottenier, Aswin van den Berg, Thomas Weigert

      Pages 168-185

6. Specification and Description Language (SDL)

   1. Real-Time Signaling in SDL

      • Marc Krämer, Tobias Braun, Dennis Christmann, Reinhard Gotzhein

      Pages 186-201

   2. Priority Scheduling in SDL

      • Dennis Christmann, Philipp Becker, Reinhard Gotzhein

      Pages 202-217

   3. A Model-Based Formalization of the Textual Notation for SDL-UML

      • Alexander Kraas

      Pages 218-232

7. Domain Specific Languages (Part 2)

   1. Standardizing Variability – Challenges and Solutions

      • Franck Fleurey, Øystein Haugen, Birger Møller-Pedersen, Andreas Svendsen, Xiaorui Zhang

      Pages 233-246

   2. MDE4HPC: An Approach for Using Model-Driven Engineering in High-Performance Computing

      • Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel

      Pages 247-261

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International SDL Forum, SDL 2011, held in Toulouse, France, in July 2011. The 16 revised full papers presented together were carefully reviewed and selected for inclusion in the book. The papers cover a wide range of topics such as SDL and related languages; testing; and services and components to a wide range presentations of domain specific languages and applications, going from use maps to train station models or user interfaces for scientific dataset editors for high performance computing.

• domain-specific language
• integration testing and verification
• model checking
• modeling languages
• test cases generation

• Université de Toulouse, IRIT, Toulouse, France

  Iulian Ober

• IRIT - Université de Toulouse, Toulouse, France

  Ileana Ober

Policies and ethics