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/PRI SDL Framework for Prototyping and Validation of IN Services , Pages 19-32 , Kristofer Kimbler, Carl-Henrik Hagenfeldt, Niklas Widell, Jan Ellsberger, Gustav Bergman Evaluating an SDL Framework for AXE Development , Pages 33-48 , Stein Erik Ellevseth, Birger Møller-Pedersen New Results on Deriving SDL Specifications from MSCs , Pages 51-66 , M.M. Abdalla, F. Khendek, G. Butler From Timed Scenarios to SDL: Specification, Implemention and Testing of Real-Time Systems , Pages 67-80 , A. En-Nouaary, R. Dssouli, F. Khendek SDL 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 Fischer Modelling Interfaces in SDL with Gate Types , Pages 95-104 , Eckhardt Holz MSC and data: Dynamic variables , Pages 105-120 , A.G. Engels, L.M.G. Feijs, S. Mauw SDL-based Specification and Testing Strategy for Communication Network Protocols , Pages 123-134 , O. Monkewich Automated test generation from S DL specifications , Pages 135-151 , Alain Kerbrat, Thierry Jéron, Roland Groz Methods and Methodology for an Incremental Test Generation from SDL Specifications , Pages 153-168 , Athmane Touag, Anne Rouger Towards a New Formal SDL Semantics based on Abstract State Machines , Pages 171-190 , U. Glässer, R. Gotzhein, A. Prinz Towards a Harmonization of UML-Sequence Diagrams and MSC , Pages 193-208 , Ekkart Rudolph, Jens Grabowski, Peter Graubmann Three Scenarios for combining UML and SDL96 , Pages 209-224 , Kurt Verschaeve, Anders Ek Automatic synthesis of SDL models in Use Case Methodology , Pages 225-240 , N. Mansurov, D. Zhukov Integrating 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. Troya COCOS - A Configurable SDL Compiler for Generating Efficient Protocol Implementations , Pages 259-274 , Peter Langendoerfer, Hartmut Koenig Using declarative mappings for automatic code generation from SDL and ASN.1 , Pages 275-290 , Nikolai Mansurov, Alexei Ragozin Using Design Metrics to Identify Error-Prone Components of SDL Designs , Pages 293-305 , W.M. Zage, D.M. Zage, J.M. McGrew, N. Sood Application of SDL metric suite through development phases , Pages 307-321 , Yury Chernov Dynamic scenario-based approach to re-engineering of legacy telecommunication software , Pages 325-340 , N. Mansurov, R. Probert Specification, Validation and Implementation of ATM UNI Signaling Protocols in SDL , Pages 341-353 , Dong Yuping, Lu Yinghua, Gao Qiang Using Metapatterns with SDL , Pages 355-372 , Torben Worm External communication with SDL Systems , Pages 373-385 , Gerd Kurzbach, Martin v. Löwis of Menar, Ralf Schröder SDL and MSC Based Test Generation for Distributed Test Architectures , Pages 389-404 , Jens Grabowski, Beat Koch, Michael Schmitt, Dieter Hogrefe A test case generation tool for conformance testing of SDL systems , Pages 405-419 , C. Bourhfir, R. Dssouli, E. Aboulhamid, N. Rico IF: 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 Sifakis PerfSDL: Interface to Protocol Performance Analysis by means of Simulation , Pages 441-455 , Mazen Malek Early Performance Prediction of SDL/MSC-specifled Systems by Automated Synthetic Code Generation , Pages 457-471 , W. Dulz, S. Gruhl, L. Kerber, M. Söllner A simulation model for Message Sequence Charts , Pages 473-488 , Loïc Hélouët Author Index , Page 489 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