Andrea Omicini

1999 ACM Symposium on Applied Computing (SAC'99), pp. 175-182
28 February - 2  March 1999
ACM, New York, NY, USA
Special Track on Coordination Models, Languages and Applications

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.

 @inproceedings{coord-sac99,
AcmId = {298229},
Address = {New York, NY, USA},
Author = {Omicini, Andrea},
Booktitle = {1999 ACM Symposium on Applied Computing (SAC'99)},
Doi = {10.1145/298151.298229},
Isbn = {1-58113-086-4},
Location = {San Antonio, TX, USA},
Month = {28 } # feb # { -- 2 } # mar,
Note = {Special Track on Coordination Models, Languages and Applications},
Pages = {175--182},
Pdf-Url = {http://dl.acm.org/ft_gateway.cfm?id=298229&type=pdf},
Publisher = {ACM},
ScopusId = {2-s2.0-0032666212},
Title = {On the Semantics of Tuple-based Coordination Models},
Url = {http://dl.acm.org/citation.cfm?id=298229},
Year = 1999

Pubblicazione

— autori/autrici

Andrea Omicini

— stato

pubblicato

— tipo

articolo in atti

Sede di pubblicazione

— volume

1999 ACM Symposium on Applied Computing (SAC'99)

— pagine

175-182

— data di pubblicazione

28 February - 2  March 1999

URL

pagina originale  |  PDF originale

Identificatori

— DOI

10.1145/298151.298229

— ACM

298229

— Scopus

2-s2.0-0032666212

— print ISBN

1-58113-086-4

BibTeX

— BibTeX ID
coord-sac99
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY