TY  - CHAP
M1  - 9952
AV  - none
TI  - Programming of CAS Systems by Relying on Attribute-Based Communication
ID  - eprints3953
UR  - http://doi.org/10.1007/978-3-319-47166-2_38
N2  - In most distributed systems, named connections (i.e., channels) are used as means for programming interaction between communicating partners. These kinds of connections are low level and usually totally independent of the knowledge, the status, the capabilities, ..., in one word, of the attributes of the interacting partners. We have recently introduced a calculus, called AbC, in which interactions among agents are dynamically established by taking into account ?connection? as determined by predicates over agent attributes. In this paper, we present  Open image in new window, a Java run-time environment that has been developed to support modeling and programming of collective adaptive systems by relying on the communication primitives of the AbC calculus. Systems are described as sets of parallel components, each component is equipped with a set of attributes and communications among components take place in an implicit multicast fashion. By means of a number of examples, we also show how opportunistic behaviors, achieved by run-time attribute updates, can be exploited to express different communication and interaction patterns and to program challenging case studies.
EP  - 553
PB  - Springer
SN  - 0302-9743
SP  - 539
Y1  - 2016///
T2  - Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
A1  - Abd Alrahman, Yehia Moustafa
A1  - De Nicola, Rocco
A1  - Loreti, Michele
ER  -