A semantic integration of object-Z and CSP for the specification of concurrent systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1313, Issue , 1997, Pages 62-81

  Smith, Graeme ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS;

COMPLEX DATA STRUCTURES; CONCURRENT SYSTEMS; OBJECT ORIENTED; OBJECT Z; PROCESS ALGEBRAS; PROCESS INTERACTION; SEMANTIC INTEGRATION; STATE BASED;

FORMAL METHODS;

EID: 84957380343     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63533-5_4     Document Type: Conference Paper

References (28)

1. M. Benjamin. A message passing system. An example of combining CSP and Z. In J.E. NichoUs, editor, 4th Z Users Workshop, Workshops in Computing, pages 221-228. Springer-Verlag, 1989.
2. T. Botognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14(1):25-59, 1988.
3. S.D. Brookes, C.A.R. Hoare, and A.W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560-599, 1984.
4. S.D. Brookes and A.W. Roscoe. An improved failures model for communicating processes. In Pittsburgh Symposium on Corrcurrency, volume 197 of Lecture Notes in Computer Science, pages 281-305. Springer-Verlag, 1985.
5. M.J. Butler and C.C. Morgan. Action systems, unbounded nondeterminism, and infinite traces. Formal Aspects of Computing, 7(1):37-53, 1995.
6. J. Derrick, H. Bowman, and M. Steen. Viewpoints and objects. In J. Bowen and M. Hinchey, editors, 9th International Conference of Z Users (ZUM'95), volume 967 of Lecture Notes in Computer Science, pages 449-468. Springer-Verlag, 1995.
7. J. Dong, R. Duke, and G. Rose. An object-oriented approach to the semantics of programming languages. In G. Gupta, editor, 17th Annual Computer Science Conference (ACSC'17), pages 767-775, 1994.
8. D. Duke and R. Duke. Towards a semantics for Object-Z. In D. Bjcrner, C.A.R. Hoare, and H. Langmaack, editors, VDM'90: VDM and Z!, volume 428 of Lecture Notes in Computer Science, pages 242-262. Springer-Verlag, 1990.
9. 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.
10. H. Ehrich, J. Goguen, and A. Sernadas. A categorical theory of objects as observed processes. In J.W. Bakker, W.P. de Roever, and G. Rozenberg, editors, Foundations of Object-Oriented Languages, volume 489 of Lecture Notes in Computer Science, pages 203-228. Springer-Verlag, 1991.
11. M. Nielsen et al. The RAISE language, methods and tools. Formal Aspects of Computing, 1:85-114, 1989.
12. J. He. Process refinement. In J. McDermid, editor, The Theory and Practice of Refinement. Butterworths, 1989.
13. M. Heisel and C. Sfilfl. Formal specification of safety-critical software with Z and real-time CSP. In E. Schoitsch, editor, Proceedings 15th International Conference on Computer Safety, Reliability and Security, pages 31-45. Springer, 1996.
14. C.A.R. Hoare. Communicating Sequential Processes. Series in Computer Science. Prentice-Hall International, 1985.
15. ITU Recommendation X.901-904. Open Distributed Processing - Reference Model - Parts 1-4, July 1995.
16. C.B. Jones. Systematic Software Development using VDM. Series in Computer Science. Prentice-Hall International, 1986.
17. M.B. Josephs. A state-based approach to communicating processes. Distributed Computing, 3:9-18, 1988.
18. R. Milner. Communication and Concurrency. Series in Computer Science. Prentice-Hall International, 1989.
19. A.W. Roscoe. An alternative order for the failures model. Journal of Logic and Computation, 3(2), 1993.
20. A.W. Roscoe. Unbounded nondeterminism in CSP. Journal of Logic and Computation, 3(2), 1993.
21. M. Shaw and D. Garlan. Formulations and formalisms in software architecture. In J. van Leeuwen, editor, Computer Science Today: Recent Trends and Developments, volume 1000 of Lecture Notes in Computer Science, pages 307-323. Springer-Verlag, 1996.
22. th International Conference of Z Users, volume 967 of Lecture Notes in Computer Science, pages 276-295. Springer-Verlag, 1995.
23. G. Smith. A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing, 7(3):289-313, 1995.
24. G. Smith and J. Derrick. Refinement and verification of concurrent systems specified in Object-Z and CSP. Submitted for publication, 1997.
25. J.M. Spivey. The Z Notation: A Reference Manual (2nd Ed.). Series in Computer Science. Prentice-Hail International, 1992.
26. F.W. Vaandrager. Process algebra semantics for POOL. Technical Report CSR8629, Centre for Mathematics and Computer Science, Amsterdam, the Netherlands, 1991.
27. J.C.P. Woodcock and C.C. Morgan. Refinement of state-based concurrent systems. In D. Bjcrner, C.A.R. Hoare, and H. Langmaack, editors, VDM'90:VDM and Z!, volume 428 of Lecture Notes in Computer Science. Springer-Verlag, 1990.
28. A. Yonezawa and M. Tokoro, editors. Object-Oriented Concurrent Programming. MIT Press, 1987.