How to combine Z with a process algebra

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

Volumn 1493, Issue , 1998, Pages 5-25

  Fischer, Clemens ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; SEMANTICS; SPECIFICATION LANGUAGES;

BEHAVIOURAL SEMANTICS; COMMUNICATING AGENTS; FUNCTIONAL ASPECTS; PROCESS ALGEBRAS; Z SPECIFICATIONS;

FORMAL SPECIFICATION;

EID: 84957698757     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0056022     Document Type: Conference Paper

References (40)

1. J.-R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996. 15
2. L. Aceto and M. Hennessy. Adding action refinement to a finite process algebra. Information and Computation, 115(2):179-247, December 1994. 22
3. M. Benjamin. A message passing system: an example of combining CSP and Z. In J.E. Nicholls, editor, Z User Workshop, Oxford 1989, Workshops in Computing, pages 221-228. Springer-Verlag, 1990. 20
4. M.J. Butler and C.C. Morgan. Action systems, unbounded nondeterminism, and infinite traces. Formal Aspects of Computing, 7:37-53, 1995. 20
5. R.J.R. Back and K. Sere. Stepwise refinement of action systems. Structured Programming, 12:17-30, 1991. 15
6. T. Bolognesi, J. van de Lagemaat, and C. Vissers, editors. LOTOSphere: Software Development with LOTOS. Kluwer Academic Publishers, 1995. 20
7. J. Derrick, H. Bowman, E.A. Boiten, and M.W.A. Steen. Comparing LOTOS and Z refinement relations. In R. Gotzhein and J. Bredereke, editors, Proceedings FORTE’96, pages 501-516, 1996. 20
8. J. Derrick, E.A. Boiten, H. Bowman, and M.W.A. Steen. Weak refinement in Z. In J.P. Bowen and M.G. Hinchey, editors, ZUM’97: The Z Formal Specification Notation, volume 1212 of Lecture Notes in Computer Science, pages 369-388. Springer-Verlag, 1997. 12, 16
9. E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976. 15
10. 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, 8, 13, 16
11. A.S. Evans. An improved recipe for specifying reactive systems in Z. In J.P. Bowen and M.G. Hinchey, editors, ZUM’97: The Z Formal Specification Notation, volume 1212 of Lecture Notes in Computer Science, pages 275-294. Springer-Verlag, 1997. 20
12. Formal Systems (Europe) Ltd. Failures-Divergence Refinement: FDR2 User Manual, Oct 1997. 11
13. C. Fischer and S. Hallerstede. Data-Refinement in CSP-OZ. Technical Report TRCF-97-3, University of Oldenburg, June 1997. 12, 17, 18, 21
14. C. Fischer. Combining CSP and Z. Technical Report TRCF-97-1, University of Oldenburg, January 1997. 6, 11, 13
15. C. Fischer. CSP-OZ: A combination of Object-Z and CSP. In H. Bowmann and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS ’97), volume 2, pages 423-438. Chapman & Hall, 1997. 6, 8, 11, 13, 17, 18, 21
16. A.J. Galloway. 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. 10, 11, 13, 14, 16, 17, 19, 21
17. U. Goltz, R. Gorrieri, and A. Rensink. Comparing syntactic and semantic action refinement. Information and Computation, 125(2):118-143, 15 March 1996. 22
18. A.J. Galloway and H. Habrias. Integrating NIAM, JSD, CCS and Z. Rapport de Recherche IRIN - 130, Université de Nantes, Institut de Recherche en Informatique de Nantes, France, 1996. 20
19. A.J. Galloway and W. Stoddart. An operational semantics for ZCCS. In M.G. Hinchey and Shaoying Liu, editors, International Conference of Formal Engineering Methods (ICFEM). IEEE Computer Society Press, 1997. 6, 19, 20
20. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, 1987. 15
21. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985. 6
22. M. Heisel and C. Sühl. Formal specification of safety-critical software with Z and real-time CSP. In E. Schoitsch, editor, Proc. 15th International Conference on Computer Safety, Reliability and Security, pages 31-45, 1997. 20
23. He Jifeng. Process refinement. In J. McDermid, editor, The Theory and Practice of Refinement. Butterworths, 1989. 20
24. C.B. Jones. Systematic Software Development using VDM. Prentice Hall, 1990. 15
25. M.B. Josephs. A state-based approach to communicating processes. Distributed Computing, 3:9-18, 1988. 20
26. 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. IEEE Computer Society Press, April 1998. 8, 11, 13, 16, 21
27. R. Milner. Communication and Concurrency. Prentice Hall International Series in Computer Science, 1989. 6
28. C.C. Morgan. Programming from Specifications. Prentice Hall International Series in Computer Science, 1990. 20
29. A. Mota and A. Sampaio. Model-checking CSP-Z. In Proc. European Joint Conference on Theory and Practice of Software, volume 1382 of Lecture Notes in Computer Science, pages 205-220. Springer-Verlag, 1998. 11
30. J. Nicholls, Z notation. Draft Version 1.2, ISO, September 1995. 5
31. A. Rensink and R. Gorrieri. Action refinement as an implementation relation. In M. Bidoit and M. Dauchet, editors, TAPSOFT ’97: Theory and Practice of Software Development, volume 1214 of Lecture Notes in Computer Science, pages 772-786. Springer-Verlag, 1997. 22
32. A.W. Roscoe, J.C.P. Woodcock, and L. Wulf. Non-interference through determinism. In D. Gollmann, editor, ESORICS 94, volume 875 of Lecture Notes in Computer Science, pages 33-54. Springer-Verlag, 1994. 6, 9, 11, 13, 15, 21
33. G. Smith and J. Derrick. Refinement and verification of concurrent systems specified in Object-Z and CSP. In M.G. Hinchey and Shaoying Liu, editors, International Conference of Formal Engineering Methods (ICFEM), pages 293-302. IEEE Computer Society Press, 1997. 12, 21
34. G. Smith. A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing, 7:30-65, 1995. 13, 18
35. 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, FME’97: Industrial Applications and Strengthened Foundations of Formal Methods, volume 1313 of Lecture Notes in Computer Science, pages 62-81. Springer-Verlag, 1997. 6, 8, 11, 13, 16, 17, 18, 21
36. J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992. 5, 16
37. B. Strulo. How firing conditions help inheritance. In J.P. Bowen and M.G. Hinchey, editors, ZUM ’95: The Z Formal Specification Notation, volume 967 of Lecture Notes in Computer Science, pages 264-275. Springer-Verlag, 1995. 5, 17
38. K. Taguchi and K. Araki. The state-based CCS semantics for concurrent Z specification. In M.G. Hinchey and Shaoying Liu, editors, International Conference of Formal Engineering Methods (ICFEM), pages 283-292. IEEE Computer Society Press, 1997. 6, 9, 11, 13, 14, 16, 17, 21
39. J.C.P. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. Prentice-Hall International Sereies in Computer Science, 1996. 12
40. J.C.P. Woodcock and C.C. Morgan. Refinement of state-based concurrent systems. In D. Bjørnjer, C.A.R. Hoare and H. Langmaack, editors, VDM ’90: VDM and Z - Formal Methods in Software Development, volume 428 of Lecture Notes in Computer Science, pages 340-351. Springer-Verlag, 1990. 20