A semantic foundation for TCOZ in unifying theories of programming

Qin, S.; Dong, J.S.; Chin, W.N.

doi:10.1007/978-3-540-45236-2_19

A semantic foundation for TCOZ in unifying theories of programming

Qin, S.; Dong, J.S.; Chin, W.N.

Authors

S. Qin

J.S. Dong

W.N. Chin

Abstract

Unifying Theories of Programming (UTP) can provide a formal semantic foundation not only for programming languages but also for more expressive specification languages. We believe UTP is particularly well suited for presenting the formal semantics for integrated specification languages which often have rich language constructs for state encapsulation, event communication and real-time modeling. This paper uses UTP to formalise the semantics of Timed Communicating Object Z (TCOZ) and captures some TCOZ new features for the first time. In particular, a novel unified semantic model of the channel based synchronisation and sensor/actuator based asynchronisation in TCOZ is presented. This semantic model will be used as a reference document for developing tools support for TCOZ and as a semantic foundation for proving soundness of those tools.

Citation

Qin, S., Dong, J., & Chin, W. (2003). A semantic foundation for TCOZ in unifying theories of programming. In FME 2003 : formal methods : International Symposium of Formal Methods Europe, 8-14 September 2003, Pisa, Italy: proceedings (321-340). https://doi.org/10.1007/978-3-540-45236-2_19

Conference Name	12th International Symposium of Formal Methods Europe
Conference Location	Pisa, Italy
Start Date	Sep 8, 2003
Publication Date	2003-09
Deposit Date	Oct 30, 2008
Publicly Available Date	Dec 10, 2009
Publisher	Springer Verlag
Pages	321-340
Series Title	Lecture notes in computer science
Series Number	2805
Book Title	FME 2003 : formal methods : International Symposium of Formal Methods Europe, 8-14 September 2003, Pisa, Italy: proceedings.
DOI	https://doi.org/10.1007/978-3-540-45236-2_19
Keywords	UTP, Semantics, Integrated formal specifications.
Publisher URL	http://www.springerlink.com/index/DYK1V53BT6EC63F5.pdf
Additional Information	September 8-14, 2003.