Rigorous engineering of collective adaptive systems
R De Nicola, S Jähnichen, M Wirsing - International Journal on Software …, 2020 - Springer
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 …
new requirements. Adaptive systems can be single adaptive entities or collective ones that …
Rigorous engineering of collective adaptive systems
S Jähnichen, M Wirsing - International Journal on Software …, 2020 - search.proquest.com
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 …
new requirements. Adaptive systems can be single adaptive entities or collective ones that …
Design and deployment of expressive and correct web of things applications
A Krishna, M Le Pallec, R Mateescu… - ACM Transactions on …, 2021 - dl.acm.org
Consumer Internet of Things (IoT) applications are largely built through end-user
programming in the form of event-action rules. Although end-user tools help simplify the …
programming in the form of event-action rules. Although end-user tools help simplify the …
CER-CH: combining election and routing amongst cluster heads in heterogeneous WSNs
Heterogeneous Wireless Sensor Networks (WSNs) are essential to the IoT vision. WSNs
implement a virtual layer that can gather data about the real world. WSNs are composed of …
implement a virtual layer that can gather data about the real world. WSNs are composed of …
A calculus for attribute-based memory updates
In this paper, we present AbU a new ECA-inspired calculus with attribute-based
communication, an interaction model recently introduced for coordinating large numbers of …
communication, an interaction model recently introduced for coordinating large numbers of …
The abu language: Iot distributed programming made easy
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 …
define complex automation routines in a simple, declarative way; for this reason, in recent …
IRON: Reliable domain specific language for programming IoT devices
DR Cacciagrano, R Culmone - Internet of Things, 2020 - Elsevier
A domain-specific language (DSL) is a programming language that is specialized to a
particular application domain. IRON is a DSL for the IoT domain which allows not only to …
particular application domain. IRON is a DSL for the IoT domain which allows not only to …
[HTML][HTML] AbU: A calculus for distributed event-driven programming with attribute-based interaction
In recent years, event-driven programming languages, in particular those based on Event
Condition Action (ECA) rules, have emerged as a promising paradigm for implementing …
Condition Action (ECA) rules, have emerged as a promising paradigm for implementing …
[HTML][HTML] Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems
Abstract Attribute-based memory Updates (Image 1 in short) is an interaction mechanism
recently introduced for adapting the Event-Condition-Action (ECA) programming paradigm …
recently introduced for adapting the Event-Condition-Action (ECA) programming paradigm …
On the security and safety of AbU systems
Attribute-based memory updates (AbU in short) is an interaction mechanism recently
introduced for adapting the Event-Condition-Action (ECA) programming paradigm to …
introduced for adapting the Event-Condition-Action (ECA) programming paradigm to …