SDL ʼ97 : time for testing SDL, MSC and trends : proceedings of the eighth SDL Forum, Evry, France, 23-26 September, 1997

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. Designing a multi-user software environment for development and analysis using a combination of OMT and SDL92, Carla G. N. Macário, Moacir Pedroso Jr., Walter C. Borelli. SDL-based modelling and design of In/UMTS handover functionality, A. Alonistioti, G. Nikolaidis, I. Modeas. An SDL-based platform for the simulation of communication networks using dynamic block instantiations, Andreas Iselt, Achim Autenrieth. SPEET SDL performance evaluation tool, Martin Steppler, Matthias Lott. Performance analysis of TCP's flow control mechanisms using queueing SDL, Jörg Hintelmann, Reinhard Westerfeld. Tuning development of distributed real-time systems with SDL and MSC: current experience and future issues, Rainer Gerlich. Telephone feature verification: translating SDL to TLA+, Paul Gibson, Dominique Méry. Simulation of IP mobility support: an experiment in mobile protocol specification with SDL, Mária Törö. Experiences with ISDN validation models in SDL and proposal for new SDL features, Nils Fischbeck. Design for testability of communication protocols based on SDL language, K. Karoui, R. Dssouli, N. Yevtushenko. The MSC-96 distillery, Oystein Haugen. Switching software test environment using MSC, Shugo Shiba, Yoshiaki Shigeta, Wataru Tanaka. Deriving an SDL specification with a given architecture from a set of MSCs, Gabriel Robert, Ferhat Khendek, Peter Grogono. MSC'96 and beyond - a critical look, Stefan Loidi, Ekkart Rudolph, Ursula Hinkel. SDL and MSC in international organizations: ITU-T, Rick Reed. Towards the industrial use of validation techniqiues and automatic test generation methods for SDL specifications, Anders Ek, Jens Grabowski, Dieter Hogrete, Richard Jerome, Beat Koch, michael Schmitt. Automating the process of test derivation from SDL specifications, G. v. Bochmann, A. Petrenko, O. Bellal, S. Maguiraga. Test generation for the SSCOP-ATM networks protocol, Ana Caballi, Boo-Ho Lee, Toma Macavei. High-level message sequence charts, S. Mauw and Michael Reniers. An annotational extension of message sequence charts to support performance engineering, N. Faltin, L. Lambert, A. Mitschele-Thiel, F. Slomka. MSCs at Siemens A/S - towards the usage of MSC-96, Astrid Nyeng, Svanhild Gundersen. Automated iteration between OMT+ and SDL, Kurt Verschaeve. Introducing SDL in the development of CORBA-compliant applications, Justo Carracedo, Carlos Ramos, Rubén de Diego, Carlos González, Juan José Gil, Emilio Rodríguez, Morgan Bjorkander. A practical experience on validating GDMO-based information models with SDL'88 and SDL'92, Samir Tata, Laurent Andrey, Olivier Festor. Combining SDL and C, PAer-Olof Haokansson, Jan Karlsson, Louis Verhaard. Derivating of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads, R. Henke, H. König, A. Mitschele-Thiel. Industrial strength code generation from SDL, N. Mansurov, A. Chernov, A. Ragozin. Is open-EDI a potential area for use of SDL?, Odile Troulet-Lambert. The unification of OMT, SDL and IDL for service creation, Chris Loftus, Edel Sherratt, Euricio Inocencio, Paula Viana. Combining object-oriented and real-time programming from an OMT and SDL design, Vincent Perrier, Nicolas Dervaux. Interconnecting the ObjectGeode and Caesar-Aldébaran toolsets, Alain Kerbrat, Carlos Rodriguez-Salazar, Yves Lejeune. Specifying the steam-boiler case study with SDL, F. A. Boudjelal, J-Y. Lafaye, G. Louis. The SDL specification of the sliding window protocol revisited, Christian Facchi, Markus Haubner, Ursula Hinkel. Configuring communication protocols using SDL patterns. Code Generation using GEODE: a case study, Ranjit "Raj"Singh, Jerry Serviss