SDL '99, the next millennium : proceedings of the ninth SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999

Content: Introduction, __Pages v-vi__Programme committee, __Pages xi-xii__IN Service Prototyping using SDL Models and Animation, __Pages 3-17__, Miguel Alabau, Pierre Combes, Béatrice Renard, France Telecom - BD Cnet DAC/PRISDL Framework for Prototyping and Validation of IN Services, __Pages 19-32__, Kristofer Kimbler, Carl-Henrik Hagenfeldt, Niklas Widell, Jan Ellsberger, Gustav BergmanEvaluating an SDL Framework for AXE Development, __Pages 33-48__, Stein Erik Ellevseth, Birger Møller-PedersenNew Results on Deriving SDL Specifications from MSCs, __Pages 51-66__, M.M. Abdalla, F. Khendek, G. ButlerFrom Timed Scenarios to SDL: Specification, Implemention and Testing of Real-Time Systems, __Pages 67-80__, A. En-Nouaary, R. Dssouli, F. KhendekSDL Enhancements and Application for the Design of Distributed Services, __Pages 83-94__, Nils Fischbeck, Marc Born, Andreas Hoffmann, Mario Winkler, Gregor Baudis, Harald Böhme, Joachim FischerModelling Interfaces in SDL with Gate Types, __Pages 95-104__, Eckhardt HolzMSC and data: Dynamic variables, __Pages 105-120__, A.G. Engels, L.M.G. Feijs, S. MauwSDL-based Specification and Testing Strategy for Communication Network Protocols, __Pages 123-134__, O. MonkewichAutomated test generation from SDL specifications, __Pages 135-151__, Alain Kerbrat, Thierry Jéron, Roland GrozMethods and Methodology for an Incremental Test Generation from SDL Specifications, __Pages 153-168__, Athmane Touag, Anne RougerTowards a New Formal SDL Semantics based on Abstract State Machines, __Pages 171-190__, U. Glässer, R. Gotzhein, A. PrinzTowards a Harmonization of UML-Sequence Diagrams and MSC, __Pages 193-208__, Ekkart Rudolph, Jens Grabowski, Peter GraubmannThree Scenarios for combining UML and SDL96, __Pages 209-224__, Kurt Verschaeve, Anders EkAutomatic synthesis of SDL models in Use Case Methodology, __Pages 225-240__, N. Mansurov, D. ZhukovIntegrating Schedulability Analysis and SDL in an Object-Oriented Methodology for Embedded Real-time Systems, __Pages 241-256__, J.M. Alvarez, M. Díaz, L.M. Llopis, E. Pimentel, J.M. TroyaCOCOS - A Configurable SDL Compiler for Generating Efficient Protocol Implementations, __Pages 259-274__, Peter Langendoerfer, Hartmut KoenigUsing declarative mappings for automatic code generation from SDL and ASN.1, __Pages 275-290__, Nikolai Mansurov, Alexei RagozinUsing Design Metrics to Identify Error-Prone Components of SDL Designs, __Pages 293-305__, W.M. Zage, D.M. Zage, J.M. McGrew, N. SoodApplication of SDL metric suite through development phases, __Pages 307-321__, Yury ChernovDynamic scenario-based approach to re-engineering of legacy telecommunication software, __Pages 325-340__, N. Mansurov, R. ProbertSpecification, Validation and Implementation of ATM UNI Signaling Protocols in SDL, __Pages 341-353__, Dong Yuping, Lu Yinghua, Gao QiangUsing Metapatterns with SDL, __Pages 355-372__, Torben WormExternal communication with SDL Systems, __Pages 373-385__, Gerd Kurzbach, Martin v. Löwis of Menar, Ralf SchröderSDL and MSC Based Test Generation for Distributed Test Architectures, __Pages 389-404__, Jens Grabowski, Beat Koch, Michael Schmitt, Dieter HogrefeA test case generation tool for conformance testing of SDL systems, __Pages 405-419__, C. Bourhfir, R. Dssouli, E. Aboulhamid, N. RicoIF: An Intermediate Representation for SDL and its Applications, __Pages 423-440__, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph SifakisPerfSDL: Interface to Protocol Performance Analysis by means of Simulation, __Pages 441-455__, Mazen MalekEarly Performance Prediction of SDL/MSC-specifled Systems by Automated Synthetic Code Generation, __Pages 457-471__, W. Dulz, S. Gruhl, L. Kerber, M. SöllnerA simulation model for Message Sequence Charts, __Pages 473-488__, Loïc HélouëtAuthor Index, __Page 489__ This book represents the proceedings of the 9th SDL Forum which was held in Montreal, Quebec, Canada, during the week of June 21-25, 1999. The 9th SDL Forum presents papers on the past and future development of the MSC and SDL languages.The volume presents information on experience with the use of these languages in industrial development projects, on tools and techniques for using these languages in the software and hardware development process, and other aspects of these languages.
This book represents the proceedings of the 9th SDL Forum which was held in Montreal, Quebec, Canada, during the week of June 21-25, 1999. The 9th SDL Forum presents papers on the past and future development of the MSC and SDL languages. The volume presents information on experience with the use of these languages in industrial development projects, on tools and techniques for using these languages in the software and hardware development process, and other aspects of these languages