Towards Correspondence Carrying Specifications

Abstract. In this work we study the unification of heterogeneous partial specifications using category theory. We propose an alternative to inn 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.

• Type: Conference
• Year: 2004
• Where: AMAST
• Authors: Marius C. Bujorianu, Eerke A. Boiten
• Keywords: AMAST 2004, Categorical Unification Procedure, Correspondences Carrying Specifications, Heterogeneous Partial Specifications, Software Engineering