Abstract.
This paper presents Real-Time Object-Z: an integration of the object-oriented, state-based specification language Object-Z with the timed trace notation of the timed refinement calculus. This integration provides a method of formally specifying and refining systems involving continuous variables and real-time constraints. The basis of the integration is a mapping of the existing Object-Z history semantics to timed traces.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received September 2000 / Accepted in revised form June 2001
Rights and permissions
About this article
Cite this article
Smith, G., Hayes, I. An Introduction to Real-Time Object-Z. Form Aspects Comput 13, 128–141 (2002). https://doi.org/10.1007/s001650200003
Issue Date:
DOI: https://doi.org/10.1007/s001650200003