Artículo de revista
Ambient contracts: verifying and enforcing ambient object compositions à la carte
Fecha
2011-04Registro en:
PERSONAL AND UBIQUITOUS COMPUTING Volume: 15 Issue: 4 Special Issue: SI Pages: 341-351 Published: APR 2011
DOI: 10.1007/s00779-010-0355-z
Autor
Scholliers, Christophe
Harnie, Dries
Tanter, Éric Pierre
Meuter, Wolfgang de
D’Hondt, Theo
Institución
Resumen
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.