Skip to main content
SpringerLink
Log in

SDL 2005: Model Driven

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

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Andreas Prinz

    1. Faculty of Engineering, Agder University College, Grimstad, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rick Reed

    1. Telecommunications Software Engineering Limited, The Laurels, Windermere, Cumbria, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jeanne Reed

    1. Telecommunications Software Engineering Limited, The Laurels, Windermere, Cumbria, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: SDL 2005.

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • 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

Table of contents (24 papers)

  1. Front Matter

    Download chapter PDF

  3. 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

  4. 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

  5. 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. Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol

      • Laila Daniel, Matti Luukkainen, Markku Kojo
      Pages 187-197

    5. Modeling, Verifying and Testing Mobility Protocol from SDL Language

      • Francine Ngani Noudem, César Viho
      Pages 198-209

    6. Cinderella SLIPPER: An SDL to C-Code Generator

      • Yosef Rauchwerger, Finn Kristoffersen, Yair Lahav
      Pages 210-223

  6. Model Driven Architecture (Short Papers)

    1. Model-Driven Development of Reactive Systems with SDL

      • Edel Sherratt
      Pages 224-233

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

      • Matteo Pradella, Matteo Rossi, Dino Mandrioli
      Pages 234-246

  7. 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
Back to top

Other volumes

  1. SDL 2005: Model Driven

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation