Abstract

. We propose to detect isomorphisms of algebraic modular specifications, by representing specifications as diagrams over a category C0 of base specifications and specification morphisms. We start with a formulation of modular specifications as terms, which are interpreted as diagrams. This representation has the advantage of being more abstract, i.e. less dependent of one specific construction than terms. For that, we define a category diagr (C0) of diagrams, which is a completion of C0 with finite colimits. The category diagr (C0) is finitely cocomplete, even if C0 is not finitely cocomplete. We define a functor D[[]] : Term (C0) ! diagr (C0) which maps specifications to diagrams, and specification morphisms to diagram morphisms. This interpretation is sound in that the colimit of a diagram representing a specification is isomorphic to this specification. The problem of isomorphisms of modular specifications is solved by detecting isomorphisms of diagrams. 1 Introduction The specif...

Citations