Formal Engineering Methods, International Conference on (2000)
Sept. 4, 2000 to Sept. 7, 2000
Chris Taylor , University of Kent
John Derrick , University of Kent
Eerke Boiten , University of Kent
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.
C. Taylor, E. Boiten and J. Derrick, "A Case Study in Partial Specification: Consistency and Refinement for Object-Z," Formal Engineering Methods, International Conference on(ICFEM), York, England, 2000, pp. 177.