Testing for Coordination Fidelity

Alrahman, Yehia Abd; Mezzina, Claudio Antares; Vieira, Hugo Torres

doi:10.1007/978-3-030-21485-2_10

Cited by 1 publication

(1 citation statement)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We strongly believe that standard approaches that consider replication of server nodes can be used to guarantee the overall reliability of the considered infrastructures. However, an interesting direction would be to consider infrastructures that adapt to failure and reconfigure themselves to maintain their reliability, see [8,11].…”

Section: A Tree-based Infrastructurementioning

confidence: 99%

A distributed API for coordinating AbC programs

Alrahman

Garbi

2020

Int J Softw Tools Technol Transfer

Self Cite

View full text Add to dashboard Cite

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 GoAt, 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.

show abstract

Section: A Tree-based Infrastructurementioning

confidence: 99%