The Reference Model of Open Distributed Processing: Foundations, experience and applications
Computer Standards & Interfaces
Hi-index | 0.00 |
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.