Elsevier S & T

SDL '99: The Next Millennium

Dssouli, R.; Bochmann, G.V.; Lahav, Y.

In stock
No reviews
70.250 KD inc. VAT
License
Table of contents
  • Cover
  • Table of Contentsvii
  • Introductionv
  • Section I: Applications I1
  • Chapter 1. IN Service prototyping using SDL models and animation3
  • Chapter 2. SDL framework for prototyping and validation of IN services19
  • Chapter 3. Evaluating an SDL framework for AXE development33
  • Session II: Deriving SDL49
  • Chapter 4. New results on deriving SDL specifications from MSCs51
  • Chapter 5. From timed scenarios to SDL: specification, implementation and testing of real-time syste67
  • Session III: Language Extension81
  • Chapter 6. SDL enhancements and application for the design of distributed services83
  • Chapter 7. Modelling interfaces in SDL with gate types95
  • Chapter 8. MSC and data: dynamic variables105
  • Session IV: Testing I121
  • Chapter 9. SDL-based specification and testing strategy for communication network protocols123
  • Chapter 10. Automated test generation from SDL specifications135
  • Chapter 11. Methods and methodology for an incremental test generation from SDL specifications153
  • Session V: SDL and MSC for the Next Millennium169
  • Chapter 12. Towards a new formal SDL semantics - outline of an abstract state machines171
  • Session VI: UML in Collaboration with MSC and SDL191
  • Chapter 13. Towards a harmonization of UML-sequence diagrams and MSC193
  • Chapter 14. Three scenarios for combining UML and SDL'96209
  • Chapter 15. Automatic synthesis of SDL models in use case methodology225
  • Chapter 16. Integrating schedulability analysis and SDL in an object-oriented methodology for embedd241
  • Session VII: Code Generation257
  • Chapter 17. COCOS - A configurable SDL compiler for generating efficient protocol implementations259
  • Chapter 18. Using declarative mappings for automatic code generation from SDL and ASN.1275
  • Session VIII: Metric291
  • Chapter 19. Using design metrics to identify error-prone components of SDL designs293
  • Chapter 20. Application of SDL metric suite through development phases307
  • Session IX: Applications II323
  • Chapter 21. Dynamic scenario-based approach to re-engineering of legacy telecommunication software325
  • Chapter 22. Specification, validation and implementation of ATM UNI signaling protocols in SDL341
  • Chapter 23. Using metapatterns with SDL355
  • Chapter 24. External communication with SDL systems373
  • Session X: Testing II387
  • Chapter 25. SDL and MSC based test generation for distributed test architectures389
  • Chapter 26. A test case generation tool for conformance testing of SDL systems405
  • Session XI: Time, Performance and Simulation421
  • Chapter 27. IF: An intermediate representation for SDL and its applications423
  • Chapter 28. PerfSDL: Interface to protocol performance analysis by means of simulation441
  • Chapter 29. Early performance prediction of SDL/MSC specified systems by automated synthetic code ge457
  • Chapter 30. A simulation model for message sequence charts473
  • Author Index489
Book details
  • Vendor Elsevier S & T
  • SKU 9780444502285
  • ISBN-13 9780080540801
  • Author Dssouli, R.; Bochmann, G.V.; Lahav, Y.
  • Category Computers
  • Subject Information Technology

Do you have questions about this book?

Ask an expert!

Description eBook delivery & access Reviews
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.