A semantic foundation for TCOZ in unifying theories of programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2805, Issue , 2003, Pages 321-340

  Qin, Shengchao ^a   Dong, Jin Song ^a   Chin, Wei Ngan ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

Integrated formal specifications; Semantics; UTP

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL METHODS; FORMAL SPECIFICATION; MODELING LANGUAGES; PROGRAMMING THEORY; SPECIFICATION LANGUAGES; SPECIFICATIONS;

FORMAL SEMANTICS; LANGUAGE CONSTRUCTS; REAL TIME MODELING; SEMANTIC FOUNDATION; SENSOR/ACTUATOR; TIMED COMMUNICATING OBJECT-Z; UNIFYING THEORIES OF PROGRAMMING; UTP;

SEMANTICS;

EID: 35048890112     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45236-2_19     Document Type: Article

References (18)

1. J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, and Y. Wang. UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. Hybrid Systems, LNCS 1066, pages 232-243. Springer-Verlag, 1996.
2. J. Davies and S. Schneider. A brief history of Timed CSP. Theoret. Comput. Sci., 138:243-271, 1995.
3. D. Duke and R. Duke. Towards a semantics for Object-Z. In D. Bjørner, C.A.R. Hoare, and H. Langmaack, eds., VDM'90: VDM and Z!, LNCS 428, pages 242-262. Springer-Verlag, 1990.
4. R. Duke and G. Rose. Formal Object Oriented Specification Using Object-Z. Cornerstones of Computing Series. Macmillan, March 2000.
5. J. He, Z. Liu, and X. Li. A relational model for specification of object-oriented systems. Technical Report 262, UNU/IIST, October 2002.
6. C.A.R. Hoare and J. He. Unifying Theories of Programming. Prentice-Hall, 1998.
7. B. Mahony and J. S. Dong. Sensors and Actuators in TCOZ. In J. Wing, J. Woodcock, and J. Davies, eds., FM99: World Congress on Formal Methods, LNCS 1709, pages 1166-1185, 1999.
8. B. Mahony and J. S. Dong. Timed Communicating Object Z. IEEE Transactions on Software Engineering, 26(2):150-177, February 2000.
9. B. Mahony and J. S. Dong. Overview of the semantics of TCOZ. In K. Araki, A. Galloway, and K. Taguchi, eds, IFM'99: Integrated Formal Methods, pages 66-85. Springer-Verlag, 1999.
10. M. Mislove, A. Roscoe, and S. Schneider. Fixed Points Without Completeness. Theoret. Comput. Sci., 138:273-314, 1995.
11. G. Reed and A. Roscoe. A timed model for communicating sequential processes. Theoret. Comput. Sci., 58:249-261, 1988.
12. A.W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1998.
13. S. Schneider, J. Davies, D. Jackson, G. Reed, J. Reed, and A. Roscoe. Timed CSP: Theory and practice. Real-Time: Theory in Practice, LNCS 600, pages 640-675. Springer-Verlag, 1992.
14. A. Sherif and J. He. Towards a timed model for circus. In C. George and H. Miao, eds., ICFEM'02 Formal Methods and Software Engineering, LNCS 2495, pages 613-624. Springer-Verlag, 2002.
15. G. Smith. A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing, 7(3):289-313, 1995.
16. G. Smith. The Object-Z Specification Language. Kluwer Academic Publishers, 2000.
17. J. Woodcock and A. Cavalcanti. Circus: a concurrent refinement language. Technical report, Oxford University Computing Laboratory, Oxford OX1 3QD, UK, July 2001.
18. J. Woodcock and A. Cavalcanti. The Semantics of Circus. In D. Bert, J. Bowen, M. Henson and K. Robinson, eds., 2nd International Conference on Z and B, LNCS 2272, pages 184-203. Springer-Verlag, 2002.