Refinement in Z and Object-Z: Foundations and Advanced Applications

by John Derrick, Eerke A. Boiten

Overview

This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.

Product Details

ISBN-13:	9781447153559
Publisher:	Springer-Verlag New York, LLC
Publication date:	08/30/2013
Sold by:	Barnes & Noble
Format:	eBook
Pages:	492
File size:	8 MB

Table of Contents

I. Refining Z Specifications.- 1. An Introduction to Z.- 2. Simple Refinement.- 3. Data Refinement and Simulations.- 4. Refinement in Z.- 5. Calculating Refinements.- 6. Promotion.- 7. Testing and Refinement.- 8. A Single Simulation Rule.- II. Interfaces and Operations: ADTs Viewed in an Environment.- 9. Refinement, Observation and Modification.- 10. IO Refinement.- 11. Weak Refinement.- 12. Non-Atomic Refinement.- 13. Case Study: A Digital and Analogue Watch.- 14. Further Generalisations.- III. Object-Oriented Refinement.- 15. An Introduction to Object-Z.- 16. Refinement in Object-Z.- 17. Class Refinement.- IV. Modelling State and Behaviour.- 18. Combining CSF and Object-Z.- 19. Refining CSP and Object-Z Specifications.- 20. Conclusions.- Glossary of Notation.

Editorial Reviews

From the reviews of the second edition:

“This is a slightly revised edition of a monograph that was published in 2001 … . It contains a mixture of original text and revised material from research papers published by the authors in various venues. … suitable for researchers in this same field who are already competent in Z.” (B. Belkhouche, Computing Reviews, January, 2014)

From the Publisher