Active objects in TCOZ

Author

Dong, Jin Song ; Mahony, Brendan

Author_Institution

Sch. of Comput., Nat. Univ. of Singapore, Singapore

fYear

1998

fDate

9-11 Dec 1998

Firstpage

16

Lastpage

25

Abstract

Active objects have their own thread of control and passive objects are controlled by others. In Object-Z, all objects are modelled as passive objects. Timed Communicating Object Z (TCOZ) extends the Object-Z notation with Timed CSP´s process and timing constructs. The blending of the concepts of object and non-terminating process leads to the notion of active object in TCOZ. This paper considers the concept of active object, its role and implications in formal real-time object-oriented specification

Keywords

communicating sequential processes; formal specification; object-oriented programming; real-time systems; temporal logic; Object-Z; TCOZ; Timed CSP; Timed Communicating Object Z; active objects; passive objects; process construct; real-time object-oriented specification; timing construct; Actuators; Control system synthesis; Cultural differences; Electrical capacitance tomography; Information technology; Object oriented modeling; Power system modeling; Sensor phenomena and characterization; Timing; Yarn;

fLanguage

English

Publisher

ieee

Conference_Titel

Formal Engineering Methods, 1998. Proceedings. Second International Conference on

Conference_Location

Brisbane, Qld.

Print_ISBN

0-8186-9198-0

Type

conf

DOI

10.1109/ICFEM.1998.730566

Filename

730566