Pushouts of Order-sorted Algebraic Specifications

Anne Elisabeth Haxthausen, Friederike Nickl

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


    This paper investigates the existence of pushouts in the category of order-sorted algebraic specifications and specification morphism. As a main result it is shown that the existence can be guarantied by imposing certain conditions on the specification morphisms. This result is important as the pushout construction is one of themost widely used approaches to combine specifications.
    Original languageEnglish
    Title of host publicationAlgebraic Methodology and Software Technology
    PublisherSpringer Verlag
    Publication date1996
    Publication statusPublished - 1996
    EventAMAST`96 - Munich
    Duration: 1 Jan 1996 → …


    Period01/01/1996 → …


    Dive into the research topics of 'Pushouts of Order-sorted Algebraic Specifications'. Together they form a unique fingerprint.

    Cite this