Skip to main content
SpringerLink
Log in

VDM specification of the steam-boiler control using RSL notation

  • Chapter
  • First Online:
Formal Methods for Industrial Applications

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1165))

Abstract

This document presents a steam-boiler control specification for the seminar “Semantische Methoden im Wettbewerb” on June 5–9 1995 in Schloss Dagstuhl, Germany based on the informal specification provided by Jean-Raymond Abrial ([2]). The style of the specification itself is strongly related to VDM. Therefore most of the definitions are explicit as they used to be in traditional VDM specifications. The specification language used is RSL (the RAISE Specification Language [1]).

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. The RAISE Language Group: The RAISE Specification Language, Prentice Hall, 1992

    Google Scholar 

  2. Jean-Raymond Abrial: Steam-boiler control specification problem, August 1994 (see Chapter AS, this book)

    Google Scholar 

  3. Pascal Bernard: A Z specification of the boiler, January 1996 (available online at http://www.informatik.uni-kiel.de/∼procos/dag9523/bernard-fulltext.ps.Z)

    Google Scholar 

  4. Robert Buessow and Matthias Weber: A Steam-Boiler Control Specification with Statecharts and Z (see Chapter BW, this book)

    Google Scholar 

  5. ZoË Hellinger: RAISE Frequently Asked Questions, February 1995, (available online at http://dream.dai.ed.ac.uk/raise/faq.html)

    Google Scholar 

  6. Cliff B. Jones: Systematic Software Development using VDM, second edition, Prentice Hall, 1990

    Google Scholar 

  7. Yves Ledru and Marie-Laure Potet: A VDM specification of the steam-boiler problem (see Chapter LP, this book)

    Google Scholar 

  8. J.G. Turner and T.L. McCluskey: The Construction of Formal Specifications — An Introduction to the Model-Based and Algebraic Approaches, McGraw Hill, 1994

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. TU-Graz, Institut für Softwaretechnologie, Münzgrabenstrasse 11, 8010, Graz, Austria

    Christian P. Schinagl

Authors
  1. Christian P. Schinagl
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jean-Raymond Abrial Egon Börger Hans Langmaack

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Schinagl, C.P. (1996). VDM specification of the steam-boiler control using RSL notation. In: Abrial, JR., Börger, E., Langmaack, H. (eds) Formal Methods for Industrial Applications. Lecture Notes in Computer Science, vol 1165. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027248

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61929-1

  • Online ISBN: 978-3-540-49566-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation