This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ?rst standardized by the world telecommunications body, the International Telecommunications Union (ITU), more than 20 years ago in 1976. While the original language and domain of application has evolved signi?cantly, the foundations of SDL as a graphical, state-transition and process-communication language for real-time systems have remained. Today SDL has also grown to be one notation in the set of uni?ed modelling languages recommended by the ITU (ASN.1, MSC, SDL, ODL, and TTCN) that can be used in methodology taking engineering of systems from requirements capture through to testing and operation. The SDL Forum is held every two years and has become the most imp- tant event in the calendar for anyone involved in SDL and related languages and technology. The SDL Forum Society that runs the Forum is a non-pro?t organization whose aim it is to promote and develop these languages.
Author(s): Jean-Louis Camus, Thierry Le Sergent (auth.), Rick Reed, Jeanne Reed (eds.)
Series: Lecture Notes in Computer Science 2078
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2001
Language: English
Pages: 439
Tags: Computer Communication Networks; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Special Purpose and Application-Based Systems; Communications Engineering, Networks
Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems....Pages 1-18
Using Message Sequence Charts to Accelerate Maintenance of Existing Systems....Pages 19-37
From MSC-2000 to UML 2.0 – The Future of Sequence Diagrams....Pages 38-51
SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems....Pages 52-71
Collaboration-Based Design of SDL Systems....Pages 72-89
Using UML for Implementation Design of SDL Systems....Pages 90-106
Deployment of SDL Systems Using UML....Pages 107-122
ETSI Testing Activities and the Use of TTCN-3....Pages 123-128
HyperMSCs with Connectors for Advanced Visual System Modelling and Testing....Pages 129-147
Graphical Test Specification — The Graphical Format of TTCN-3....Pages 148-167
Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation....Pages 168-181
Verification of Quantitative Temporal Properties of SDL Specifications....Pages 182-202
A General Approach for the Specification of Real-Time Systems with SDL....Pages 203-222
Timed Extensions for SDL....Pages 223-240
ASN.1 is Reaching Out!....Pages 241-249
Distributed Systems: From Models to Components....Pages 250-267
Deriving Message Sequence Charts from Use Case Maps Scenario Specifications....Pages 268-287
An SDL Implementation Framework for Third Generation Mobile Communications System....Pages 288-299
OSPF Efficient LSA Refreshment Function in SDL....Pages 300-315
Using SDL in a Stateless Environment....Pages 316-327
An MSC Based Representation of DiCons ....Pages 328-347
Some Pathological Message Sequence Charts, and How to Detect Them....Pages 348-364
An Execution Semantics for MSC-2000....Pages 365-378
Comparing TorX, Autolink, TGV and UIO Test Algorithms....Pages 379-402
Verifying Large SDL-Specifications Using Model Checking....Pages 403-420
Applying SDL Specifications and Tools to the Verification of Procedures....Pages 421-437
