Table Of ContentSDL '97
TIME FOR TESTING
SDL. MSC and Trends
This Page Intentionally Left Blank
SDL '97
TIME FOR TESTING
SDL, MSC and Trends
Proceedings of the Eighth SDL Forum
Evl3 , France, 23-26 Septembel; 1997
edited b~'
Ana CAVALLI
INSTITUT NATIONAL DES TELECOMMUNICATIONS
Evry, France
Amardeo SARMA
EURESCOM
Heidelberg, Germany
. ~ - ,
1997
ELSEVIER
A m s t e r d a m • L a u s a n n e ° N e w Y o r k ° O x f o r d ° S h a n n o n • S i n g a p o r e ° T o k y o
ELSEVIER SCIENCE PUBLISHERS B.V.
Sara Burgerhartstraat 25
P.O. Box 211, 1000 AE Amsterdam. The Netherlands
ISBN: 0 444 82816 8
© 1997 Elsevier Science Publishers B.V. All rights reserved.
No part of this publication may be reproduced, stored in a retrieval system or transmitted in any form or by
any means, electronic, mechanical, photocopying, recording or otherwise, without the prior written permission
of the publisher. Elsevier Science Publishers B.V., Copyright & Permissions Department. P.O. Box 521, 1000
AM Amsterdam. The Netherlands.
Special regulations for readers in the U.S.A. - This publication has been registered with the Copyright
Clearance Center Inc. (CCC). 222 Rosewood Drive. Danvers, MA 01923. Information can be obtained from
the CCC about conditions under which photocopies of parts of this publication may be made in the U.S.A. All
other copyright questions, including photocopying outside of the U.S.A., should be referred to the copyright
owner, Elsevier Science Publishers B.V.. unless otherwise specified.
No responsibility is assumed by the publisher for any injury and/or damage to persons or property as a matter
of products liability, negligence or otherwise, or from any use or operation of any methods, products,
instructions or ideas contained in the material herein.
This book is printed on acid-free paper.
Transferred to digital printing 2006
Printed and bound by CPI Antony Rowe, Eastbourne
I N T R O D U C T I O N
It seems quite incredible to be looking back 16 years to the First SDL Forum in 1981.
Considering that SDL existed for some years before that, the coming Eighth SDL Forum may
have the first participant younger than the language itself. This is quite remarkable, given that
the computing environment of today is totally different from the one 16 or 20 years ago. It
gives us an opportunity to reflect on the path SDL has taken and on why SDL has been
successful over two decades where other languages addressing the same market have failed.
The use of a graphical syntax for SDL may have seemed strange for many in the 70s or early
80s. No one had a computer with graphical facilities. Some engineers used templates to draw
diagrams until late in the 80s. It almost seems as if SDL had been conceived of in the 70s for
the 90s. But it is not only the graphical syntax that has been a strength of SDL. Developers of
SDL have remained in close contact with the users, both within ITU and outside to make sure
that it meets the needs of the customers. This goes to the credit ofall those working with SDL
at CCITT, now ITU, since the Question on SDL was established. It was more important to see
SDL applied in reports at conferences than to hear of yet another proof of some theoretical
interest. This close link to customers of SDL and to vendors developing SDL tools is one of the
reasons for success that must be maintained.
Another event since the last SDL Forum is important enough to be mentioned specifically. A
Common Interchange Format or "CIF" has finally been established, giving users the possibility
to interchange SDL specifications without losing graphical information. This can be especially
useful for people working across companies and departments using different tools, for example
in projects. It is also reassuring to see that ETSI and ITU are finally making full use of the
potential of SDL by using tools and checking specifications for errors. This quality aspect has
long been advocated by ITU-T Study Group 10 and it is good to see that ETSI and ITU are
beginning to see the benefits that a formal language can offer.
SDL now also has a permanent companion in MSC, Message Sequence Charts. Ekkart
Rudolph and Jens Grabowski could hardly have known that their paper in 1989, incidentally
the first paper in the Proceedings, would end up as a standard language. 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. This is
extremely helpful for test and design environments. The SDL Forum today really is the SDL
and MSC Forum. This also applies to the new organisation, the SDL Forum Society
(http://www.sdl-forum.org), which is responsible for disseminating information on SDL and
MSC and promotes these languages. The intention of this organisation is not to take over the
work done so far in ITU, but rather to use the flexibility of a small organisation to deal with
promotion work and to keep in touch with users all over the world. The SDL Forum Society,
led by Yair Lahav, now owns the SDL Forum Conference Series.
We hope this SDL Forum will be useful to all those attending and that they will exchange ideas
and take back impulses to their home company. In these days of competition, we can hardly
expect many enthusiasts to be primarily interested in promoting SDL or MSC. But if they find
means to use SDL and MSC to the benefit of their company, this is all we can hope for. It is
only their success with SDL and MSC that will end up being a success for SDL and MSC. And
if the Forum also provides some ideas for research at universities or elsewhere, so much the
better. The Eighth SDL Forum would have served its purpose.
vi
The Eighth SDL Forum will be held in Evry, France, at the INT (Institut National des
T616communications). It is organized by the INT with the collaboration of the CNET (Centre
National d'Etudes des Telecommunications). INT is an engineering telecommunication school
and one of the first involved in teaching the SDL language and in the research on test generation
methods from SDL specifications. CNET is the research center of France Telecom and one the
most important in Europe. SDL is largely used by their engineers in different domains such as
protocol engineering and test generation methods from SDL specifications, especially in the
area of ISDN systems, ATM networks, Intelligent networks and mobile communication. These
contributions have helped the introduction and use of SDL technology in French industry.
Our thanks go to the authors, who produced the papers, and to the colleagues of the program
committee that carefully reviewed the manuscripts and helped set up the programme. The
responsible for tutorials, Daniel Vincent, and the local organising committee, Toma Macavei,
Luiz Paula Lima and Marine Tabourier, our conference secretaries, Mafia Guilbert and Jocelyne
Vallet, have been indispensable in putting this conference together. Finally, we mention the
generous sponsorship of France Telecom, Telelogic, Verilog and INT.
Ana Cavalli and Amardeo Sarma editors
vii
T A B L E OF CONTENTS
Introduction
Applications I
Designing a Multi-User Software Environment for Development and Analysis using a
combination of OMT and SDL92 3
Carla G. N. Mac~do, Moacir Pedroso Jr., Walter C. Borelli
SDL-based Modelling and Design of IN/UMTS Handover Functionality 19
A. Alonistioti, G. Nikolaidis, I. Modeas
An SDL-based platform for the simulation of communication networks using dynamic
block instantiations 35
Andreas Iselt, Achim Autenrieth
Performance Analysis
SPEET SDL performance evaluation tool 53
Martin Steppler, Matthias Lott
Performance Analysis of TCP's Flow Control Mechanisms using Queueing SDL 69
JOrg Hintelmann, Reinhard Westerfeid
Tuning Development of Distributed Real-time Systems with SDL and MSC: Current
Experience And Future Issues 85
Rainer Gerlich
Verification and Validation I
Telephone Feature Verification : Translating SDL to TLA+ 103
Paul Gibson, Dominique M~ry
Simulation of IP Mobility Support: An Experiment in mobile protocol specification with
SDL 119
Maria T(Jr5
Experiences with ISDN Validation Models in SDL and Proposal for new SDL features 135
Nils Fischbeck
Design for testability of communication protocols based on SDL language 151
K. Karoui, R. Dssouli, N. Yevtushenko
MSCI
The MSC-96 Distillery 167
Oystein Haugen
Switching Software Test Environment Using MSC 183
Shugo Shiba, Yoshiaki Shigeta, Wataru Tanaka
Deriving an SDL Specification with a Given Architecture from a Set of MSCs 197
Gabriel Robert, Ferhat Khendek, Peter Grogono
MSC'96 and Beyond - a Critical look 213
Stefan Loidl, Ekkart Rudolph, Ursula Hinkel
viii
SDL and MSC in International Oganizations
SDL and MSC in International Oganizations: ITU-T
231
Rick Reed
VI Testing
Towards the Industrial Use of Validation Techniques and Automatic Test Generation
Methods for SDL Specifications 245
Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael
Schmitt
Automating the Process of Test Derivation from SDL Specifications 261
G. v. Bochmann, A. Petrenko, O. Belial, S. Maguiraga
Test generation for the SSCOP-ATM networks protocol 277
Ana Cavalli, Boo-Ho Lee, Toma Macavei
VII MSC II
High-level Message Sequence Charts 291
S. Mauw and Michel Reniers
An Annotational Extension of Message Sequence Charts to Support Performance
Engineering 307
N. Faltin, L. Lambert, A. Mitschele-Thiel, F. Slomka
MSCs at Siemens NS - towards the usage of MSC-96 323
Astrid Nyeng, Svanhild Gundersen
VIII SDL and other languages I
Automated Iteration between OMT* and SDL 335
Kurt Verschaeve
Introducing SDL in the development of CORBA-compliant applications 351
Justo Carracedo, Carlos Ramos, Ruben de Diego, Carlos Gonz~lez, Juan Josd Gil,
Emilio Rodrfguez, Morgan Bjorkander
A practical experience on validating GDMO-based Information Models with SDL'88
and SDL'92 367
Samir Tata, Laurent Andrey, Olivier Festor
Code generation
Combining SDL and C 383
Paer-Olof Haokansson, Jan Karlsson, Louis Verhaard
Derivation of efficient implementations from SDL Specifications Employing Data
Referencing, Integrated Packet Framing and Activity Threads 397
R Henke, H K5nig, A Mitschele-Thiel
Industrial strength code generation from SDL 415
N. Mansurov, A. Chemov, A. Ragozin
SDL and other languages II
Is Open-EDI a potential area for use of SDL ? 433
Odile Troulet-Lambert
The Unification of OMT, SDL and IDL for Service Creation 443
Chris Loftus, Edel Sherratt, Euricio Inocencio, Paula Viana
Combining Object-Oriented and Real-Time Programming From an OMT and SDL
Design 459
Vincent Perrier, Nicolas Dervaux
Verification and Validation II
Interconnecting the ObjectGeode and Caesar-AId~baran toolsets 475
Alain Kerbrat, Carlos Rodriguez-Sa/azar, Yves Lejeune
Specifying the Steam-Boiler Case Study with SDL 491
F.A.Boudje/a/, J-Y.Lafaye, G.Louis
The SDL specification of the Sliding Window Protocol revisited 507
Christian Facchi, Markus Haubner, Ursula Hinke/
Xll Applications II
Configuring Communication Protocols Using SDL Patterns 523
Birgit Geppert, Reinhard Gotzhein, Frank R6ssler
Code Generation Using GEODE: A CASE Study 539
Ranjit "Raj"Singh, Jerry Serviss
Author Index 551
