SDL: Evolving Methods
Forum Proceedings
Elsevier (Publisher)
Published in December 1991
Book
Hardback
536 pages
978-0-444-88976-8 (ISBN)
Description
The 1990's promise to be an exciting new era during which the technologies of telecommunications and computing systems become integrated, offering customers services combining the features of both. The specification and description language of CCITT, (SDL), can be expected to fulfil an important role in this era of converging technologies; from the possibility of conceptual modelling to the detailed design of parts of systems. SDL enables symbolic verification, executable code generation and test suite generation. Developments in SDL have been to include "objects" in the language and formalisation of message sequence charts. Ongoing work on producing excutable code from SDL, executing SDL directly and the related areas of simulation, verification and testing are covered along with the application of SDL to real systems.
The 1990's promise to be an exciting new era during which the technologies of telecommunications and computing systems become integrated, offering customers services combining the features of both. The specification and description language of CCITT, (SDL), can be expected to fulfil an important role in this era of converging technologies; from the possibility of conceptual modelling to the detailed design of parts of systems. SDL enables symbolic verification, executable code generation and test suite generation. Developments in SDL have been to include "objects" in the language and formalisation of message sequence charts. Ongoing work on producing excutable code from SDL, executing SDL directly and the related areas of simulation, verification and testing are covered along with the application of SDL to real systems.
The 1990's promise to be an exciting new era during which the technologies of telecommunications and computing systems become integrated, offering customers services combining the features of both. The specification and description language of CCITT, (SDL), can be expected to fulfil an important role in this era of converging technologies; from the possibility of conceptual modelling to the detailed design of parts of systems. SDL enables symbolic verification, executable code generation and test suite generation. Developments in SDL have been to include "objects" in the language and formalisation of message sequence charts. Ongoing work on producing excutable code from SDL, executing SDL directly and the related areas of simulation, verification and testing are covered along with the application of SDL to real systems.
More details
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Elsevier Science & Technology
Target group
College/higher education
Professional and scholarly
Dimensions
Height: 240 mm
ISBN-13
978-0-444-88976-8 (9780444889768)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Language Issues. SDL & Z: a powerful modelling mix (E. Chiocchetti, G. Larini, F. Rende). An Operational Semantic Model for Basic SDL Extended Abstract (J.C. Godskesen). A Common Interchange Format for SDL (P. Madsen, O. Wiegen). XDL: An Object-Oriented Extension to SDL (S.J. Ochuodho, A.W. Brown). Verification. Verifying Properties of SDL Systems with a Resolution Theorem Prover (H. Tuominen). A Proof Environment for a Subset of SDL (D. Mery, A. Mokkedem). The Automated Verification of SDL Specifications Using Numerical Petri-nets (H.C. Kim et al.). Translation from SDL to LOTOS (T. Ando, M. Ohta, K. Takahashi). REAS - A Ripple Effect Analysis System (F. Yang, J. Chen). A Dynamic Analysis Tool for SDL (A. Ek, J. Ellsberger). Methods. SMO: A Stepwise Refinement and Verification for Software Systems (H. Cosmo, A. Sixtensson, E. Johansson). Applying Object-Oriented SDL (O. Haugen). How to get Complete ADT Definitions? A Tutorial (P.A.J. Tilanus). Library of reusable components (J. Batista Jr., M. Jino). A Migration Path from Structured Analysis to SDL (K.G. Sabatakakis, T.I. Costopoulou). Combining Services, Message Sequence Charts and SDL: Formalism, Method and Tools (V. Encontre et al.). An Intelligent Network Service Creation Environment (K.E. Cheng, L.N. Jackson). Using SDL for Hardware Design (W. Glunz, G. Venzl). Message Sequence Charts. Towards an SDL-Design-Methodology Using Sequence Charts Segments (E. Rudolph, P. Graubmann, J. Grabowski). Message Sequence Chart and SDL Specification Consistency Check (F. Kristoffersen). Consistency Analysis of Message Sequence Charts and SDL Systems (R. Nahm). A Formalisation of Message Sequence Charts (P.A.J. Tilanus). Testing. Approach to Behaviour Specification and Automated Test Generation for Telephone Exchange Systems (M. Grasmanis, I. Medvedis). Global State Based Automatic Test Generation for SDL (A. Kalnins). Test Selection Based on SDL Specifications with SAVE (G. Luo, A. Das, G.v. Bochmann). Simulation. Test Design based on SDL Simulation (H.J. Wilts, P.A.J. Tilanus). Translation of SDL to CRL in SPECS (B. Norbaek, A. Olsen). Performance Analysis of SDL Systems from SDL Descriptions (C. Wohlin). Execution. Engineering the Implementation of SDL Specifications (J. Gorman, U. Johansen). Towards an Integrated SDL/CHILL Environment (N. Duarte et al.). Translating OSDL to an Object-Oriented Programming Language (J. Norgaard). Implementation of SDL Switching Systems Using a Parallel Logic Programming Language (T. Taguchi, H. Hasegawa). AGAIN: Application Protocol Generator to Accelerate Implementation of Network Software (K. Tanaka et al.). Application. Evaluation of Tools in ESCORT (A. Ito et al.). Experiences in the use of SDL/GR in the Software Development Process (V.B. Klick, J. Patti, M.L. Todd). Executable Specifications in SDL for Validating Protocol Equipment (A. Sixtensson, S. Pettersson, A. Johansson). Introduction of CCITT SDL into GPT (K.K. Sandhu).