SDL - CCITT Specification and Description Language

@article{Rockstrm1982SDLC,
  title={SDL - CCITT Specification and Description Language},
  author={Anders Rockstr{\"o}m and Roberto Saracco},
  journal={IEEE Transactions on Communications},
  year={1982},
  volume={30},
  pages={1310-1318}
}
The CCITT Specification and Description Language (SDL) became a CCITT recommendation in 1976, and a refined version was published by CCITT in 1980. This paper presents the background and history of SDL, and its relation to the other languages recommended by CCITT. SDL is mainly a language to specify and describe the logic of functional processes in a fashion independent of implementation techniques, and is based on a finite-state machine approach. The concepts and representation forms of SDL… Expand
Implementing SDL in occam
TLDR
The paper presents a novel implementation that demonstrates the performance gain that can be achieved through judicious use of the constructs available in occam and considers the implementation of this language on transputers using occam. Expand
Status of CCITT description techniques and application to protocol specification
TLDR
This paper gives an introduction to the revised Specification and Description Language which is a candidate language for protocol specification in CCTTT Recommendations and the benefits of the application of the language to the specification of the class 0 transport protocol are illustrated. Expand
Software Tools for the Specification Language LOTOS
TLDR
In order to be able to suppress irrelevant detail, to decompose a specification into meaningful components, and to make a specification analysable and readable it is essential that an FDT offers these facilities. Expand
EPVD: An interactive protocol specification and validation environment in Estelle formal specification
TLDR
The inter-module combination/validation algorithm is developed to combine and to validate the FSMs of module, and in turn, is used to find a FSM and the logical properties of their communications EPVD implements those approaches with several tools. Expand
A System for Testing Protocol Implementations
  • D. Rayner
  • Computer Science
  • Comput. Networks
  • 1982
TLDR
The theoretical basis which has been established for this work is described, which sets the context within which NPL's current system development plan is discussed. Expand
A High-Level Language and Computer Architecture for Real-Time Systems
  • L. Crutcher
  • Computer Science, Psychology
  • 1989 American Control Conference
  • 1989
The characteristics of real-time control systems are reviewed, and the CCITT Specification and Description Language (SDL) is shown to be suitable for software design in some parts of these systems.Expand
Scandinavian Contributions to Object-Oriented Modeling Languages
TLDR
The history of Scandinavian contributions to modeling languages is interesting in many respects: there has been a development towards making mechanisms less particular: while early modeling languages had special structuring mechanisms, UML2 now cover this by composite classes. Expand
“DASOM”—a software engineering tool for communication applications increasing productivity and software quality
DASOM (Computer Aided SDL-Oriented Methodology) is a system development tool which especially gives computer support to specification and design, but also provides support for implementation,Expand
A Specification and Verifiaction Tool for Communication Protocols
TLDR
Protype, a prototyping tool for communication protocol specifications based on extended finite state machine augmented with context variables and procedural information, helps a protocol designer in developing error free protocols. Expand
A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange
A rely and guarantee method for timed communicating sequential processes (TCPSs), by which the behavior of a component belonging to a composite system is specified in terms of what it guarantees toExpand
...
1
2
3
4
5
...