VDM Specification of the Steam-Boiler Control using RSL Notation

. 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]). 1 Introduction RAISE (which stands for "Rigorous Approach to Industrial Software Engineering ") has been developed under the ESPRIT programme founded by the European Community. Its main aim was to provide a means of creating more reliable and correct software. RAISE consists of two parts: 1. A development method based on the stepwise refinement paradigm ("invent and verify"). 2. A wide spectrum specification language, the RAISE Specification Language (RSL). Throughout the development process only RSL notation is..