Coupling Schemas: Data Refinement and View(point) Composition

Abstract

We define the notion of a coupling schema in Z, and describe the role it plays in data refinement, view composition, and viewpoint unification. In each case coupling schemas relate several state schemas. In data refinement they occur as retrieve relations (abstraction schemas). In specification by views, coupling schemas provide a link between the various views. For viewpoint specification, coupling schemas are closely related to correspondence relations between state schemas in the viewpoints. Simple properties of coupling schemas (e.g. totality, functionality, and consistency) are shown to have important consequences in the techniques listed, and to be very useful for exhibiting the relations between these techniques. It turns out that views and viewpoints can both be seen as variations on, or even as generalisations of, data refinement.

Contributors

Eerke Boiten

Conference

Publication date: July 1997

Publication date (Print): July 1997

Pages: 1-18

Affiliations

Computing Laboratory, University of Kent

Canterbury, CT2 7NF, U.K.

Phone: [phone]

Article

DOI: 10.14236/ewic/FA1997.2

Copyright statement: © Eerke Boiten et al. Published by BCS Learning and Development Ltd. Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Proceedings of the 2nd BCS-FACS Northern Formal Methods

Conference acronym: FM

Conference number: 2

Conference location: Ilkley

Conference date: 14-15 July 1997

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Northern Formal Methods

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FA1997.2

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing