SDL '97: Time for Testing

by Cavalli; Sarma

• ISBN13: 9780444828163
• ISBN10: 0444828168
• Format: Hardcover
• Copyright: 1997-08-18
• Publisher: Elsevier Science

Summary

As Cavalli and Sarma astutely remarked in the introduction to this volume, it is quite remarkable that SDL '97 may have the first participant younger than SDL itself. SDL '97 provides the opportunity to reflect the course SDL has taken and why it has been successful over two decades where other languages addressing the same market have failed.SDL now also has a permanent companion in MSC (Message Sequence Charts). MSC today is a language in its own right and has its areas of application both in conjunction with SDL and independently or in combination with other techniques. MSC has strong structuring concepts to specify message sequences for large systems and can be used to develop scenarios, which is extremely useful for test and design environments. The SDL Forum today really is the SDL and MSC Forum.

Table of Contents

Introduction
1 Applications	3	(50)
Designing a Multi-User Software Environment for Development and Analysis using a combination of OMT and SDL92	3	(16)
Carla G N. Macario
Moacir Pedroso Jr.
Walter C. Borelli
SDL-based Modelling and Design of IN/UMTS Handover Functionality	19	(16)
A. Alonistioti
G. Nikolaidis
I. Modeas
An SDL-based platform for the simulation of communication networks using dynamic block instantiations	35	(18)
Andreas Iselt
Achim Autenrieth
II Performance Analysis	53	(50)
SPEET SDL performance evaluation tool	53	(16)
Martin Steppler
Matthlas Lott
Performance Analysis of TCP's Flow Control Mechanisms using Queueing SDL	69	(16)
Jorg Hintelmann
Reinhard Westerfeld
Tuning Development of Distributed Real-time Systems with SDL and MSC: Current Experience And Future Issues	85	(18)
Rainer Gerlich
III Verification and Validation I	103	(64)
Telephone Feature Verification: Translating SDL to TLA+	103	(16)
Paul Gibson
Dominique Mery
Simulation of IP Mobility Support: An Experiment in Mobile protocol specification with SDL	119	(16)
Maria Toro
Experiences with ISDN Validation Models in SDL and Proposal for new SDL features	135	(16)
Nils Fischbeck
Design for testability of communication protocols based on SDL language	151	(16)
K. Karoui
R. Dssouli
N. Yevtushenko
IV MSCI	167	(64)
The MSC-96 Distillery	167	(16)
Oystein Haugen
Switching Software Test Environment Using MSC	183	(14)
Shugo Shiba
Yoshiaki Shigeta
Wataru Tanaka
Deriving an SDL Specification with a Given Architecture from a Set of MSCs	197	(16)
Gabriel Robert
Ferhat Khendek
Peter Grogono
MSC'96 and Beyond - a Critical look	213	(18)
Stefan Loidl
Ekkart Rudolph
Ursula Hinkel
V SDL and MSC in International Oganizations	231	(14)
SDL and MSC in International Oganizations: ITU-T	231	(14)
Rick Reed
VI Testing	245	(46)
Towards the Industrial Use of Validation Techniques and Automatic Test Generation Methods for SDL Specifications	245	(16)
Anders Ek
Jens Grabowski
Dieter Hogrefe
Richard Jerome
Beat Koch
Michael Schmitt
Automating the Process of Test Derivation from SDL Specifications	261	(16)
G. V. Bochmann
A. Petrenko
O. Bellal
S. Maguiraga
Test generation for the SSCOP-ATM networks protocol	277	(14)
Ana Cavalli
Boo-Ho Lee
Toma Macavei
VII MSC II	291	(44)
High-level Message Sequence Charts	291	(16)
S. Mauw
Michel Reniers
An Annotational Extension of Message Sequence Charts to Support Performance Engineering	307	(16)
N. Faltin
L. Lambert
A. Mitschele-Thiel
F. Slomka
MSCs at Siemens A S - towards the usage of MSC-96	323	(12)
Astrid Nyeng
Svanhild Gundersen
VIII SDL and other languages I	335	(48)
Automated Iteration between OMT(*) and SDL	335	(16)
Kurt Verschaeve
Introducing SDL in the development of CORBA-compliant applications	351	(16)
Justo Carracedo
Carlos Ramos
Ruben de Diego
Carlos Gonzalez
Juan Jose Gil
Emilio Rodriguez
Morgan Bjorkander
A practical experience on validating GDMO-based Information Models with SDL'88 and SDL'92	367	(16)
Samir Tata
Laurent Andrey
Olivier Festor
IX Code generation	383	(50)
Combining SDL and C	383	(14)
Paer-Olof Haokansson
Jan Karlsson
Louis Verhaard
Derivation of efficient implementations from SDL Specifications Employing Data Referencing, Integrated Packet Framing and Activity Threads	397	(18)
R. Henkel
H. Konig
A. Mitschele-Thiel
Industrial strength code generation from SDL	415	(18)
N. Mansurov
A. Chernov
A. Ragozin
X SDL and other languages II	433	(42)
Is Open-EDI a potential area for use of SDL?	433	(10)
Odile Troulet-Lambert
The Unification of OMT, SDL and IDL for Service Creation	443	(16)
Chris Loftus
Edel Sherratt
Euricio Inocencio
Paula Viana
Combining Object-Oriented and Real-Time Programming From an OMT and SDL Design	459	(16)
Vincent Perrier
Nicolas Dervaux
XI Verification and Validation II	475	(48)
Interconnecting the ObjectGeode and Caesar-Aldebaran toolsets	475	(16)
Alain Kerbrat
Carlos Rodriguez-Salazar
Yves Leieune
Specifying the Steam-Boiler Case Study with SDL	491	(16)
F. A. Boudjelal
J. Y. Lafaye
G. Louis
The SDL specification of the Sliding Window Protocol revisited	507	(16)
Christian Facchi
Markus Haubner
Ursula Hinkel
XII Applications II	523	(28)
Configuring Communication Protocols Using SDL Patterns	523	(16)
Birgit Geppert
Reinhard Gotzhein
Frank Rossler
Code Generation Using GEODE: A CASE Study	539	(12)
Ranjit "Raj" Singh
Jerry Serviss
Author Index	551