Blending Object-Z and Timed CSP: an introduction to TCOZ

Author

Mahony, Brendan ; Dong, Jin Song

Author_Institution

Inf. Technol. Div., Defence Sci. & Technol. Organ., Salisbury, SA, Australia

fYear

1998

fDate

19-25 Apr 1998

Firstpage

95

Lastpage

104

Abstract

Object-Z is an extension to the Z language designed to facilitate specification in an object-oriented style. It is an excellent tool for modeling data and algorithms, but its object semantics are single threaded and operations are atomic. Therefore, it is difficult to use Object-Z to capture the behaviour of concurrent real-time reactive systems. On the other hand, Timed CSP is good at modeling real-time concurrent behaviour, but has little support for modeling the state of a complex system. This paper introduces a blending of Object-Z and Timed CSP, known as TCOZ. The blended notation is particularly suited for specifying complex systems whose components have their own thread of control

Keywords

communicating sequential processes; formal specification; object-oriented languages; object-oriented programming; real-time systems; specification languages; temporal logic; Object-Z; TCOZ; Timed CSP; Z language; complex systems; concurrent real-time reactive systems; data modeling; notation; object oriented language; object semantics; single threaded; specification language; Algorithm design and analysis; Australia; Concurrent computing; Control systems; Information technology; Object oriented modeling; Process control; Real time systems; Timing; Yarn;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering, 1998. Proceedings of the 1998 International Conference on

Conference_Location

Kyoto

ISSN

0270-5257

Print_ISBN

0-8186-8368-6

Type

conf

DOI

10.1109/ICSE.1998.671106

Filename

671106