Pushouts of Order-sorted Algebraic Specifications

Anne Elisabeth Haxthausen, Friederike Nickl

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

    Abstract

    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
    Pages132-147
    Publication statusPublished - 1996
    EventAMAST`96 - Munich
    Duration: 1 Jan 1996 → …

    Conference

    ConferenceAMAST`96
    CityMunich
    Period01/01/1996 → …

    Cite this