Sdl 2001: Meeting Uml, 10th International Sdl Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings

by Sdl Forum 2001 (Copenhagen, Denmark); Reed, Jeanne; Reed, Rick; Reed, Rick; Reed, Jeanne

• ISBN13: 9783540422815
• ISBN10: 3540422811
• Format: Paperback
• Copyright: 2001-08-01
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 10th International SDL Forum, SDL 2001, held in Copenhagen, Denmark in June 2001.The 26 revised full papers presented were carefully reviewed and selected for presentation. The book offers topical sections on tools, language evolution, combined SDL and UML, unified testing, timing, unified ITU-T languages, SDL applications, MSC, and test and verification.

Table of Contents

Tools
Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems	1	(18)
J.-L. Camus
T. Le Sergent
Using Message Sequence Charts to Accelerate Maintenance of Existing Systems	19	(19)
N. Mansurov
D. Campara
2001 and Beyond: Language Evolution
From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams	38	(14)
O. Haugen
SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems	52	(20)
R. Arthaud
Combined SDL and UML
Collaboration-Based Design of SDL Systems	72	(18)
F. Roessler
B. Geppert
R. Gotzhein
Using UML for Implementation Design of SDL Systems	90	(17)
J. Floch
R. Sanders
U. Johansen
R. Brek
Deployment of SDL Systems Using UML	107	(16)
N. Bauer
Unified Testing
Invited Presentation: ETSI Testing Activities and the Use of TTCN-3	123	(6)
A. Wiles
HyperMSCs with Connectors for Advanced Visual System Modelling and Testing	129	(19)
J. Grabowski
P. Graubmann
E. Rudolph
Graphical Test Specification - The Graphical Format of TTCN-3	148	(20)
P. Baker
E. Rudolph
I. Schieferdecker
Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation	168	(14)
D. Hogrefe
B. Koch
H. Neukirchen
Timing
Verification of Quantitative Temporal Properties of SDL Specifications	182	(21)
I. Ober
A. Kerbrat
A General Approach for the Specification of Real-Time Systems with SDL	203	(20)
R. Munzenberger
F. Slomka
M. Dorfel
R. Hofmann
Timed Extensions for SDL	223	(18)
M. Bozga
S. Graf
L. Mounier
I. Ober
J.-L. Roux
D. Vincent
Unified ITU-T Languages
ASN.1 Is Reaching Out!	241	(9)
J. Larmouth
Distributed Systems: From Models to Components	250	(18)
F. Dubois
M. Born
H. Bohme
J. Fischer
E. Holz
O. Kath
B. Neubauer
F. Stoinski
Deriving Message Sequence Charts from Use Case Maps Scenario Specifications	268	(20)
A. Miga
F. Bordeleau
M. Woodside
D. Amyot
D. Cameron
SDL Application
An SDL Implementation Framework for Third Generation Mobile Communications System	288	(12)
J. Sipila
V. Luukkala
OSPF Efficient LSA Refreshment Function in SDL	300	(16)
O. Monkewich
I. Sales
R. Probert
Using SDL in a Stateless Environment	316	(12)
V. Courzakis
M. von Lowis
R. Schroder
MSC
An MSC Based Representation of DiCons	328	(20)
J.C.M. Baeten
H.M.A. van Beek
S. Mauw
Some Pathological Message Sequence Charts, and How to Detect Them	348	(17)
L. Helouet
An Execution Semantics for MSC-2000	365	(14)
B. Jonsson
G. Padilla
Test and Verification
Comparing TorX, Autolink, TGV and UIO Test Algorithms	379	(24)
N. Goga
Verifying Large SDL-Specifications Using Model Checking	403	(18)
N. Sidorova
M. Steffen
Applying SDL Specifications and Tools to the Verification of Procedures	421	(18)
W. Zhang
Author Index	439