DocumentCode :
2358784
Title :
The steam boiler in a unified theory of Z and CSP
Author :
Woodcock, Jim ; Cavalcanti, Ana
Author_Institution :
Oxford Univ./OUCL, UK
fYear :
2001
fDate :
4-7 Dec. 2001
Firstpage :
291
Lastpage :
298
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific
ISSN :
1530-1362
Print_ISBN :
0-7695-1408-1
Type :
conf
DOI :
10.1109/APSEC.2001.991490
Filename :
991490
Link To Document :
بازگشت