Skip to main content

A Case Study in Partial Specification: Consistency and Refinement for Object-Z

Taylor, C. and Derrick, J. and Boiten, E. (2000) A Case Study in Partial Specification: Consistency and Refinement for Object-Z. In: Third IEEE International Conference on Formal Engineering Methods. IEEE, pp. 177-185. ISBN 0-7695-0822-7. (doi:10.1109/ICFEM.2000.873818) (KAR id:21968)

PDF Author's Accepted Manuscript
Language: English
Download (187kB) Preview
[thumbnail of icfem.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL


The 'viewpoint' approach, in which a system is described by several partial specifications, has been proposed as a way of making complex computing systems more understandable. The ISO's Open Distributing Processing (ODP) framework is an architecture for open distributed systems, involving five named viewpoints. This paper compares two partial specifications of a lending library-from the ODP's Enterprise and Information Viewpoints-and discusses the relation between them. Both specifications are written in Object-Z, an object-oriented variant of Z. Examining how such partial specifications might be unified raises broader issues of refinement and mutual consistency of partial specifications in Object-Z.

Item Type: Book section
DOI/Identification number: 10.1109/ICFEM.2000.873818
Additional information: IEEE, Comp Soc; IEEE, Comp Soc, Tech Comm Complex Comput; Univ York
Uncontrolled keywords: Partial specification, Object-Z, Open Distributing Processi ng, Refinements, Viewpoints
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
T Technology
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Eerke Boiten
Date Deposited: 30 Aug 2009 17:26 UTC
Last Modified: 16 Feb 2021 12:32 UTC
Resource URI: (The current URI for this page, for reference purposes)
Boiten, E.:
  • Depositors only (login required):


Downloads per month over past year