Cookies

We use cookies to ensure that we give you the best experience on our website. By continuing to browse this repository, you give consent for essential cookies to be used. You can read more about our Privacy and Cookie Policy.


Durham Research Online
You are in:

A semantic foundation for TCOZ in unifying theories of programming.

Qin, S. and Dong, J. S. and Chin, W. N. (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. Berlin: Springer, pp. 321-340. Lecture notes in computer science. (2805).

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.

Item Type:Book chapter
Keywords:UTP, Semantics, Integrated formal specifications.
Full text:PDF - Accepted Version (323Kb)
Status:Peer-reviewed
Publisher Web site:http://dx.doi.org/10.1007/b13229
Publisher statement:The original publication is available at www.springerlink.com
Record Created:30 Oct 2008
Last Modified:16 Jun 2011 10:51

Social bookmarking: del.icio.usConnoteaBibSonomyCiteULikeFacebookTwitterExport: EndNote, Zotero | BibTex
Usage statisticsLook up in GoogleScholar | Find in a UK Library