Sciweavers

74
Voted
IFM
2000
Springer

Structuring Real-Time Object-Z Specifications

15 years 11 days ago
Structuring Real-Time Object-Z Specifications
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes using inheritance and composition of classes to form multi-component systems are examined. Two approaches to the latter are considered: using Object-Z's notion of object instantiation and introducing a parallel composition operator similar to those found in process algebras. The parallel composition operator approach is both more concise and allows more general modelling of concurrency. Its incorporation into the existing semantics of real-time Object-Z is presented.
Graeme Smith, Ian J. Hayes
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where IFM
Authors Graeme Smith, Ian J. Hayes
Comments (0)