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.
Author(s): Joachim Fischer, Andreas Kunert, Michael Piefel, Markus Scheidgen (auth.), Andreas Prinz, Rick Reed, Jeanne Reed (eds.)
Series: Lecture Notes in Computer Science 3530 : Computer Communication Networks and Telecommunications
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 364
Tags: Computer Systems Organization and Communication Networks; Software Engineering; Logics and Meanings of Programs; Management of Computing and Information Systems
Front Matter....Pages -
ULF-Ware – An Open Framework for Integrated Tools for ITU-T Languages....Pages 1-15
An Access Control Language for Dynamic Systems – Model-Driven Development and Verification....Pages 16-31
Non-deterministic Constructs in OCL – What Does any() Mean....Pages 32-46
Integrating RT-CORBA in SDL....Pages 47-67
Component Development: MDA Based Transformation from eODL to CIDL....Pages 68-84
Service Discovery and Component Reuse with Semantic Interfaces....Pages 85-102
ns +SDL – The Network Simulator for SDL Systems....Pages 103-116
Semantics of Message Sequence Charts....Pages 117-132
Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets....Pages 133-148
SDL Design of OSPF Protocol for the Wireless Private Network....Pages 149-161
ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks....Pages 162-173
Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP....Pages 174-186
Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol....Pages 187-197
Modeling, Verifying and Testing Mobility Protocol from SDL Language....Pages 198-209
Cinderella SLIPPER: An SDL to C-Code Generator....Pages 210-223
Model-Driven Development of Reactive Systems with SDL....Pages 224-233
A UML-Compatible Formal Language for System Architecture Description....Pages 234-246
UCM-Driven Testing of Web Applications....Pages 247-264
Network Element Testing Using TTCN-3: Benefits and Comparison....Pages 265-280
A Compositional Approach to Service Validation....Pages 281-297
Consistency Checking of Concurrent Models for Scenario-Based Specifications....Pages 298-312
SDL Code Generation for Open Systems....Pages 313-322
SDL Versus C Equivalence Checking....Pages 323-338
Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps....Pages 339-359
Back Matter....Pages -
