Pushouts of Order-sorted Algebraic Specifications

Anne Elisabeth Haxthausen; Friederike Nickl

Pushouts of Order-sorted Algebraic Specifications

Anne Elisabeth Haxthausen, Friederike Nickl

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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 language	English
Title of host publication	Algebraic Methodology and Software Technology
Publisher	Springer Verlag
Publication date	1996
Pages	132-147
Publication status	Published - 1996
Event	5th International Conference in Algebraic Methodology and Software Technology - Munich, Germany Duration: 1 Jul 1996 → 5 Jul 1996

Conference

Conference	5th International Conference in Algebraic Methodology and Software Technology
Country/Territory	Germany
City	Munich
Period	01/07/1996 → 05/07/1996

OpenUrl availability

Full text

Cite this

@inproceedings{fae9777833b64452a01baa0d8b489892,

title = "Pushouts of Order-sorted Algebraic Specifications",

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.",

author = "Haxthausen, {Anne Elisabeth} and Friederike Nickl",

year = "1996",

language = "English",

pages = "132--147",

booktitle = "Algebraic Methodology and Software Technology",

publisher = "Springer Verlag",

address = "Germany",

note = "5th International Conference in Algebraic Methodology and Software Technology, AMAST '96 ; Conference date: 01-07-1996 Through 05-07-1996",

}

TY - GEN

T1 - Pushouts of Order-sorted Algebraic Specifications

AU - Haxthausen, Anne Elisabeth

AU - Nickl, Friederike

PY - 1996

Y1 - 1996

N2 - 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.

AB - 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.

M3 - Article in proceedings

SP - 132

EP - 147

BT - Algebraic Methodology and Software Technology

PB - Springer Verlag

T2 - 5th International Conference in Algebraic Methodology and Software Technology

Y2 - 1 July 1996 through 5 July 1996

ER -

Pushouts of Order-sorted Algebraic Specifications

Abstract

Conference

OpenUrl availability

Fingerprint

Cite this