Paper Info
Title
A distributed API for coordinating AbC programs
Abstract
Collective adaptive systems exhibit a particular notion of interaction where environmental conditions largely influence interactions. Previously, we proposed a calculus, named AbC, to model and reason about CAS. The calculus proved to be effective by naturally modelling essential CAS features. However, the question on the tradeoff between its expressiveness and its efficiency, when implemented to program CAS applications, is to be answered. In this article, we propose an efficient and distributed coordination infrastructure for AbC. We prove its correctness, and we evaluate its performance. The main novelty of our approach is that AbC components are infrastructure agnostic. Thus the code of a component does not specify how messages are routed in the infrastructure but rather what properties a target component must satisfy. We also developed a Go API, named $$\mathcal {G}{} \textit{o}\mathcal {A}{} \textit{t}$$ , and an Eclipse plugin to program in a high-level syntax which can be automatically used to generate matching Go code. We showcase our development through a non-trivial case study.
Year
DOI
Venue
2020
10.1007/s10009-020-00553-4
International Journal on Software Tools for Technology Transfer
Keywords
DocType
Volume
Attribute-based interaction, Semantics, Process calculi, Programming API
Journal
22
Issue
ISSN
Citations 
4
1433-2779
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Yehia Abd Alrahman1365.31
Giulio Garbi200.34