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

Taylor, Chris and Derrick, John and Boiten, Eerke Albert (2000) A Case Study in Partial Specification: Consistency and Refinement for Object-Z. In: 3rd IEEE International Conference on Formal Engineering Methods, Sep 04-06, 2000, York, England. (doi:10.1109/ICFEM.2000.873818) (Full text available)

PDF - Author's Accepted Manuscript
Download (194kB) Preview
[img]
Preview
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: Conference or workshop item (Paper)
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: Faculties > Science Technology and Medical Studies > School of Computing
Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Depositing User: Eerke Boiten
Date Deposited: 30 Aug 2009 17:26
Last Modified: 05 Dec 2015 22:39
Resource URI: https://kar.kent.ac.uk/id/eprint/21968 (The current URI for this page, for reference purposes)
ORCiD (Boiten, Eerke Albert): http://orcid.org/0000-0002-9184-8968
  • Depositors only (login required):

Downloads

Downloads per month over past year

Downloads

Downloads per month over past year