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

  • Authors:
  • Chris Taylor;John Derrick;Eerke Boiten

  • Affiliations:
  • -;-;-

  • Venue:
  • ICFEM '00 Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 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.