Title :
Active objects in TCOZ
Author :
Dong, Jin Song ; Mahony, Brendan
Author_Institution :
Sch. of Comput., Nat. Univ. of Singapore, Singapore
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;
Conference_Titel :
Formal Engineering Methods, 1998. Proceedings. Second International Conference on
Conference_Location :
Brisbane, Qld.
Print_ISBN :
0-8186-9198-0
DOI :
10.1109/ICFEM.1998.730566
