Deep Semantic Links of TCSP and Object-Z: TCOZ Approach
@article{Mahony2002DeepSL, title={Deep Semantic Links of TCSP and Object-Z: TCOZ Approach}, author={Brendan P. Mahony and J. Dong}, journal={Formal Aspects of Computing}, year={2002}, volume={13}, pages={142-160} }
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… CONTINUE READING
Topics from this paper
17 Citations
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
- Computer Science
- Formal Aspects of Computing
- 2018
- 4
- PDF
Cameo: an alternative model of concurrency for Eiffel
- Computer Science
- Formal Aspects of Computing
- 2008
- 7
- PDF
References
SHOWING 1-10 OF 31 REFERENCES
The state-based CCS semantics for concurrent Z specification
- Computer Science
- First IEEE International Conference on Formal Engineering Methods
- 1997
- 55
Blending Object-Z and Timed CSP: an introduction to TCOZ
- Computer Science
- Proceedings of the 20th International Conference on Software Engineering
- 1998
- 176
A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems
- Computer Science
- FME
- 1997
- 136
Understanding Z : A specification language and its formal semantics
- Computer Science
- Cambridge tracts in theoretical computer science
- 1985
- 597
- PDF
An operational semantics for ZCCS
- Computer Science
- First IEEE International Conference on Formal Engineering Methods
- 1997
- 84