A Behavioural Theory for Interactions in Collective-Adaptive Systems

11/23/2017
by   Yehia Abd Alrahman, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

10/26/2017

Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication

Collective adaptive systems are new emerging computational systems consi...
05/01/2021

A structural operational semantics for interactions with a look at loops

Message Sequence Charts Sequence Diagrams are graphical models that ...
07/09/2018

A Formal Approach to Open Multiparty Interactions

We present a process algebra aimed at describing interactions that are m...
06/24/2021

Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Systems

We investigate program equivalence for linear higher-order(sequential) l...
03/24/2022

Emergence of hierarchical reference systems in multi-agent communication

In natural language, referencing objects at different levels of specific...
11/05/2021

Exception Handling on Multiparty Interactions

In designing distributed and parallel systems there are several approach...