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 the most widely used approaches to combine specifications.
| Original language | English |
|---|
| Publication status | Published - 1996 |
|---|