Please use this identifier to cite or link to this item: https://doi.org/10.1007/s001650200004
Title: Deep semantic links of TCSP and object-Z: TCOZ approach
Authors: Mahony, B.
Dong, J.S. 
Keywords: Integrated Formal Methods
Object-Z
TCOZ
TCSP
Issue Date: 2002
Citation: Mahony, B.,Dong, J.S. (2002). Deep semantic links of TCSP and object-Z: TCOZ approach. Formal Aspects of Computing 13 (2) : 142-160. ScholarBank@NUS Repository. https://doi.org/10.1007/s001650200004
Abstract: Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ, a language blended from Object-Z and TCSP. The semantic model adopted is the infinite timed failures model of TCSP, extended to include initial state and update events for modelling operations on internal state. An infinite trace model has been used so as to ensure proper account is taken of the potentially unbounded non-determinism allowed by Z schemas. © 2002 BCS.
Source Title: Formal Aspects of Computing
URI: http://scholarbank.nus.edu.sg/handle/10635/40069
ISSN: 09345043
DOI: 10.1007/s001650200004
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

13
checked on Apr 8, 2020

Page view(s)

146
checked on Mar 31, 2020

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.