Bruni, Roberto and Montanari, Ugo and Lanese, Ivan (2005) Normal Forms for Stateless Connectors. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.
Postscript (GZip) - Published Version Available under License Creative Commons Attribution No Derivatives. Download (164Kb) |
Abstract
The conceptual separation between computation and coordination in distributed computing systems motivates the use of peculiar entities commonly called connectors, whose task is managing the interaction among distributed components. Different kinds of connectors exist in the literature at different levels of abstraction. We focus on a basic algebra of connectors which is expressive enough to model e.g. all the architectural connectors of CommUnity. We first define the operational, observational and denotational semantics of connectors, then we show that the observational and denotational semantics coincide and finally we give a complete normal-form axiomatization.
Item Type: | Book |
---|---|
Uncontrolled Keywords: | Algebraic semantics, categorical semantics, connectors, Tile Model, normal forms, monoidal categories, CommUnity |
Subjects: | Area01 - Scienze matematiche e informatiche > INF/01 - Informatica |
Divisions: | Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA |
Depositing User: | dott.ssa Sandra Faita |
Date Deposited: | 09 Dec 2014 11:21 |
Last Modified: | 09 Dec 2014 11:21 |
URI: | http://eprints.adm.unipi.it/id/eprint/2140 |
Repository staff only actions
View Item |