[go: up one dir, main page]
Skip to main content
Springer Nature Link
Account

SDL 2011: Integrating System and Software Modeling

15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Iulian Ober

    1. Université de Toulouse, IRIT, Toulouse, France

  2. Ileana Ober

    1. IRIT - Université de Toulouse, Toulouse, France

  • Up to date results
  • Fast track conference proceedings
  • State of the art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7083)

Part of the book sub series: Computer Communication Networks and Telecommunications (LNCCN)

Included in the following conference series:

Conference proceedings info: SDL 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook EUR 42.79
Price includes VAT (France)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book EUR 52.74
Price includes VAT (France)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (20 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. SDL 2011: Integrating System and Software Modeling

Editors and Affiliations

  • Université de Toulouse, IRIT, Toulouse, France

    Iulian Ober

  • IRIT - Université de Toulouse, Toulouse, France

    Ileana Ober

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

Keywords

Publish with us

Policies and ethics

Back to top