Active objects in TCOZ

Proceedings - 2nd International Conference on Formal Engineering Methods, ICFEM 1998

Volumn 1998-December, Issue , 1998, Pages 16-25

  Dong, Jin Song ^a   Mahony, B ^b  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

BLENDING;

ACTIVE OBJECT; OBJECT Z; OBJECT-ORIENTED SPECIFICATIONS; PASSIVE OBJECTS; REAL TIME; TIMED COMMUNICATING OBJECT-Z; TIMED CSP;

COMPUTER OPERATING PROCEDURES;

EID: 71049132405     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICFEM.1998.730566     Document Type: Conference Paper

References (19)

1. P. America, J. de Bakker, J. Kok, and J. Rutten. Operational semantics of a parallel object-oriented language. In Proc. 13th ACM Symp. on Princ. Prog. Lang., pages 194-208, 1986.
2. D. Caromel. Toward a method of object-oriented concurrent programming. Communications of the ACM, 36(9), 1993.
3. J.S. Dong and R. Duke. Exclusive Control within Object Oriented Systems. In The 18th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS'Pacific95), pages 123-132. Prentice-Hall, November 1995.
4. J.S. Dong, G. Rose, and R. Duke. The Role of Secondary Attributes in Formal Object Modelling. In Alex Stoyenko, editor, The First IEEE International Conference on Engineering Complex Computer Systems (ICECCS'95), pages 31-38, Ft. Lauderdale, USA, November 1995. IEEE Computer Society Press.
5. R. Duke, G. Rose, and G. Smith. Object-Z: a Specification Language Advocated for the Description of Standards. Computer Standards and Interfaces, 17:511-533, 1995.
6. C. Fisher and G. Smith. Combining CSP and Object-Z: Finite or Infinite Trace Semantics? In IFIP International Conference on Formal Description Techniques and Protocal Specification, Testing and Verification, pages 503-518. Chapman & Hall, November 1997.
7. A. J. Galloway and W. J. Stoddart. An operational semantics for ZCCS. In M. Hinchey and S. Liu, editors, the IEEE International Conference on Formal Engineering Methods (ICFEM'97), pages 272-282, Hiroshima, Japan, November 1997. IEEE Computer Society Press.
8. I. J. Hayes and B. P. Mahony. Using units of measurement in formal specifications. Formal Aspects of Computing, 7(3), 1995.
9. I. J. Hayes and M. Utting. Coercing real-time refinement: A transmitter. In D. J. Duke and A. S. Evans, editors, BCS-FACS Northern Formal Methods Workshop, Electronic Workshops in Computing. Springer Verlag, 1997.
10. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985.
11. B. Mahony and J.S. Dong. Network Topology and a Case Study in TCOZ. In J. Bowen, A. Fett, and M. Hinchey, editors, The 11th International Conference of Z Users, volume 1493 of Lecture Notes in Computer Science, pages 308-327, Berlin, Germany, September 1998. Springer-Verlag.
12. B. Mahony and J.S. Dong. Sensors and Actuators: Process Control in TCOZ. Technical Report 98-38, Mathematical and Information Sciences, Commonwealth Scientific and Industrial Research Organisation (CSIRO), Australia, 1998.
13. B. P. Mahony and J.S. Dong. The semantics of TCOZ. Technical Report 97-24, Mathematical and Information Sciences, Commonwealth Scientific and Industrial Research Organisation (CSIRO), Australia, 1997.
14. B. P. Mahony and J.S. Dong. Blending Object-Z and Timed CSP: An introduction to TCOZ. In The 20th International Conference on Software Engineering (ICSE'98), pages 95-104, Kyoto, Japan, April 1998. IEEE Computer Society Press.
15. O. Nierstrasz. Active objects in Hybrid. In Proc. 2nd ACM Conf. on Object-Oriented Programming: Systems, Languages and Applications (OOPSLA'87), 1987.
16. S. Schneider and J. Davies. A brief history of Timed CSP. Theoretical Computer Science, 138, 1995.
17. M. Shaw. Beyond objects. ACM Software Engineering Notes, 20(1), January 1995.
18. G. Smith. A semantic integration of Object-Z and CSP for the specification of concurrent systems. In Proceedings of FME'97: Industrial Benefit of Formal Methods, Graz, Austria, September 1997. Springer-Verlag.
19. K. Taguchi and K. Araki. The State-Based CCS Semantics for Concurrent Z Specification. In M. Hinchey and S. Liu, editors, the IEEE International Conference on Formal Engineering Methods (ICFEM'97), pages 283-292, Hiroshima, Japan, November 1997. IEEE Computer Society Press.