Search
loader loading subjects...
cover
A Formal Model for Event-Condition-Action Rules in Intelligent Environments
Authors
Claudia Vannucchi, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Franco Raimondi, Luca Tesei
Pages
56 - 65
DOI
10.3233/978-1-61499-690-3-56
Series
Ambient Intelligence and Smart Environments
Ebook
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 PDF
Creative Commons License