COVID-19 Update: We are currently shipping orders daily. However, due to transit disruptions in some geographies, deliveries may be delayed. To provide all customers with timely access to content, we are offering 50% off Science and Technology Print & eBook bundle options. Terms & conditions.
SDL '97: Time for Testing - 1st Edition - ISBN: 9780444828163, 9780080541532

SDL '97: Time for Testing

1st Edition

SDL, MSC and Trends

Editors: A. Cavalli A. Sarma
eBook ISBN: 9780080541532
Hardcover ISBN: 9780444828163
Imprint: Elsevier Science
Published Date: 1st August 1997
Page Count: 551
Sales tax will be calculated at check-out Price includes VAT/GST
Price includes VAT/GST

Institutional Subscription

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.


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

I. Applications (I). Designing a multi-user software environment for development and analysis using a combination of OMT and SDL92 (C.G.N. Macario et al.). SDL-based modelling and design of IN/UMTS handover functionality (A. Alonistioti et al.). An SDL-based platform for the simulation of communication networks using dynamic block instantiations (A. Iselt, A. Autenrieth). II. Performance Analysis. SPEET SDL performance evaluation tool (M. Steppler, M. Lott). Performance analysis of TCP's flow control mechanisms using queueing SDL (J. Hintelmann, R. Westerfeld). Tuning development of distributed real-time systems with SDL: Current experience and future issues (R. Gerlich). III. Verification and Validation (I). Telephone feature verification: Translating SDL to TLA+ (D. Mery, P. Gibson). Simulation of IP mobility support: An experiment in mobile protocol specification with SDL (M. Toro). Experiences with ISDN validation models in SDL and proposal for new SDL features (N. Fischbeck). Design for testability of communication protocols based on SDL language (K. Karoui et al.). IV. MSC (I). The MSC-96 distillery (O. Haugen). Switching software test environment using MSC (S. Shiba et al.). Deriving an SDL specification with a given architecture from a set of MSCs (G. Robert et al.). MSC'96 and beyond - a critical look (S. Loidl et al.). V. SDL and MSC in International Organizations. SDL and MSC in international organizations: ITU-T (R. Reed). VI. Testing. Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications (A. Ek et al.). Automating the process of test derivation from SDL specifications (G. v. Bochmann et al.). Test generation for the SSCOP-ATM networks protocol (A. Cavalli et al.). VII. MSC (II). High-level message sequence charts (S. Mauw, M. Reniers). An annotational extension of message sequence charts to support performance engineering (N. Faltin et al.). MSCs at Siemens A/S - towards the usage of MSC-96 (A. Nyeng, S. Gundersen). VIII. SDL and Other Languages (I). Automated iteration between OMT and SDL (K. Verschaeve). Introducing SDL in the development of CORBA-compliant applications (J. Carracedo et al.). A practical experience on validating GDMO-based information models with SDL'88 and SDL'92 (S. Tata et al.). IX. Code Generation. Combining SDL and C (P.-O. Haokansson et al.). Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads (R. Henke et al.). Industrial strength code generation from SDL (N. Mansurov et al.). X. SDL and Other Languages (II). Is open-EDI a potential area for use of SDL? (O. Troulet-Lambert). The unification of OMT, SDL and IDL for service creation (E. Inocencio et al.). Combining object-oriented and real-time programming from an OMT and SDL design (V. Perrier, N. Dervaux). XI. Verification and Validation (II). Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets (A. Kerbrat et al.). Specifying the steam-boiler case study with SDL (F.A. Boudjelalet al.). The SDL specification of the sliding window protocol revisited (C. Facchi et al.). XII. Applications (II). Configuring communication protocols using SDL patterns (B. Geppert et al.). Code generation using GEODE: A case study (R. Singh, J. Serviss). Author index.


No. of pages:
© Elsevier Science 1997
1st August 1997
Elsevier Science
eBook ISBN:
Hardcover ISBN:

About the Editors

A. Cavalli

Affiliations and Expertise

Institut National des Télécommunications, Evry, France

A. Sarma

Affiliations and Expertise

EURESCOM GmbH, Heidelberg, Germany

Ratings and Reviews