Bujorianu, Marius C. and Boiten, E.A. (2004) Towards Correspondence Carrying Specifications. In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds. Algebraic Methodology and Software Technology. LNCS, 3116. Springer pp. 57-71. ISBN 3-540-22381-9 .
| The full text of this publication is not available from this repository. (Contact us about this Publication) | |
| Official URL http://dx.doi.org/10.1007/b98770 |
Abstract
In this work we study the unification of heterogeneous partial specifications using category theory. We propose an alternative to institution morphisms, which we call (abstract) correspondences carrying specifications. Our methodology is illustrated using a categorical specification style inspired by the state-and-operations style of Z as well as a categorical unification procedure.
| Item Type: | Conference or workshop item (Paper) |
|---|---|
| Uncontrolled keywords: | viewpoints, category theory, UML, Object Z, process algebra |
| Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
| Divisions: | Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group |
| Depositing User: | Mark Wheadon |
| Date Deposited: | 24 Nov 2008 18:02 |
| Last Modified: | 08 May 2012 13:51 |
| Resource URI: | http://kar.kent.ac.uk/id/eprint/14132 (The current URI for this page, for reference purposes) |
- Depositors only (login required):
