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」 より