Author | dc.contributor.author | Scholliers, Christophe | |
Author | dc.contributor.author | Harnie, Dries | es_CL |
Author | dc.contributor.author | Tanter, Éric Pierre | es_CL |
Author | dc.contributor.author | Meuter, Wolfgang de | es_CL |
Author | dc.contributor.author | D’Hondt, Theo | es_CL |
Admission date | dc.date.accessioned | 2011-12-29T15:39:41Z | |
Available date | dc.date.available | 2011-12-29T15:39:41Z | |
Publication date | dc.date.issued | 2011-04 | |
Cita de ítem | dc.identifier.citation | PERSONAL AND UBIQUITOUS COMPUTING Volume: 15 Issue: 4 Special Issue: SI Pages: 341-351 Published: APR 2011 | es_CL |
Identifier | dc.identifier.other | DOI: 10.1007/s00779-010-0355-z | |
Identifier | dc.identifier.uri | https://repositorio.uchile.cl/handle/2250/125565 | |
General note | dc.description | Artículo de publicación ISI | es_CL |
Abstract | dc.description.abstract | Current programming languages do not offer
adequate abstractions to discover and compose heterogenous
objects over unreliable networks. This forces programmers
to discover objects one by one, compose them
manually, and keep track of their individual connectivity
state at all times. In this paper we propose Ambient Contracts,
a novel programming abstraction to deal with the
difficulties of composing objects connected over unreliable
networks. Ambient Contracts provide declarative heterogenous
group discovery and composition while dealing with
the unreliability of the network. An ambient contract
allows runtime verification and enforcement of the messages
sent between the participants in the contract. The use
of our abstraction significantly reduces the code base and
allows programmers to focus on the core functionality of
their application. Our claims are reinforced by comparing
the implementation of an example scenario in our contracts
with a Java implementation using M2MI. | es_CL |
Patrocinador | dc.description.sponsorship | IWT-Flanders
IWOIB-IRSIB
FONDECYT 1110051 | es_CL |
Lenguage | dc.language.iso | en | es_CL |
Publisher | dc.publisher | Springer | es_CL |
Keywords | dc.subject | Contracts | es_CL |
Título | dc.title | Ambient contracts: verifying and enforcing ambient object compositions à la carte | es_CL |
Document type | dc.type | Artículo de revista | |