Title :
TRMCS in TCOZ [formal specification]
Author :
Liu, Jing ; Song, Jin ; Sun, Dong Jing
Author_Institution :
Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore
Abstract :
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. We demonstrate the TCOZ approach to the design and verification of the Teleservices and Remote Medical Care System
Keywords :
communicating sequential processes; formal specification; medical computing; object-oriented methods; real-time systems; specification languages; telemedicine; temporal logic; Object-Z; TCOZ; TRMCS; Teleservices and Remote Medical Care System; Timed Communicating Object Z; communication modeling; complex systems design; data modeling; formal specification; real-time behaviour; state modeling; timed CSP; Asynchronous communication; Communication system control; Computer science; Measurement standards; Power system modeling; Process control; Real time systems; Software systems; Sun; Timing;
Conference_Titel :
Software Specification and Design, 2000. Tenth International Workshop on
Conference_Location :
San Diego, CA
Print_ISBN :
0-7695-0884-7
DOI :
10.1109/IWSSD.2000.891127
