Pushouts of Order-sorted Algebraic Specifications (report)

Anne Haxthausen, Friderike Nickl

    Research output: Book/ReportReportResearchpeer-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 the most widely used approaches to combine specifications.
    Original languageEnglish
    Publication statusPublished - 1996

    Cite this