Mirko Viroli, Andrea Omicini

In this paper, we elaborate on modelling tuple-based coordination media in terms of observable sources providing coordination as a service. Only the medium's part directly affecting its observable behaviour is explicitly represented, while its inner activity is represented only as a source for proactive behaviour, thus abstracting away from its details. As an example of this methodology, we formalise JavaSpaces' time passing and leasing mechanisms, which are both modelled in terms of the medium's inner activity. Then, the formalisation of tuple centres is also shown that emphasises the ability of our approach to deal with the explicit representation of complex coordination services.

Coordination Models and Languages, Lecture Notes in Computer Science 2315, pages 364-379, 2002.
Farhad Arbab, Carolyn Talcott (eds.), Springer Berlin Heidelberg
5th International Conference (COORDINATION 2002), York, UK, 8-11 April 2002. Proceedings
@incollection{obs-coord02,
Author = {Viroli, Mirko and Omicini, Andrea},
Booktitle = {Coordination Models and Languages},
Doi = {10.1007/3-540-46000-4_33},
Editor = {Arbab, Farhad and Talcott, Carolyn},
Isbn = {978-3-540-43410-8},
Isbn-10 = {3-540-43410-0},
Isbn-Online = {978-3-540-46000-8},
Issn = {0302-9743},
Issn-Online = {1611-3349},
Note = {5th International Conference (COORDINATION 2002), York, UK, 8--11~} # apr # {~2002. Proceedings},
Pages = {364--379},
Publisher = {Springer Berlin Heidelberg},
ScopusId = {2-s2.0-23044534697},
Series = {Lecture Notes in Computer Science},
Title = {Tuple-based Models in the Observation Framework},
Url = {http://link.springer.com/10.1007/3-540-46000-4_33},
Volume = 2315,
WosId = {000181348700033},
Year = 2002}

    

Publication

Tuple-based Models in the Observation Framework

— status

published  

— authors

Mirko Viroli, Andrea Omicini

— editors

Farhad Arbab, Carolyn Talcott

URLs & IDs

original page

— DOI

10.1007/3-540-46000-4_33

— Scopus

2-s2.0-23044534697

— WoS / ISI

000181348700033

— print ISSN

0302-9743

— online ISSN

1611-3349

— print ISBN

978-3-540-43410-8

— online ISBN

978-3-540-46000-8

— ISBN–10

3-540-43410-0

BibTeX

— BibTeX ID
obs-coord02
— BibTeX category
incollection

APICe

— journal/series
LNCS

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