CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishThis 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 |
File in questo prodotto:
http://hdl.handle.net/11585/104592
Copyright © 2020