Consistency and refinement for partial specification in Z

Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1996) Consistency and refinement for partial specification in Z. In: Gaudel, M.C. and Woodcock, Jim, eds. FME'96: Industrial Benefit and Advances in Formal Methods Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 287-306. ISBN 978-3-540-60973-5. E-ISBN 978-3-540-49749-3. (doi:10.1007/3-540-60973-3_93) (KAR id:21388)

PDF Language: English
Download this file (PDF/231kB)	Preview
Request a format suitable for use with assistive technology e.g. a screenreader
Postscript Language: English
Download this file (Postscript/186kB)	Preview
Request a format suitable for use with assistive technology e.g. a screenreader
Official URL: http://dx.doi.org/10.1007/3-540-60973-3_93

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.

Item Type:	Book section
DOI/Identification number:	10.1007/3-540-60973-3_93
Uncontrolled keywords:	viewpoints; Z; consistency; State Consistency; Unification Method; State Schema; Unification Rule; Identity Relation
Subjects:	Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions:	Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User:	Eerke Boiten
Date Deposited:	03 Sep 2009 21:03 UTC
Last Modified:	05 Nov 2024 09:59 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/21388 (The current URI for this page, for reference purposes)

University of Kent Author Information

Boiten, Eerke Albert.

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

Derrick, John.

Creator's ORCID:
CReDIT Contributor Roles:

Bowman, Howard.

Creator's ORCID:	https://orcid.org/0000-0003-4736-1869
CReDIT Contributor Roles:

Steen, Maarten.

Creator's ORCID:
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.