E-raamat: SDL '99: The Next Millennium

Introduction I Applications I 3(48) IN Service prototyping using SDL models and animation 3(16) Miguel Alabau Pierre Combes Beatrice Renard SDL framework for prototyping and validation of IN services 19(14) Kristofer Kimbler Carl-Henrik Hagenfeldt Niklas Widell Jan Ellsberger Gustav Bergman Evaluating an SDL framework for AXE development 33(18) Stein Erik Ellevseth Birger Moller-Pedersen II Deriving SDL 51(32) New results on deriving SDL specifications from MSCs 51(16) M. Abdalla F. Khendek G. Butler From timed scenarios to SDL: specification, implementation and testing of real-time systems 67(16) Abdeslam En-Nouaary Rachida Dssouli Ferhat Khendek III Language Extension 83(40) SDL enhancements and application for the design of distributed services 83(12) Nils Fischbeck Marc Born Andreas Hoffmann Mario Winkler Gregor Baudis Harold Bohme Joachim Fischer Modelling interfaces in SDL with gate types 95(10) Eckhardt Holz MSC and data: dynamic variables 105(18) A.G. Engels L.M.G. Feijs S. Mauw IV Testing I 123(48) SDL-based specification and testing strategy for communication network protocols 123(12) Ostap Monkewich Automated test generation from SDL specifications 135(18) Alain Kerbrat Thierry Jeron Roland Groz Methods and methodology for an incremental test generation from SDL specifications 153(18) Athmane Touag Anne Rouger V SDL and MSC for the Next Millennium 171(22) Towards a new formal SDL semantics -- outline of an abstract state machines 171(22) Uwe Glasser Reinhard Gotzhein A. Prinz VI UML in Collaboration with MSC and SDL 193(66) Towards a harmonization of UML-sequence diagrams and MSC 193(16) Ekkart Rudolph Jens Grabowski Peter Graubmann Three scenarios for combining UML and SDL`96 209(16) Kurt Verschaeve Anders Ek Automatic synthesis of SDL models in use case methodology 225(16) Nikolai Mansurov D. Zhukov Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems 241(18) J.M. Alvarez Manuel Diaz L.M. Llopis E. Pimentel J.M. Troya VII Code Generation 259(34) COCOS -- A configurable SDL compiler for generating efficient protocol implementations 259(16) Peter Langendoerfer Hartmut Koenig Using declarative mappings for automatic code generation from SDL and ASN.1 275(18) Nikolai Mansurov Alexei Ragozin VIII Metric 293(32) Using design metrics to identify error-prone components of SDL designs 293(14) Wayne M. Zage Dolores M. Zage J. Michael McGrew Nitin Sood Application of SDL metric suite through development phases 307(18) Yury Chernov IX Applications II 325(64) Dynamic scenario-based approach to re-engineering of legacy telecommunication software 325(16) Nikolai Mansurov Robert L. Probert Specification, validation and implementation of ATM signaling protocols in SDL 341(14) Yuping Dong Yinghua Lu Qiang Gao Using metapatterns with SDL 355(18) Torben Worm External communication with SDL systems 373(16) Gerd Kurzbach Martin v. Lowis of Menar Ralf Schroder X Testing II 389(34) SDL and MSC based test generation for distributed test architectures 389(16) Jens Grabowski Beat Koch Michael Schmitt Dieter Hogrefe A test case generation tool for conformance testing of SDL systems 405(18) Chourouk Bourhfir Rachida Dssouli El Mostapha Aboulhamid Nathalie Rico XI Time, Performance and Simulation 423(66) IF: An intermediate representation for SDL and its applications 423(18) Marius Bozga Jean-Claude Fernandez Lucian Ghirvu Susanne Graf Jean-Pierre Krimm Laurent Mounier Joseph Sifakis PerfSDL: Interface to protocol performance analysis by means of simulation 441(16) Mazen Malek Early performance prediction of SDL/MSC specified systems by automated synthetic code generation 457(16) W. Dulz S. Gruhl L. Kerber M. Sollner A simulation model for message sequence charts 473(16) Loic Helouet Author Index 489