This volume contains the papers presented at the 11th SDL Forum, Stuttgart. As well as the papers, the 11th SDL Forum also hosted a system design competition sponsored by Solinet with a cash prize for the “best” design. This follows a similar competition at the SAM 2002 workshop (papers published in LNCS 2599). The winning entry from SAM 2002 is described in the last paper in this volume. 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 Descr- tion Language ?rst standardized in the 1976 Orange Book of the International Telecommunication Union (ITU). From the start this graphical CEFSM (communicating extended ?nite state machines) notation was used both to describe the implementation of systems and to specify systems (especially protocol systems in standards). In the early days both types of description were quite informal, though speci?cations were certainly more formal than the main alternative: natural languagewith some ad hoc ?gures. Implementations were usually written in assembly language, which is at too low a level to reason well about the interaction between communic- ing agents within a system. In this case the notation provided an intermediate description that gave an overview of how the implementation worked, and often the actual logical development was done at the graphical level with hand coding of that description.
Author(s): Wei Monin, Fabrice Dubois, Daniel Vincent, Pierre Combes (auth.), Rick Reed, Jeanne Reed (eds.)
Series: Lecture Notes in Computer Science 2708
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Language: English
Pages: 412
Tags: Computer Communication Networks; Special Purpose and Application-Based Systems; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Communications Engineering, Networks
Looking for Better Integration of Design and Performance Engineering....Pages 1-17
Scenario-Based Performance Engineering with UCMN AV ....Pages 18-35
Using SDL for Modeling Behavior Composition....Pages 36-54
A Real-Time Profile for UML and How to Adapt It to SDL....Pages 55-76
MSC Connectors — The Chamber of Secrets....Pages 77-101
Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development — Experience and Quantitative Assessment —....Pages 102-117
Synthesizing SDL from Use Case Maps: An Experiment....Pages 117-136
Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems....Pages 137-149
Generating a Compiler for SDL from the Formal Language Definition....Pages 150-165
Modelling and Evaluation of a Network on Chip Architecture Using SDL....Pages 166-182
Formalizing Graphical Service Descriptions Using SDL....Pages 183-202
Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools....Pages 203-217
RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol....Pages 218-233
Refining Timed MSCs....Pages 234-250
Using Projections for the Detection of Anomalous Behaviors....Pages 251-268
Applying Mutation Analysis to SDL Specifications....Pages 269-284
Automatic Formal Model Generation and Analysis of SDL....Pages 285-299
Applying SDL to Formal Analysis of Security Systems....Pages 300-316
Development of Distributed Systems with SDL by Means of Formalized APIs....Pages 317-334
Validation of SIP/H.323 Interworking Using SDL/MSC....Pages 335-351
Modeling IETF Session Initiation Protocol and Its Services in SDL....Pages 352-373
Automated Generation of Marshaling Code from High-Level Specifications....Pages 374-386
The Winning Entry of the SAM 2002 Design Contest....Pages 387-403
