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

Taylor, C. and Derrick, J. and Boiten, E. (2000) A Case Study in Partial Specification: Consistency and Refinement for Object-Z. In: Third IEEE International Conference on Formal Engineering Methods. IEEE, pp. 177-185. ISBN 0-7695-0822-7. (doi:10.1109/ICFEM.2000.873818) (KAR id:21968)

PDF Author's Accepted Manuscript Language: English
Download this file (PDF/194kB)
Request a format suitable for use with assistive technology e.g. a screenreader
Official URL: http://dx.doi.org/10.1109/ICFEM.2000.873818

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 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:	Book section
DOI/Identification number:	10.1109/ICFEM.2000.873818
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:	Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, T Technology
Divisions:	Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Funders:	Institute of Electrical and Electronics Engineers (https://ror.org/01n002310)
Depositing User:	Eerke Boiten
Date Deposited:	30 Aug 2009 17:26 UTC
Last Modified:	12 Jul 2022 10:39 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/21968 (The current URI for this page, for reference purposes)

University of Kent Author Information

Derrick, J..

Creator's ORCID:
CReDIT Contributor Roles:

Boiten, E..

Creator's ORCID:	https://orcid.org/0000-0002-9184-8968
CReDIT Contributor Roles:

Depositors only (login required):

Altmetric

Download Statistics

Total unique views for this document in KAR since July 2020. For more details click on the image.