Boiten, E. and Derrick, J. and Bowman, H. and Steen, M. (1996) Consistency and refinement for partial specification in Z. In: UNSPECIFIED.
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:||08 Jun 2012 14:35|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/21388 (The current URI for this page, for reference purposes)|
- Depositors only (login required):