New insights on architectural connectors

Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationExploring New Frontiers of Theoretical Informatics
Subtitle of host publicationIFIP International Federation for Information Processing
PublisherSpringer New York
Pages367-380
Number of pages14
Volume155
ISBN (Print)1402081405, 9781402081408
DOIs
Publication statusPublished - 1 Jan 2004
EventIFIP 18th World Computer Congress, TC1 and 3rd International Conference on Theoretical Computer Science, TCS 2004 - Toulouse, France
Duration: 22 Aug 200427 Aug 2004

Publication series

NameIFIP Advances in Information and Communication Technology
Volume155
ISSN (Print)1868-4238

Conference

ConferenceIFIP 18th World Computer Congress, TC1 and 3rd International Conference on Theoretical Computer Science, TCS 2004
Country/TerritoryFrance
CityToulouse
Period22/08/0427/08/04

ASJC Scopus subject areas

  • Information Systems and Management

Fingerprint

Dive into the research topics of 'New insights on architectural connectors'. Together they form a unique fingerprint.

Cite this