Abstract specification in object-Z and CSP

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

Volumn 2495, Issue , 2002, Pages 108-119

  Smith, Graeme ^a   Derrick, John ^b  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; CONSTRAINT SATISFACTION PROBLEMS; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS;

ABSTRACT SPECIFICATIONS; BLOCKING MODELS; LEVELS OF ABSTRACTION; NUMBER OF INTEGRATIONS; OBJECT Z; PROCESS ALGEBRAS; STATE BASED;

FORMAL METHODS;

EID: 84948970389     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36103-0_14     Document Type: Conference Paper

References (14)

1. MJ. Butler. Refinement and decomposition of value-passing action systems. In E. Best, editor, International Conference on Concurrency Theory (CONCUR’93), volume 715 of Lecture Notes in Computer Science, pages 217–232. Springer-Verlag, 1993.
2. J. Derrick and E. Boiten. Refinement in Z and Object-Z, Foundations and Advanced Applications. Springer-Verlag, 2001.
3. J. Derrick and G. Smith. Structural refinement in Object-Z/CSP. In W. Grieskamp, T. Santen, and B. Stoddart, editors, 2nd International Conference on Integrated Formal Methods (IFM’00), volume 1945 of Lecture Notes in Computer Science, pages 194–213. Springer-Verlag, 2000.
4. R. Duke and G. Rose. Formal Object-Oriented Specification using Object-Z. MacMillan, 2000.
5. C. Fischer. CSP-OZ-a combination of CSP and Object-Z. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS’97), pages 423–438. Chapman & Hall, 1997.
6. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
7. B.P. Mahony and J.S. Dong. Blending Object-Z and Timed CSP: An introduction to TCOZ. In 20th International Conference on Software Engineering (ICSE’98), pages 95–104. IEEE Computer Society Press, 1998.
8. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
9. A.W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998.
10. G. Smith and J. Derrick. Refinement and verification of concurrent systems specified in Object-Z and CSP. In M.G. Hinchey and Shaoying Lui, editors, First International Conference on Formal Engineering Methods (ICFEM’97), pages 293–302. IEEE Computer Society Press, 1997.
11. G. Smith and J. Derrick. Specification, refinement and verification of concurrent systems–an integration of Object-Z and CSP. Formal Methods in System Design, 18(3):249–284, 2000.
12. G. Smith. A semantic integration of Object-Z and CSP for the specification of concurrent systems. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, Formal Methods Europe (FME’97), volume 1313 of Lecture Notes in Computer Science, pages 62–81. Springer-Verlag, 1997.
13. G. Smith. The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, 2000.
14. J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 2nd edition, 1992.