This work is a first step toward the reconciliation of the two main approaches to composition in system modeling, namely the categorical one and the algebraic one. In particular, we present a mapping from CommUnity, which uses the categorical approach based on colimits, into the Tile Model, which uses algebraic operators for composition. Our results include a standard decomposition for CommUnity programs. We also establish a strong link between the colimit computation of the categorical approach and the abstract semantics of configurations in the algebraic approach by proving that the encoding of a CommUnity diagram is behaviorally equivalent to the encoding of its colimit.
New Insights on Architectural Connectors / BRUNI R.; FIADEIRO J. L.; LANESE I.; LOPES A.; MONTANARI U.. - STAMPA. - 155:(2004), pp. 367-379. (Intervento presentato al convegno 3rd IFIP International Conference on Theoretical Computer Science tenutosi a Toulose, France nel 24-26/8/2004) [10.1007/1-4020-8141-3_29].
New Insights on Architectural Connectors
LANESE, IVAN;
2004
Abstract
This work is a first step toward the reconciliation of the two main approaches to composition in system modeling, namely the categorical one and the algebraic one. In particular, we present a mapping from CommUnity, which uses the categorical approach based on colimits, into the Tile Model, which uses algebraic operators for composition. Our results include a standard decomposition for CommUnity programs. We also establish a strong link between the colimit computation of the categorical approach and the abstract semantics of configurations in the algebraic approach by proving that the encoding of a CommUnity diagram is behaviorally equivalent to the encoding of its colimit.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.