Ambient contracts: verifying and enforcing ambient object compositions à la carte

Manakin: DSpace XMLUI Project v2

Ambient contracts: verifying and enforcing ambient object compositions à la carte

Cómo citar
Cómo citar

Ambient contracts: verifying and enforcing ambient object compositions à la carte

.
Copiar
Título: Ambient contracts: verifying and enforcing ambient object compositions à la carte
Autor: Scholliers, Christophe; Harnie, Dries; Tanter, Eric; De Meuter, Wolfgang; D’Hondt, Theo
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.
Descripción: Artículo de publicación ISI
URI: http://www.captura.uchile.cl/handle/2250/15626
Fecha: 2011-04
Cita del item: PERSONAL AND UBIQUITOUS COMPUTING Volume: 15 Issue: 4 Special Issue: SI Pages: 341-351 Published: APR 2011


Archivos vinculados

Formato: Nombre: Tamaño: Descripción: Ver
PDF
Scholliers_Christ ...
870.2Kb
Abrir / Descargar

El ítem tiene asociados los siguientes archivos de licencia:

Este ítem aparece en la(s) siguiente(s) colección(ones)