The Community for Technology Leaders
Formal Engineering Methods, International Conference on (2000)
York, England
Sept. 4, 2000 to Sept. 7, 2000
ISBN: 0-7695-0822-7
pp: 177
Chris Taylor , University of Kent
John Derrick , University of Kent
Eerke Boiten , University of Kent
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.
INDEX TERMS
CITATION

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.
doi:10.1109/ICFEM.2000.873818
89 ms
(Ver 3.3 (11022016))