Skip to main content

Towards Correspondence Carrying Specifications

Bujorianu, Marius C. and Boiten, Eerke Albert (2004) Towards Correspondence Carrying Specifications. In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds. Algebraic Methodology and Software Technology 10th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 57-71. ISBN 978-3-540-22381-8. E-ISBN 978-3-540-27815-3. (doi:10.1007/978-3-540-27815-3_9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)
Official URL
http://dx.doi.org/10.1007/978-3-540-27815-3_9

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: Book section
DOI/Identification number: 10.1007/978-3-540-27815-3_9
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 > Sciences > School of Computing > Systems Architecture Group
Depositing User: E. Boiten
Date Deposited: 24 Nov 2008 18:02 UTC
Last Modified: 29 May 2019 15:07 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/14132 (The current URI for this page, for reference purposes)
Boiten, Eerke Albert: https://orcid.org/0000-0002-9184-8968
  • Depositors only (login required):