DMCA
Network Topology and a Case Study in TCOZ (1998)
| Venue: | The 11th International Conference of Z Users, volume 1493 of Lecture Notes in Computer Science |
| Citations: | 9 - 5 self |
BibTeX
@INPROCEEDINGS{Mahony98networktopology,
author = {Brendan Mahony and Jin Song Dong},
title = {Network Topology and a Case Study in TCOZ},
booktitle = {The 11th International Conference of Z Users, volume 1493 of Lecture Notes in Computer Science},
year = {1998},
pages = {308--327},
publisher = {Springer-Verlag}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Object-Z is strong in modeling the data and operations of complex systems. However, it is weak in specifying real-time and concurrent systems. The Timed Communicating Object-Z (TCOZ) extends Object-Z notation with Timed CSP's constructs. TCOZ is particularly well suited for specifying complex systems whose components have their own thread of control. This paper demonstrates expressiveness of the TCOZ notation through a case study on specifying a multi-lift system that operates in real-time.
