SDL 2005: Model Driven

12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings

  • Andreas Prinz
  • Rick Reed
  • Jeanne Reed
Conference proceedings SDL 2005

DOI: 10.1007/b137793

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

Table of contents

  1. Front Matter
  2. Language Issues

  3. Engineering Issues

    1. Manuel Díaz, Daniel Garrido, Luis Llopis, José M. Troya
      Pages 47-67
    2. Harald Böhme, Glenn Schütze, Konrad Voigt
      Pages 68-84
    3. Richard T. Sanders, Rolv Bræk, Gregor von Bochmann, Daniel Amyot
      Pages 85-102
    4. Thomas Kuhn, Alexander Geraldy, Reinhard Gotzhein, Florian Rothländer
      Pages 103-116
  4. Message Sequence Charts

    1. A. A. Letichevsky, J. V. Kapitonova, V. P. Kotlyarov, V. A. Volkov, A. A. Letichevsky Jr., T. Weigert
      Pages 117-132
    2. Christoph Eichner, Hans Fleischhack, Roland Meyer, Ulrik Schrimpf, Christian Stehno
      Pages 133-148
  5. Applications and Tools (Short Papers)

    1. Yang Yang, Yang Lu, Xiaokang Lin
      Pages 149-161
    2. Uwe Glässer, Andreas Prinz
      Pages 162-173
    3. Constantin Werner, Xiaoming Fu, Dieter Hogrefe
      Pages 174-186
    4. Francine Ngani Noudem, César Viho
      Pages 198-209
    5. Yosef Rauchwerger, Finn Kristoffersen, Yair Lahav
      Pages 210-223
  6. Model Driven Architecture (Short Papers)

    1. Matteo Pradella, Matteo Rossi, Dino Mandrioli
      Pages 234-246
  7. Test and Validation

    1. Daniel Amyot, Jean-François Roy, Michael Weiss
      Pages 247-264
    2. G. Bhaskar Rao, Keerthi Timmaraju, Thomas Weigert
      Pages 265-280

About these proceedings

Introduction

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.

Keywords

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

Editors and affiliations

  • Andreas Prinz
    • 1
  • Rick Reed
    • 2
  • Jeanne Reed
    • 3
  1. 1.Faculty of EngineeringAgder University CollegeGrimstadNorway
  2. 2.Telecommunications Software Engineering LimitedThe LaurelsWindermere, CumbriaUnited Kingdom
  3. 3.Telecommunications Software Engineering LimitedThe LaurelsWindermere, CumbriaUK

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-26612-9
  • Online ISBN 978-3-540-31539-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349