Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/38929
DC Field | Value | |
---|---|---|
dc.title | A semantic foundation for TCOZ in unifying theories of programming | |
dc.contributor.author | Qin, S. | |
dc.contributor.author | Dong, J.S. | |
dc.contributor.author | Chin, W.-N. | |
dc.date.accessioned | 2013-07-04T07:30:06Z | |
dc.date.available | 2013-07-04T07:30:06Z | |
dc.date.issued | 2003 | |
dc.identifier.citation | Qin, S.,Dong, J.S.,Chin, W.-N. (2003). 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) 2805 : 321-340. ScholarBank@NUS Repository. | |
dc.identifier.issn | 03029743 | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/38929 | |
dc.description.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. © Springer-Verlag Berlin Heidelberg 2003. | |
dc.source | Scopus | |
dc.subject | Integrated formal specifications | |
dc.subject | Semantics | |
dc.subject | UTP | |
dc.type | Article | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.description.sourcetitle | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |
dc.description.volume | 2805 | |
dc.description.page | 321-340 | |
dc.identifier.isiut | NOT_IN_WOS | |
Appears in Collections: | Staff Publications |
Show simple item record
Files in This Item:
There are no files associated with this item.
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.