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

Taylor, Chris and Derrick, John and Boiten, Eerke (2000) A Case Study in Partial Specification: Consistency and Refinement for Object-Z. In: 3rd IEEE International Conference on Formal Engineering Methods, Sep 04-06, 2000, York, England. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not available from this repository. (Contact us about this Publication)
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: Conference or workshop item (Paper)
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: T Technology
Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Divisions: Faculties > Science Technology and Medical Studies > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 30 Aug 2009 17:26
Last Modified: 13 May 2014 08:33
Resource URI: https://kar.kent.ac.uk/id/eprint/21968 (The current URI for this page, for reference purposes)
  • Depositors only (login required):