Deep semantic links of TCSP and object-Z: TCOZ approach

Formal Aspects of Computing

Volumn 13, Issue 2, 2002, Pages 142-160

  Mahony, Brendan ^a   Dong, Jin Song ^b  

^a DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION   (Australia)

^b NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

Integrated Formal Methods; Object Z; TCOZ; TCSP

Indexed keywords

MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SOFTWARE ENGINEERING;

INTEGRATED FORMAL METHODS; OBJECT-Z; TCOZ; TCSP;

COMPUTER PROGRAMMING LANGUAGES;

EID: 21144440298     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650200004     Document Type: Conference Paper

References (28)

1. [AGT99] Araki, K., Galloway, A. and Taguchi, K. editors: IFM'99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999.
2. [Dav91] Davies, J.: Specification and Proof in Real-Time Systems. PhD thesis, Oxford University Computing Laboratory, Programming Research Group, 1991.
3. [DuR00] Duke, R. and Rose, G.: Formal Object Oriented Specification Using Object-Z. Cornerstones of Computing. Macmillan, March 2000.
4. [Fis00] Fischer, C.: Combination and Implementation of Processes and Data: From CSP-OZ to Java. PhD thesis, University of Oldenburg, Gemany, January 2000.
5. [FiW99] Fischer, C. and Wehrheim, H.: Model-checking CSP-OZ specifications with FDR. In Araki et al. [AGT99].
6. [Gal96] Galloway, A. J.: Integrated Formal Methods with Richer Methodological Profiles for the Development of Multi-Perspective Systems. PhD thesis, University of Teesside, School of Computing and Mathematics, August 1996.
7. [GrR95] Griffiths, A. and Rose, G.: A semantic foundation for object identity in formal specification. Object-Oriented Systems, 2:195-215, 1995.
8. [GaS97] Galloway, A. J. and Stoddart, W. J.: An operational semantics for ZCCS. In Hinchey and Liu [HiL97], pages 272-282.
9. [He89] He, J.: Process simulation and refinement. Formal Aspects of Computing, 1(3):229-241, 1989.
10. [HiL97] Hinchey, M. and Liu, S. editors: In IEEE International Conference on Formal Engineering Methods (ICFEM'97), Hiroshima, Japan, November 1997. IEEE Computer Society Press.
11. [Hoa85] Hoare, C. A. R.: Communicating Sequential Processes. Prentice-Hall International, 1985.
12. [Hoa99] Hoare, C. A. R.: Formal methods observations. Conference overview. In World Congress on Formal Methods, FM'99, http://www.cert.fr/fm99/ conferen.htm, 1999.
13. [MaD98] Mahony, B. P. and Dong, J. S.: Blending Object-Z and Timed CSP: an introduction to TCOZ. In K. Futatsugi, R. Kemmerer, and K. Torii, editors, 20th International Conference on Software Engineering (ICSE'98), pages 95-104, Kyoto, Japan, April 1998. IEEE Press.
14. [MaD99] Mahony, B. P. and Dong, J. S.: Overview of the semantics of TCOZ. In Araki et al. [AGT99], pages 66-85.
15. [Mor94] Morgan, C. C.: Programming from Specifications, second edition. Prentice-Hall, 1994.
16. [MRS95] Mislove, M., Roscoe, A. and Schneider, S.: Fixed points without completeness. Theoretical Computer Science, 138:273-314, 1995.
17. [Ros97] Roscoe, A. W.: Theory and Practice of Concurrency. International Series in Computer Science. Prentice-Hall, 1997.
18. [ReR88] Reed, G. and Roscoe, A.: A timed model for communicating sequential processes. Theoretical Computer Science, 58:249-261, 1988.
19. [ScD95] Schneider, S. and Davies, J.: A brief history of Timed CSP. Theoretical Computer Science, 138, 1995.
20. [SmD01] Smith, G. and Derrick, J.: Specification, refinement and verification of current systems: an integration of Object-Z and CSP. Formal Methods in System Design, 18:249-284, 2001.
21. [Smi95a] Smith, G.: Extending W for Object-Z. In J. P. Bowen and M. G. Hinchey, editors, Proceedings of the 9th Annual Z-User Meeting, pages 276-295. Springer-Verlag, September 1995.
22. [Smi95b] Smith, G.: A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing, 7(3):289-313, 1995.
23. [Smi97] Smith, G. : A semantic integration of Object-Z and CSP for the specification of concurrent systems. In J. Fitzgerald, C. Jones, and P. Lucas, editors, Proceedings of FME'97: Industrial Benefit of Formal Methods, Graz, Austria, September 1997. Springer-Verlag.
24. [Smi00] Smith, G.: The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, 2000.
25. [Spi88] Spivey, J. M.: Understanding Z: A Specification Language and its Formal Semantics, volume 3 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, UK, 1988.
26. [Suh99] Suhl, C.: RT-Z: an integration of Z and timed CSP. In Araki et al. [AGT99].
27. [TaA97] Taguchi, K. and Araki, K.: The state-based CCS semantics for concurrent Z specification. In Hinchey and Liu [HiL97], pages 283-292.
28. [Val95] Valentine, S. H.: Equal rights for schemas in Z. In J. P. Bowen and M. G. Hinchey, editors, ZUM'95: The Z Formal Specification Notation, number 967 in Lecture Notes in Computer Science, pages 203-223, Limerick, Ireland, September 1995. Springer-Verlag.