Abstract
The final chapter of this part considers more complex Object-Z specifications, in particular ones that involve objects and promotions of their operations. Specifications consisting of multiple classes enable a wide range of more complex refinements, by allowing (for example) classes to be split or merged. This chapter investigates how such refinements can be verified, and concludes with an investigation of compositionality of refinement in Object-Z.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bonsangue, M., Kok, J., & Sere, K. (1998). An approach to object-orientation in action systems. In J. Jeuring (Ed.), Mathematics of Program Construction (MPC’98). Lecture Notes in Computer Science: Vol. 1422 (pp. 68–95). Berlin: Springer.
Bonsangue, M., Kok, J., & Sere, K. (1999) Developing object-based distributed systems. In Ciancarini et al. [3] (pp. 19–34).
Ciancarini, P., Fantechi, A., & Gorrieri, R. (Eds.) (1999). Formal Methods for Open Object-Based Distributed Systems. Dordrecht: Kluwer Academic.
Goldsack, S. J., Lano, K., & Dürr, E. H. (1996). Annealing and data decomposition in VDM++. ACM SIGPLAN Notices, 31(4), 32–38.
Lano, K., & Goldsack, S. Refinement of distributed object systems. In Najm and Stefani [6] (pp. 99–114).
Najm, E. & Stefani, J. B. (Eds.) (1996). First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems, Paris, March 1996. London: Chapman & Hall.
Smith, G. (1995). A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing, 7(3), 289–313.
Smith, G. (2000). The Object-Z Specification Language. Dordrecht: Kluwer Academic.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag London
About this chapter
Cite this chapter
Derrick, J., Boiten, E.A. (2014). Class Refinement. In: Refinement in Z and Object-Z. Springer, London. https://doi.org/10.1007/978-1-4471-5355-9_17
Download citation
DOI: https://doi.org/10.1007/978-1-4471-5355-9_17
Publisher Name: Springer, London
Print ISBN: 978-1-4471-5354-2
Online ISBN: 978-1-4471-5355-9
eBook Packages: Computer ScienceComputer Science (R0)