Tuple-based Models in the Observation Framework

Mirko Viroli, Andrea Omicini

Farhad Arbab, Carolyn Talcott (eds.)
Coordination Models and Languages, pages 364–379
Lecture Notes in Computer Science 2315
Springer Berlin Heidelberg
2002

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.

Journals & Series

Projects

  • NokiaMobileCoord — Coordination Technologies for Mobile Agents and Wireless Devices (01/01/2002–31/12/2002)

Projects
home    search    all

Publications / Views
tags  •  authors  •  editors  •  journals
2023  •  2022  •  2021  •  2020  •  2019  •  2018  •  2017  •  2016  •  2015  •  2014–1927
in journal  •  in proc  •  chapters  •  books  •  edited  •  spec issues  •  editorials  •  entries  •  manuals  •  tech reps  •  phd th  •  others
online  •  in press  •  proof  •  camera-ready  •  revised  •  accepted  •  revision  •  submitted  •  draft  •  note
ACM Digital Library  •  DBLP  •  IEEE Xplore  •  IRIS  •  PubMed  •  Google Scholar  •  Scopus  •  Semantic Scholar  •  Web of Science  •  DOI

Publication

— status

published

— sort

paper in proceedings

who

— authors

— editors

Farhad Arbab    Carolyn Talcott

where & when

— publication date

2002

— volume

Coordination Models and Languages

— series

Lecture Notes in Computer Science

— volume no.

2315

— pages

364–379

URL

identifiers

— ACM

713583

— WoS / ISI

000181348700033

ISBN & ISSN

— print ISSN

0302-9743

— electronic ISSN

1611-3349

— print ISBN

978-3-540-43410-8

— electronic ISBN

978-3-540-46000-8

— ISBN-10

3-540-43410-0

notes

— note

5th International Conference (COORDINATION 2002), York, UK, 8-11 April 2002. Proceedings

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY