Description

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 s

Details

No. of pages:
551
Language:
English
Copyright:
© 1997
Published:
Imprint:
Elsevier Science
Print ISBN:
9780444828163
Electronic ISBN:
9780080541532