%0 Conference Proceedings
%T A Distributed Coordination Infrastructure for Attribute-Based Interaction
%+ School for Advanced Studies Lucca (IMT)
%+ Università degli Studi di Camerino = University of Camerino (UNICAM)
%A Alrahman, Yehia, Abd
%A Nicola, Rocco, De
%A Garbi, Giulio
%A Loreti, Michele
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
%C Madrid, Spain
%Y Christel Baier
%Y Luís Caires
%I Springer International Publishing
%3 Formal Techniques for Distributed Objects, Components, and Systems
%V LNCS-10854
%P 1-20
%8 2018-06-18
%D 2018
%R 10.1007/978-3-319-92612-4_1
%K Process calculi
%K Attribute-based interaction
%K Semantics
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X Collective-adaptive systems offer an interesting notion of interaction where run-time contextual data are the driving force for interaction. The attribute-based interaction has been proposed as a foundational theoretical framework to model CAS interactions. The framework permits a group of partners to interact by considering their run-time properties and their environment. In this paper, we lay the basis for an efficient, correct, and distributed implementation of the attribute-based interaction framework. First, we present three coordination infrastructures for message exchange, then we prove their correctness, and finally we model them in terms of stochastic processes to evaluate their performance.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01824810/document
%2 https://inria.hal.science/hal-01824810/file/469043_1_En_1_Chapter.pdf
%L hal-01824810
%U https://inria.hal.science/hal-01824810
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-DISCOTEC
%~ IFIP-LNCS-10854