The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - February (2000 vol.26)
pp: 150-177
ABSTRACT
<p><b>Abstract</b>—This paper describes a timed, multithreaded object modeling notation for specifying real-time, concurrent, and reactive systems. The notation Timed Communicating Object Z (TCOZ) builds on Object Z's strengths in modeling complex data and algorithms, and on Timed CSP's strengths in modeling process control and real-time interactions. TCOZ is novel in that it includes timing primitives, properly separates process control and data/algorithm issues and supports the modeling of true multithreaded concurrency. TCOZ is particularly well-suited for specifying complex systems whose components have their own thread of control. The expressiveness of the notation is demonstrated by a case study in specifying a multilift system that operates in real-time.</p>
INDEX TERMS
Software/system specification, formal methods, real-time systems, concurrency, object-oriented modeling, Z, CSP.
CITATION
Brendan Mahony, Jin Song Dong, "Timed Communicating Object Z", IEEE Transactions on Software Engineering, vol.26, no. 2, pp. 150-177, February 2000, doi:10.1109/32.841115
37 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool