Title :
The steam boiler in a unified theory of Z and CSP
Author :
Woodcock, Jim ; Cavalcanti, Ana
Author_Institution :
Oxford Univ./OUCL, UK
Abstract :
This paper presents a formalisation of the steam boiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powerful support for the specification of the data-oriented and behavioural aspects of concurrent systems, and to provide a calculational development technique for languages similar to Occam, Java, and Handel-C.
Keywords :
boilers; chemical engineering computing; communicating sequential processes; formal specification; multiprocessing programs; specification languages; CSP; Circus; Handel-C; Java; Occam; Z; behavioural aspects; calculational development technique; concurrent systems; data-oriented aspects; formal specification languages; steam boiler; unified theory; Algebra; Analytical models; Boilers; Computer languages; Concrete; Concurrent computing; Java; Refining;
Conference_Titel :
Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific
Print_ISBN :
0-7695-1408-1
DOI :
10.1109/APSEC.2001.991490