Search
 
loader loading subjects...
cover
A Formal Model for Event-Condition-Action Rules in Intelligent Environments
Claudia Vannucchi, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Franco Raimondi, Luca Tesei
56 - 65
10.3233/978-1-61499-690-3-56
Ambient Intelligence and Smart Environments
Volume 21: Intelligent Environments 2016
Abstract

We present a formal model for modelling Event-Condition-Action Rules by partitioning a state space and evolution function taking into account the features that are typical of Intelligent Environments. This model allows for a precise definition of formal requirements and for their efficient verification.

Download
Creative Commons License