Skip to main content
  • Conference proceedings
  • © 2005

SDL 2005: Model Driven

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

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

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

Conference series link(s): SDL: International SDL Forum

Conference proceedings info: SDL 2005.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (24 papers)

  1. Front Matter

  2. Engineering Issues

    1. Integrating RT-CORBA in SDL

      • Manuel Díaz, Daniel Garrido, Luis Llopis, José M. Troya
      Pages 47-67
    2. Component Development: MDA Based Transformation from eODL to CIDL

      • Harald Böhme, Glenn Schütze, Konrad Voigt
      Pages 68-84
    3. Service Discovery and Component Reuse with Semantic Interfaces

      • Richard T. Sanders, Rolv Bræk, Gregor von Bochmann, Daniel Amyot
      Pages 85-102
    4. ns+SDL – The Network Simulator for SDL Systems

      • Thomas Kuhn, Alexander Geraldy, Reinhard Gotzhein, Florian Rothländer
      Pages 103-116
  3. Message Sequence Charts

    1. Semantics of Message Sequence Charts

      • A. A. Letichevsky, J. V. Kapitonova, V. P. Kotlyarov, V. A. Volkov, A. A. Letichevsky Jr., T. Weigert
      Pages 117-132
    2. Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets

      • Christoph Eichner, Hans Fleischhack, Roland Meyer, Ulrik Schrimpf, Christian Stehno
      Pages 133-148
  4. Applications and Tools (Short Papers)

    1. SDL Design of OSPF Protocol for the Wireless Private Network

      • Yang Yang, Yang Lu, Xiaokang Lin
      Pages 149-161
    2. ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks

      • Uwe Glässer, Andreas Prinz
      Pages 162-173
    3. Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP

      • Constantin Werner, Xiaoming Fu, Dieter Hogrefe
      Pages 174-186
    4. Modeling, Verifying and Testing Mobility Protocol from SDL Language

      • Francine Ngani Noudem, César Viho
      Pages 198-209
    5. Cinderella SLIPPER: An SDL to C-Code Generator

      • Yosef Rauchwerger, Finn Kristoffersen, Yair Lahav
      Pages 210-223
  5. Model Driven Architecture (Short Papers)

    1. A UML-Compatible Formal Language for System Architecture Description

      • Matteo Pradella, Matteo Rossi, Dino Mandrioli
      Pages 234-246
  6. Test and Validation

    1. UCM-Driven Testing of Web Applications

      • Daniel Amyot, Jean-François Roy, Michael Weiss
      Pages 247-264
    2. Network Element Testing Using TTCN-3: Benefits and Comparison

      • G. Bhaskar Rao, Keerthi Timmaraju, Thomas Weigert
      Pages 265-280

Other Volumes

  1. SDL 2005: Model Driven

About this book

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

  • 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

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions