SDL '91 : evolving methods : proceedings of the Fifth SDL Forum, Glasgow, Scotland, UK, 29 September-4 October, 1991
著者
書誌事項
SDL '91 : evolving methods : proceedings of the Fifth SDL Forum, Glasgow, Scotland, UK, 29 September-4 October, 1991
North-Holland , Distributors for the U.S. and Canada, Elsevier Science, 1991
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
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.
目次
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).
「Nielsen BookData」 より