1
|
Abd Alrahman Y, Garbi G. A distributed API for coordinating AbC programs. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 2020; 22:477-496. [DOI: 10.1007/s10009-020-00553-4] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 09/02/2023]
Abstract
AbstractCollective adaptive systems exhibit a particular notion of interaction where environmental conditions largely influence interactions. Previously, we proposed a calculus, namedAbC, 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 forAbC. We prove its correctness, and we evaluate its performance. The main novelty of our approach is thatAbCcomponents 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}$$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.
Collapse
|
2
|
Alrahman YA, Mezzina CA, Vieira HT. Testing for Coordination Fidelity. MODELS, LANGUAGES, AND TOOLS FOR CONCURRENT AND DISTRIBUTED PROGRAMMING 2019:152-169. [DOI: 10.1007/978-3-030-21485-2_10] [Citation(s) in RCA: 1] [Impact Index Per Article: 0.2] [Reference Citation Analysis] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 09/02/2023]
|
3
|
Abd Alrahman Y, De Nicola R, Garbi G. $$\mathcal {G}o\mathcal {A}t$$: Attribute-Based Interaction in Google Go. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS 2018:288-303. [DOI: 10.1007/978-3-030-03424-5_19] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 09/02/2023]
|
4
|
Loreti M, Hillston J. Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools. FORMAL METHODS FOR THE QUANTITATIVE EVALUATION OF COLLECTIVE ADAPTIVE SYSTEMS 2016. [DOI: 10.1007/978-3-319-34096-8_4] [Citation(s) in RCA: 36] [Impact Index Per Article: 4.5] [Reference Citation Analysis] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 01/01/2023]
|
5
|
Abd Alrahman Y, De Nicola R, Loreti M. Programming of CAS Systems by Relying on Attribute-Based Communication. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES 2016:539-553. [DOI: 10.1007/978-3-319-47166-2_38] [Citation(s) in RCA: 2] [Impact Index Per Article: 0.3] [Reference Citation Analysis] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 09/02/2023]
|