An introduction to real-time object-Z

Formal Aspects of Computing

Volumn 13, Issue 2, 2002, Pages 128-141

  Smith, Graeme ^a   Hayes, Ian ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Object Z; Real time refinement; Real time specification; Timed refinement calculus

Indexed keywords

CONSTRAINT THEORY; MAPPING; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS; SEMANTICS;

OBJECT-Z; REAL-TIME REFINEMENT; REAL-TIME SPECIFICATION; TIME REFINEMENT CALCULUS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 23944469655     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650200003     Document Type: Conference Paper

References (29)

1. [Atk95] Atkinson, S.: Formalizing the Eiffel library standard. In Technology of Object-Oriented Languages and Systems: TOOLS 18. Prentice-Hall, 1995.
2. [DCZ96] Dong, J. S., Colton, J. and Zucconi, L.; A formal object approach to real-time specification. In 3rd Asia-Pacific Software Engineering Conference (APSEC'96). IEEE Computer Society Press, 1996.
3. [DDR97] Dong, J. S., Duke, R. and Rose, G.: An object-oriented denotational semantics of a (block-structured sequential) programming language. Object-Oriented Systems, 4(1):29-52, 1997.
4. [DDt95] Duce, D. A., Duke, D. J., ten Hagen, P. J. W. and Reynolds, G. J.: Formal methods in the development of PREMO. Computer Standards and Interfaces, 17:491-509, 1995.
5. [FHM98a] Fidge, C. J., Hayes, I. J. and Mahony, B. P.: Defining differentiation and integration in Z. In Staples, J., Hinchey, M. G. and Shaoying Liu, editors, IEEE International Conference on Formal Engineering Methods (ICFEM '98), pages 64-73. IEEE Computer Society Press, 1998.
6. [FHM98b] Fidge, C. J., Hayes, I. J., Martin, A. P. and Wabenhorst, A. K.: A set-theoretic model for real-time specification and reasoning. In Jeuring, J. editor, Mathematics of Program Construction (MPC'98), volume 1422 of Lecture Notes in Computer Science, pages 188-206. Springer-Verlag, 1998.
7. [Fis97] Fischer, C. : CSP-OZ - a combination of CSP and Object-Z. In Bowman, H. and Derrick, J. editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), pages 423-438. Chapman & Hall, 1997.
8. [Fri95] Friesen, V.: An exercise in hybrid system specification using an extension of Z. In Bouajjani, A. and Maler, O. editors, Proceedings Second European Workshop on Real-Time and Hybrid Systems, pages 311-316. VERIMAG Laboratory, Grenoble, 1995.
9. [GKP98] Geisler, R., Klar, M. and Pons, C.: Dimensions and dichotomy in metarnodeling. In Duke, D. J. and Evans, A. S. editors, 3rd BCS-FACS Northern Formal Methods Workshop, Electronic Workshops in Computing. Springer-Verlag, 1998.
10. [HuC98] Hussey, A. and Carrington, D. : Using Object-Z to specify a web browser interface. In Palanque, P. and Paterno, F. editors, Formal Methods in Human-Computer Interaction, Formal Approaches to Computing and Information Technology, chapter 8. Springer-Verlag, 1998.
11. [Joh96] Johnston, W.: A type checker for Object-Z. Technical Report 96-24, Software Verification Research Centre, University of Queensland, 1996.
12. [KiC99] Kim, S.-K. and Carrington, D.: Formalising the UML class diagram using Object-Z. In 2nd International Conference on Unified Modelling Language (UML'99), volume 1732 of Lecture Notes in Computer Science. Springer-Verlag, 1999.
13. [Mah92] Mahony, B. P.; The Specification and Refinement of Timed Processes. PhD thesis, Department of Computer Science, University of Queensland, 1992.
14. [Mah94] Mahony, B. P.: Using the refinement calculus for dataflow processes. Technical Report 94-32, Software Verification Research Centre, University of Queensland, October 1994.
15. [MaD98] Mahony, B. P. and Dong, J. S.: Blending Object-Z and Timed CSP: an introduction to TCOZ. In 20th International Conference on Software Engineering (ICSE'98), pages 95-104. IEEE Computer Society Press, 1998.
16. [MaD99] Mahony, B. P. and Dong, J. S.: Sensors and actuators in TCOZ. In Wing, J., Woodcock, J.C.P. and Davies, J. editors, World Congress on Formal Methods (FM'99), volume 1709 of Lecture Notes in Computer Science, pages 1166-1185. Springer-Verlag, 1999.
17. [MaD00] Mahony, B. P. and Dong, J. S.: Timed Communicating Object Z. IEEE Transactions on Software Engineering, 26(2):150-177, 2000.
18. [MaH92] Mahony, B. P. and Hayes, I. J. : A case-study in timed refinement: a mine pump. IEEE Transactions on Software Engineering, 18(9):817-826, 1992.
19. [OlB97] Oliveira, W. R. and Barros, R. S. M.: The real numbers in Z. In Duke, D.J. and Evans, A.S. editors, 2nd BCS-FACS Northern Formal Methods Workshop, Electronic Workshops in Computing. Springer-Verlag, 1997.
20. [PeA98] Periyasamy, K. and Alagar, V. S.: Extending Object-Z for specifying real-time systems. In TOOLS USA'97: Technology of Object-Oriented Languages and Systems, pages 163-175. IEEE Computer Society Press, 1998.
21. [RoD93] Rose, G. and Duke, R. An Object-Z specification of a mobile phone system. In Lano, K. and Haughton, H. editors, Object-Oriented Specification Case Studies, Object-Oriented Series. Prentice-Hall, 1993.
22. [SmH99] Smith, G. and Hayes, I. J.: Towards real-time Object-Z. In Araki, K., Galloway, A. and Taguchi, K. editors, 1st International Conference on Integrated Formal Methods (IFM'99), pages 49-65. Springer-Verlag, 1999.
23. [SmH00] Smith, G. and Hayes, I. J. : Structuring Real-Time Object-Z specifications. In Grieskamp, W., Santen, T. and Stoddart, B. editors, 2nd International Conference on Integrated Formal Methods (IFM'00), volume 1945 of Lecture Notes in Computer Science, pages 97-115. Springer-Verlag, 2000.
24. [Smi95] Smith, G.: A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing, 7(3):289-313, 1995.
25. [Smi97] Smith, G. A semantic integration of Object-Z and CSP for the specification of concurrent systems. In Fitzgerald, J., Jones, C. B. and Lucas, P. editors, Formal Methods Europe (FME'97), volume 1313 of Lecture Notes in Computer Science, pages 62-81. Springer-Verlag, 1997.
26. [Smi00] Smith, G.: The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, 2000.
27. [Spi92] Spivey, J. M.: The Z Notation: A Reference Manual, 2nd edition. Prentice-Hall, 1992.
28. [WoD96] Woodcock, J. C. P. and Davies, J. Using Z: Specification, Refinement, and Proof. Prentice-Hall, 1996.
29. [Zho91] Chaochen, Z., Hoare, C. A. R. and Ravn, A. P.: A calculus of durations. Information Processing Letters, 40:269-271, December 1991.