caa a22 4500 445821930 CHVBK 20180317145246.0 cr unu---uuuuu 170323e20110401xx s 000 0 eng 10.1007/s00779-010-0355-z doi (NATIONALLICENCE)springer-10.1007/s00779-010-0355-z Ambient contracts: verifying and enforcing ambient object compositions à la carte [Elektronische Daten] [Christophe Scholliers, Dries Harnie, Éric Tanter, Wolfgang De Meuter, Theo D'Hondt] 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. Springer-Verlag London Limited, 2011 Contracts nationallicence Programming languages nationallicence Concurrency nationallicence Scholliers Christophe Software Languages Lab, DINF, Vrije Unversiteit Brussel, Brussel, Belgium aut Harnie Dries Software Languages Lab, DINF, Vrije Unversiteit Brussel, Brussel, Belgium aut Tanter Éric PLEIAD Laboratory Computer Science Dept (DCC), University of Chile, Santiago, Chile aut De Meuter Wolfgang Software Languages Lab, DINF, Vrije Unversiteit Brussel, Brussel, Belgium aut D'Hondt Theo Software Languages Lab, DINF, Vrije Unversiteit Brussel, Brussel, Belgium aut Personal and Ubiquitous Computing Springer-Verlag 15/4(2011-04-01), 341-351 1617-4909 15:4<341 2011 15 779 https://doi.org/10.1007/s00779-010-0355-z text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s00779-010-0355-z text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Scholliers Christophe Software Languages Lab, DINF, Vrije Unversiteit Brussel, Brussel, Belgium aut NATIONALLICENCE 700 1- Harnie Dries Software Languages Lab, DINF, Vrije Unversiteit Brussel, Brussel, Belgium aut NATIONALLICENCE 700 1- Tanter Éric PLEIAD Laboratory Computer Science Dept (DCC), University of Chile, Santiago, Chile aut NATIONALLICENCE 700 1- De Meuter Wolfgang Software Languages Lab, DINF, Vrije Unversiteit Brussel, Brussel, Belgium aut NATIONALLICENCE 700 1- D'Hondt Theo Software Languages Lab, DINF, Vrije Unversiteit Brussel, Brussel, Belgium aut NATIONALLICENCE 773 0- Personal and Ubiquitous Computing Springer-Verlag 15/4(2011-04-01), 341-351 1617-4909 15:4<341 2011 15 779 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer