TRMCS in TCOZ
Jing Liu, Jin Song Dong, Jing Sun · International Workshop on Software Specification and Design · 2000
The design of complex systems requires powerful mechanisms for modeling data, state, communication, and real-time behaviour; as well as for structuring and decomposing systems in order to control local complexity. Timed Communicating Object Z (TCOZ) builds on Object-Z's strengths in modeling complex data and state, and on Timed CSP's strengths in modeling process control and real-time interactions. In this paper, we demonstrate the TCOZ approach to the design and verification of the Teleservices and Remote Medical Care System.