ECA Rules

Berndtsson, Mikael; Mellin, Jonas

doi:10.1007/978-0-387-39940-9_504

Cited by 12 publications

(12 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…ECA programming Unlike traditional programming languages, Event-Condition-Action (ECA) programs consist of a small set of rules, each of which specifies an action that is performed when an event occurs and a specific condition holds [10]. This event-driven model allows for the specification of robust programs in which the static data model is separated from the dynamic part.…”

Section: Techniques For Programming and Operating Casmentioning

confidence: 99%

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

Section: Techniques For Programming and Operating Casmentioning

confidence: 99%

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

show abstract

“…The first case enables again rule (7) , while in the latter only rule (6) can be applied, skipping to the artificial transition evaluation (rule (4) ). Notice that both rules (5) and (6) capture the changes of sensors.…”

Section: F Easible μ (ϕ) F Easibl E μ (ϕ ) Stabl E R (ϕ) Stabl mentioning

confidence: 99%

“…The state diagram of a program is dynamically generated by the algorithm in a Breadth-First-Search like manner. It means that states are recursively and concurrently generated trying to apply all possible rules in a non-deterministic way (i.e., implementing rule (4) ) until no rule can be applied (i.e., implementing rule (5) ). In such a case the semantic is given by the last generated state (or states).…”

Section: Interpretermentioning

confidence: 99%

See 1 more Smart Citation

IRON: Reliable domain specific language for programming IoT devices

Cacciagrano

Culmone

2020

Internet of Things

View full text Add to dashboard Cite

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 program in an easy way using the Event-Condition-Action (ECA) rules but also to prevent incorrect actions. In this paper, we formally describe the semantics of IRON. The anomalies that IRON prevents are: (i) the presence of cycles that determine the nontermination, (ii) the ambiguous actions that do not allow the definition of a final configuration, (iii) the breaking of invariances. In addition to the formal description of IRON, an interpreter was created in a host language (LUA) that captures and manages the three anomalies. This provides a general scheme for the implementation of languages based on ECA rules.

show abstract

“…IE systems are specific examples of reactive systems, i.e., systems that react to any stimulus (or event) that occurs in the environment maintaining a continuous interaction with it, since a common feature is their ability to implement complex applications on top of an existing network of sensors and actuators. Typically, the approach that is used to program such systems is via rules, that often take the form of ECA rules [2]: an action is executed if a certain event happens and a specific condition is met. ECA rules are an effective way for representing rules for IE, a good match with users mental model and can be useful and usable for end-user programming in IE.…”

Section: Related Literaturementioning

confidence: 99%

Symbolic verification of event–condition–action rules in intelligent environments

Vannucchi

Diamanti

Mazzante

et al. 2017

J Reliable Intell Environ

View full text Add to dashboard Cite

In this paper we show how state-of-the art SMT-based techniques for software verification can be employed in the verification of event–condition–action rules in intelligent environments. Moreover, we exploit the specific features of intelligent environments to optimise the verification process. We compare our approach with previous work in a detailed evaluation section, showing how it improves both performance and expressivity of the language for event–condition–action rules

show abstract

ECA Rules

Cited by 12 publications

References 1 publication

Rigorous engineering of collective adaptive systems: special section

Rigorous engineering of collective adaptive systems: special section

IRON: Reliable domain specific language for programming IoT devices

Symbolic verification of event–condition–action rules in intelligent environments

Contact Info

Product

Resources

About