Logo eprints

A Behavioural Theory for Interactions in Collective-Adaptive Systems

Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele A Behavioural Theory for Interactions in Collective-Adaptive Systems. Working Paper arXiv (Submitted)

PDF - Submitted Version
Available under License Creative Commons Attribution Non-commercial.

Download (647kB) | Preview


We propose a process calculus, named AbC, to study the behavioural theory of interactions in collective-adaptive systems by relying on attribute-based communication. An AbC system consists of a set of parallel components each of which is equipped with a set of attributes. Communication takes place in an implicit multicast fashion, and interaction among components is dynamically established by taking into account "connections" as determined by predicates over their attributes. The structural operational semantics of AbC is based on Labeled Transition Systems that are also used to define bisimilarity between components. Labeled bisimilarity is in full agreement with a barbed congruence, defined by simple basic observables and context closure. The introduced equivalence is used to study the expressiveness of AbC in terms of encoding broadcast channel-based interactions and to establish formal relationships between system descriptions at different levels of abstraction.

Item Type: Working Paper (Working Paper)
Identification Number: arXiv:1711.09762
Uncontrolled Keywords: Collective-adaptive systems, Attribute-Based Communication, Process calculus, Operational semantics, Behavioral theory
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Caterina Tangheroni
Date Deposited: 05 Mar 2018 15:40
Last Modified: 05 Mar 2018 15:40
URI: http://eprints.imtlucca.it/id/eprint/3945

Actions (login required)

Edit Item Edit Item