Abstract
This paper investigates the existence of pushouts in the category of order-sorted algebraic specifications and specification morphisms. As amain result it is shown that the existence can be guaranteed 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.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
