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).
