A time-sensitive object model for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Object-Z: a specification language advocated for the description of standards
Computer Standards & Interfaces - Special issue on formal description techniques
RTsynchronizer: language support for real-time specifications in distributed systems
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Real-Time Specification Inheritance Anomalies and Real-Time Filters
ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
| Hi-index | 0.01 |
We describe Real-Time Object-Z (RTOZ), a language with real-time extensions to Object-Z, and describe infor-mally its semantics. The novelty of our approach lies in the minimal set of syntactic extensions to Object-Z and in the introduction of real-time filters for the separation of real-time constraints from the functional specification of objects. Both the functional specification and filter specification for any time critical system can be developed using the syn-tax of RTOZ. The semantics of RTOZ provides a consistent mapping between the classes in an Object-Z specification and their corresponding real-time constraints. We illustrate the expressive power of RTOZ with a case study.