An analysis of total correctness refinement models for partial relation semantics I

Simple item page
dc.contributor.authorDeutsch, Moshe
dc.contributor.authorHenson, Martin C.
dc.contributor.authorReeves, Steve
dc.date.accessioned2008-11-26T01:16:15Z
dc.date.available2008-11-26T01:16:15Z
dc.date.issued2003
dc.description.abstractThis is the first of a series of papers devoted to the thorough investigation of (total correctness) refinement based on an underlying partial relational model. In this paper we restrict attention to operation refinement. We explore four theories of refinement based on an underlying partial relation model for specifications, and we show that they are all equivalent. This, in particular, sheds some light on the relational completion operator (lifted-totalisation) due to Wookcock which underlines data refinement in, for example, the specification language Z. It further leads to two simple alternative models which are also equivalent to the others.en_US
dc.format.mimetypeapplication/pdf
dc.identifier.citationDeutsch, M., Henson, M.C. & Reeves, S. (2003). An analysis of total correctness refinement models for partial relation semantics I. The Logic Journal of the IGPL, 11(3), 285-316.en_US
dc.identifier.doi10.1093/jigpal/11.3.285en_US
dc.identifier.urihttps://hdl.handle.net/10289/1469
dc.language.isoen
dc.publisherOxford University Pressen_US
dc.relation.isPartOfLogic journal of the Interest Group in Pure and Applied Logicsen_NZ
dc.relation.urihttp://jigpal.oxfordjournals.org/cgi/content/abstract/11/3/319en_US
dc.rightsThis article has been published in the journal: The Logic Journal of the IGPL. Copyright ©2003 Oxford University Press.en_US
dc.subjectoperation refinementen_US
dc.subjectspecification languageen_US
dc.subjectspecification logicen_US
dc.titleAn analysis of total correctness refinement models for partial relation semantics Ien_US
dc.typeJournal Articleen_US
pubs.begin-page285en_NZ
pubs.editionMayen_NZ
pubs.elements-id29306
pubs.end-page316en_NZ
pubs.issue3en_NZ
pubs.volume11en_NZ
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
An analysis of total correctness refinement models for partial relation memantics 1.pdf
Size:
435.39 KB
Format:
Adobe Portable Document Format
Thumbnail Image
Name: An analysis of total correctness refinement models for partial relation memantics 1.pdf
Size: 435.39 KB
Kind: Adobe PDF
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.79 KB
Format:
Item-specific license agreed upon to submission
Description:
Name: license.txt
Size: 1.79 KB
Kind: License
Collections
Computing and Mathematical Sciences Papers