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