摘要: This paper describes a timed, multithreaded object modeling notation for specifying real-time, concurrent, and reactive systems. The Timed Communicating Object Z (TCOZ) builds on Z's strengths in complex data algorithms, CSP's process control real-time interactions. TCOZ Is novel that it includes timing primitives, properly separates data/algorithm issues supports the of true concurrency. is particularly well-suited systems whose components have their own thread control. expressiveness demonstrated by case study multilift system operates real-time.
core.ac.uk
acm.org
ieeecomputersociety.org参考文章(48)
Gérard Berry, Georges Gonthier, The ESTEREL synchronous programming language: design, semantics, implementation Science of Computer Programming. ,vol. 19, pp. 87- 152 ,(1992) , 10.1016/0167-6423(92)90005-V
I. R. Forman, Design by decomposition of multiparty interactions in Raddle87 international workshop on software specification and design. ,vol. 14, pp. 2- 10 ,(1989) , 10.1145/75199.75201
Jin Song Dong, B. Mahony, Active objects in TCOZ international conference on formal engineering methods. pp. 16- 25 ,(1998) , 10.1109/ICFEM.1998.730566
Jin Song Dong, Living with free type and class union asia-pacific software engineering conference. pp. 304- 312 ,(1995) , 10.1109/APSEC.1995.496979
M.W Mislove, A.W Roscoe, S.A Schneider, Fixed points without completeness Theoretical Computer Science. ,vol. 138, pp. 273- 314 ,(1995) , 10.1016/0304-3975(94)00170-N
C. Fidge, P. Kearney, M. Utting, A formal method for building concurrent real-time software IEEE Software. ,vol. 14, pp. 99- 106 ,(1997) , 10.1109/52.582979
A. W. Roscoe, The Theory and Practice of Concurrency Prentice Hall PTR. ,(1997)
A.J. Galloway, W.J. Stoddart, An operational semantics for ZCCS international conference on formal engineering methods. pp. 272- 282 ,(1997) , 10.1109/ICFEM.1997.630434
K. Taguchi, K. Araki, The state-based CCS semantics for concurrent Z specification international conference on formal engineering methods. pp. 283- 292 ,(1997) , 10.1109/ICFEM.1997.630435
Leslie Lamport, Lawrence C. Paulson, Should your specification language be typed ACM Transactions on Programming Languages and Systems. ,vol. 21, pp. 502- 526 ,(1999) , 10.1145/319301.319317