Tuple-based Models in the Observation Framework


Mirko Viroli, Andrea Omicini

Coordination Models and Languages, pages 364-379
Lecture Notes in Computer Science 2315,  2002
Springer Berlin Heidelberg
Farhad Arbab, Carolyn Talcott (eds.)
5th International Conference (COORDINATION 2002), York, UK, 8-11 April 2002. Proceedings

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.

 @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

Journals & Series

Publication

— authors

Mirko Viroli, Andrea Omicini

— editors

Farhad Arbab, Carolyn Talcott

— status

published

— sort

paper in proceedings

Venue

— volume

Coordination Models and Languages

— series

Lecture Notes in Computer Science

— volume

2315

— pages

364-379

— publication date

2002

URLs

original page

Identifiers

— 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

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