Inserire una breve descrizione delle modifiche fatte
(Richiesto)
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
On the Semantics of Tuple-based Coordination Models
1999 ACM Symposium on Applied Computing (SAC'99), pp. 175–182
ACM, New York, NY, USA
febbraio 1999
The emergence of coordination models and languages for the design and development of today multi-component software systems calls for a precise understanding and definition of what coordination is, what coordination models and languages are, and what they are meant to. In this paper, we aim at providing a conceptual framework for coordination, as well as an operational framework for the semantic characterisation of coordination models and languages. The main goals of this framework are (i) to deal with the intrinsic unformalisability of interactive systems, and (ii) to be simple yet expressive enough to work as a clean and effective specification for the implementation of a coordinated system. The effectiveness of the framework defined is shown by applying it to the general description of tuple-based coordination models. The expressiveness of the corresponding operational framework is then exploited for the full operational characterisation of a logic tuple-based coordination model.
On the Semantics of Tuple-based Coordination Models (CM @ SAC 1999, 02/03/1999) — Andrea Omicini (Andrea Omicini)
MOSAICO — Sistemi ed ambienti distribuiti per soluzioni globali ed aperte con supporto alla mobilità (01/01/1997–31/12/1999)