A distributed API for coordinating AbC programs

Alrahman, Yehia Abd; Garbi, Giulio

doi:10.1007/s10009-020-00553-4

Cited by 4 publications

(4 citation statements)

References 35 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In turn, the model of [5] has its root in the AbC calculus, introduced and studied in [6]- [8] as a core calculus for SCEL [17]. Various extensions of AbC has been proposed [18], [19], as well as correct implementations in Erlang and Golang [20]- [22].…”

Section: A Related Workmentioning

confidence: 99%

The AbU Language: IoT Distributed Programming Made Easy

2022

View full text Add to dashboard Cite

Event-driven programming based on Event-Condition-Action (ECA) rules allows users to define complex automation routines in a simple, declarative way; for this reason, in recent years ECA rules have been adopted by the majority of companies in the Internet of Things (IoT) industry as a promising paradigm for implementing ubiquitous and pervasive systems. Unfortunately, programming simplicity comes to a price: most implementations of ECA rules are bound to a strongly centralized communication infrastructure, that poses serious limitations on the application scenarios for the IoT, due to scalability, security and availability issues. To mitigate these issues, recent works introduced abstractions for communication and coordination of ensembles of IoT devices in a decentralized setting, effectively moving the computation towards the edge of the network without sacrificing the programming simplicity prerogative of ECA rules. In particular, Attribute-based memory Updates is a communication model transparently enhancing ECA rules-based systems with an interaction mechanism where communication is similar to broadcast but actual receivers are selected on the spot, by means of predicates over devices properties. In this paper, we introduce AbU-dsl, a Domain Specific Language for the IoT that compiles on top of an implementation of Attribute-based memory Updates. In this way, AbU-dsl provides a practical development interface, based on ECA rules, to effectively program IoT devices in a fully decentralized setting, by exploiting a full-fledged attribute-based interaction model. Thus, programmers can specify interactions between devices in a declarative way, abstracting from details such as devices identity, number, or even their existence, without the need for a central controlling service. INDEX TERMSIoT programming, ECA rules, Attribute-based memory Updates, Distributed systems, Edge computing, Domain Specific Language.This rule pattern basically means: when Event occurs, if Condition is verified, then execute Action. Thus, an ECA rules-based smart device can react to an event (e.g., a variable change or a signal from a sensor) by executing one or more actions, that can update the internal state of the device or act on the environment via an actuator. Of course, the effect caused by the rule action can trigger other rules, and so on.However, in most current models and implementations of this paradigm, the ECA rules are stored on, and executed by,

show abstract

Section: A Related Workmentioning

confidence: 99%

The AbU Language: IoT Distributed Programming Made Easy

2022

View full text Add to dashboard Cite

show abstract

“…Altogether 12 projects were funded including ASCENS [73,74] on "Autonomic Service-Component ENSembles", SAPERE [75] on "Self-Aware PERvasive service Ecosystems", ALLOW Ensembles [17] on large scale collective adaptive ensembles, QUANTICOL [14] on a quantitative approach to the design and management of collective and adaptive behaviours, and the coordination action FoCAS. 3 More recently, a number of National projects or initiatives have been funded in Europe, here we would like to mention just two that are very close to us.…”

Section: Research Projectsmentioning

confidence: 99%

“…The paper "A distributed API for coordinating AbC programs" [3] by Yehia Abd Alrahman and Giulio Garbi concentrates on the interaction models for CAS where environmental conditions largely influence interactions. In particular, it considers a possible implementation of message exchange based on anonymous multicast communication as advocated in AbC.…”

Section: Attribute-based Programmingmentioning

confidence: 99%

See 1 more Smart Citation

Rigorous engineering of collective adaptive systems: special section

Nicola

Jähnichen

Wirsing

2020

Int J Softw Tools Technol Transfer

View full text Add to dashboard Cite

An adaptive system is able to adapt at runtime to dynamically changing environments and to new requirements. Adaptive systems can be single adaptive entities or collective ones that consist of several collaborating entities. Rigorous engineering requires appropriate methods and tools that help guaranteeing that an adaptive system lives up to its intended purpose. This paper introduces the special section on "Rigorous Engineering of Collective Adaptive Systems." It presents the seven contributions of the section and gives a short overview of the field of rigorously engineering collective adaptive systems by structuring it according to three topics: systematic development, methods and theories for modelling and analysis, and techniques for programming and operating collective adaptive systems.

show abstract

A Calculus for Attribute-Based Memory Updates

Miculan

Pasqua

2021

Theoretical Aspects of Computing – ICTAC 2021

View full text Add to dashboard Cite

A distributed API for coordinating AbC programs

Cited by 4 publications

References 35 publications

The AbU Language: IoT Distributed Programming Made Easy

The AbU Language: IoT Distributed Programming Made Easy

Rigorous engineering of collective adaptive systems: special section

A Calculus for Attribute-Based Memory Updates

Contact Info

Product

Resources

About