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.
Titolo: | New Insights on Architectural Connectors |
Autore/i: | BRUNI R.; FIADEIRO J. L.; LANESE, IVAN; LOPES A.; MONTANARI U. |
Autore/i Unibo: | |
Anno: | 2004 |
Serie: | |
Titolo del libro: | Proceedings of IFIP TCS 2004, 3rd IFIP International Conference on Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics |
Pagina iniziale: | 367 |
Pagina finale: | 379 |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/1-4020-8141-3_29 |
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. |
Data prodotto definitivo in UGOV: | 27-giu-2013 |
Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |