Skip to Main content Skip to Navigation
Conference papers

A Distributed Coordination Infrastructure for Attribute-Based Interaction

Abstract : 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.
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-01824810
Contributor : Hal Ifip <>
Submitted on : Wednesday, June 27, 2018 - 3:55:12 PM
Last modification on : Tuesday, October 13, 2020 - 5:22:02 PM
Long-term archiving on: : Thursday, September 27, 2018 - 4:07:16 AM

File

469043_1_En_1_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Yehia Alrahman, Rocco Nicola, Giulio Garbi, Michele Loreti. A Distributed Coordination Infrastructure for Attribute-Based Interaction. 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.1-20, ⟨10.1007/978-3-319-92612-4_1⟩. ⟨hal-01824810⟩

Share

Metrics

Record views

300

Files downloads

25