Currently displaying 1 – 1 of 1

Showing per page

Order by Relevance | Title | Year of publication

Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors.

Hartmut EhrigHans-Jörg KreowskiFernando Orejas — 1997

Revista Matemática de la Universidad Complutense de Madrid

A new implementation concept for parameterized specifications based on constructors and abstractors was recently introduced by Orejas, Navarro and Sánchez which includes most of the implementation concepts in the literature for initial as well as loose semantics. In this paper we redefine vertical and different kinds of horizontal compositions using the new concept of semi-pushout defined for a mixture of signature and specification morphisms. The main results concerning correctness of horizontal...

Page 1

Download Results (CSV)