Skip to main content
SpringerLink
Log in

Towards a formal foundation of the specification and description language SDL

  • Published:
Formal Aspects of Computing

Abstract

A formal model is described for the CCITT specification and description language SDL which provides a graphical concept for representing designs of systems interacting by signals. The model is based on functional descriptions of interactive systems using the concept of streams and stream processing functions. The foundations for this functional modelling of interactive systems are introduced. The graphical constructs of SDL are related to this model. In particular it is shown how the meaning of SDL graphical forms can be represented by specifications in the form of conditional equations or by functional programs. Based on the functional formal model the application of specification and verification methods for SDL is demonstrated. Small examples are treated. A number of tools are discussed that can be based on that model.

This study does not define a semantic model for the specification and design language SDL, but it gives

An introduction to the functional modelling of distributed systems

An explanation of how to translate SDL designs into functional descriptions An extended example for the translation of an SDL design

A discussion of the possibilities of supporting SDL designs by such a semantic foundation

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Brinksma, E., Scollo, G. and Vissers, C. A.: Experience and Future of LOTOS as a Specification Language.SDL '87: State of the Art, North Holland, 1987.

  2. Broy, M.: A Theory for Nondeterminism, Parallelism, Communication and Concurrency. Habilitation, FakultÄt für Mathematik und Informatik der Technischen UniversitÄt München, 1982. Revised version inTheoretical Computer Science,45, 1–61 (1986).

  3. Broy, M.: Applicative Real Time Programming.Information Processing 83, IFIP World Congress, Paris 1983, North Holland, 1983, pp. 259–264.

    Google Scholar 

  4. Broy, M.: On Modularity in Programming. In:A Quarter Century of IFIP, H. Zemanek (ed.) pp. 347–362. North Holland, 1986.

  5. Broy, M.: Semantics of finite or infinite networks of communicating agents.Distributed Computing,2, 13–31 (1987).

    Google Scholar 

  6. Broy, M., Jackson, K. and Pennington, R.: A Stream Function Definition of MASCOT. System Designers, Software Technology Centre, Final Technical Report, 1987.

  7. Broy, M., Towards a Design Methodology for Distributed Systems.International Summer School on Constructive Methods in Computing Science, Marktoberdorf, 1988.

  8. Budkowski, S. and Dembinski, P.: An Introduction to Estelle.Computer Networks,14, 1 (1987).

    Google Scholar 

  9. CCITT:Specification and Design Language SDL. Blue Book.

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische UniversitÄt München, Postfach 20 24 20, 8 München 2, Germany

    Manfred Broy

Authors
  1. Manfred Broy
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This study was carried out in cooperation with Siemens AG ZFE F2 SOF1.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Broy, M. Towards a formal foundation of the specification and description language SDL. Formal Aspects of Computing 3, 21–57 (1991). https://doi.org/10.1007/BF01211434

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01211434

Keywords

Search

Navigation