@inproceedings{9cd56b1c54a4447da94a04a30cfbd814,
title = "New insights on architectural connectors",
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.",
author = "Roberto Bruni and Fiadeiro, \{Jos{\'e} Luiz\} and Ivan Lanese and Ant{\'o}nia Lopes and Ugo Montanari",
year = "2004",
month = jan,
day = "1",
doi = "10.1007/1-4020-8141-3\_29",
language = "English",
isbn = "1402081405",
volume = "155",
series = "IFIP Advances in Information and Communication Technology",
publisher = "Springer New York",
pages = "367--380",
booktitle = "Exploring New Frontiers of Theoretical Informatics",
address = "United States",
note = "IFIP 18th World Computer Congress, TC1 and 3rd International Conference on Theoretical Computer Science, TCS 2004 ; Conference date: 22-08-2004 Through 27-08-2004",
}