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

Ehrig, Hartmut, Kreowski, Hans-Jörg, and Orejas, Fernando. "Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors.." Revista Matemática de la Universidad Complutense de Madrid 10.2 (1997): 365-387. <http://eudml.org/doc/44275>.

@article{Ehrig1997,
abstract = {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 and vertical composition are based on new correctness requirements for constructors and abstractors.},
author = {Ehrig, Hartmut, Kreowski, Hans-Jörg, Orejas, Fernando},
journal = {Revista Matemática de la Universidad Complutense de Madrid},
keywords = {Programación lógica; Lenguajes de programación; Composición; Posición vertical; Posición horizontal; Parametrización; parameterized specifications},
language = {eng},
number = {2},
pages = {365-387},
title = {Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors.},
url = {http://eudml.org/doc/44275},
volume = {10},
year = {1997},
}

TY - JOUR
AU - Ehrig, Hartmut
AU - Kreowski, Hans-Jörg
AU - Orejas, Fernando
TI - Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors.
JO - Revista Matemática de la Universidad Complutense de Madrid
PY - 1997
VL - 10
IS - 2
SP - 365
EP - 387
AB - 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 and vertical composition are based on new correctness requirements for constructors and abstractors.
LA - eng
KW - Programación lógica; Lenguajes de programación; Composición; Posición vertical; Posición horizontal; Parametrización; parameterized specifications
UR - http://eudml.org/doc/44275
ER -