Consistency and refinement for partial specification in Z

Boiten, Eerke and Derrick, John and Bowman, Howard and Steen, Maarten (1996) Consistency and refinement for partial specification in Z. In: UNSPECIFIED. (Full text available)

PDF
Download (216kB)
[img]
Preview
Postscript
Download (186kB)
[img]
Preview

Abstract

This paper discusses theoretical background for the use of Z as a language for partial specification, in particular techniques for checking consistency between viewpoint specifications. The main technique used is unification, i.e. finding a (candidate) least common refinement. The corresponding notion of consistency between specifications turns out to be different from the known notions of consistency for single Z specifications. A key role is played by correspondence relations between the data types used in the various viewpoints. Note: extended version available as /pubs/1999/607/.

Item Type: Conference or workshop item (UNSPECIFIED)
Uncontrolled keywords: viewpoints, Z, consistency
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 03 Sep 2009 21:03
Last Modified: 25 Jun 2014 13:35
Resource URI: http://kar.kent.ac.uk/id/eprint/21388 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year