Weak refinement in Z

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

Volumn 1212, Issue , 1997, Pages 369-388

  Derrick, John ^a   Boiten, Eerke ^a   Bowman, Howard ^a   Steen, Maarten ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Concurrency; Distributed Systems; Internal Operations; Process Algebras; Refinement

Indexed keywords

USER INTERFACES;

CONCURRENCY; DISTRIBUTED SYSTEMS; INTERNAL OPERATIONS; PROCESS ALGEBRAS; REFINEMENT;

FORMAL SPECIFICATION;

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

References (21)

1. E. Boiten, J. Derrick, H. Bowman, and M. Steen. Consistency and refinement for partial specification in Z. In M.-C. Gaudel and J. Woodcock, editors, FME'96: Industrial Benefit of Formal Methods, Third International Symposium of Formal Methods Europe, volume 1051 of Lecture Notes in Computer Science, pages 287-306. Springer-Verlag, March 1996.
2. T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(l):25-59, 1988.
3. E. Brinksma. A theory for the derivation of tests. In S. Aggarwal and K. Sabnani, editors, Protocol Specification, Testing and Verification, VIII, pages 63-74, Atlantic City, USA, June 1988. North-Holland.
4. E. Brinksma, G. Scollo, and C. Steenbergen. Process specification, their implementation and their tests. In B. Sarikaya and G. v. Bochmann, editors, Protocol Specification, Testing and Verification, VI, pages 349-360, Montreal, Canada, June 1986. North-Holland.
5. E. Cusack. Object oriented modelling in Z for Open Distributed Systems. In J. de Meer, V. Heymer, and R. Roth, editors, IFIP TC6 International Workshop on Open Distributed Processing, pages 167-178, Berlin, Germany, September 1991. North-Holland.
6. E. Cusack and G. H. B. Rafsanjani. ZEST. In S. Stepney, R. Barden, and D. Cooper, editors, Object Orientation in Z, Workshops in Computing, pages 113-126. Springer-Verlag, 1992.
7. E. Cusack and C. Wezeman. Deriving tests for objects specified in Z. In J. P. Bowen and J. E. Nicholls, editors, Seventh Annual Z User Workshop, pages 180-95, London, December 1992. Springer-Verlag.
8. J. Derrick, H. Bowman, E. Boiten, and M. Steen. Comparing LOTOS and Z refinement relations. In FORTE/PSTV'96, pages 501-516, Kaiserslautern, Germany, October 1996. Chapman k, Hall.
9. J. Derrick, E.A.Boiten, H. Bowman, and M. Steen. Supporting ODP - translating LOTOS to Z. In First IFIP International workshop on Formal Methods for Open Object-based Distributed Systems, Paris, March 1996. Chapman & Hall.
10. M. Hennessy. Algebraic Theory of Processes. MIT Press, 1988.
11. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
12. ITU Recommendation X.901-904 - ISO/IEC 10746 1-4. Open Distributed Processing - Reference Model - Parts l-4, July 1995.
13. L. Lamport. TLZ. In J.P. Bowen and J.A. Hall, editors, ZUM'94, Z User Workshop>, pages 267-268, Cambridge, United Kingdom, June 1994.
14. P. Mataga and P. Zave. Formal specification of telephone features. In J. P. Bowen and J. A. Hall, editors, Eighth Annual Z User Workshop, pages 29-50, Cambridge, July 1994. Springer-Verlag.
15. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
16. G. H. B. Rafsanjani. ZEST - Z Extended with Structuring: A users's guide. Technical report, BT, June 1994.
17. S. Rudkin. Modelling information objects in Z. In J. de Meer, V. Heymer, and R. Roth, editors, IFIP TC6 International Workshop on Open Distributed Processing, pages 267-280, Berlin, Germany, September 1991. North-Holland.
18. J. M. Spivey. The Z notation: A reference manual. Prentice Hall, 1989.
19. B. Strulo. How firing conditions help inheritance. In J. P. Bowen and M. G. Hinchey, editors, Ninth Annual Z User Workshop, LNCS 967, pages 264-275, Limerick, September 1995. Springer-Verlag.
20. C. Wezeman and A. J. Judge. Z for managed objects. In J. P. Bowen and J. A. Hall, editors, Eighth Annual Z User Workshop, pages 108-119, Cambridge, July 1994. Springer-Verlag.
21. J. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. Prentice Hall, 1996.