A Formal Model for Event-Condition-Action Rules in Intelligent Environments
Claudia Vannucchi, Cacciagrano Diletta Romana, Corradini Flavio, Rosario Culmone, Leonardo Mostarda, Franco Raimondi, Luca Tesei · Ambient intelligence and smart environments · 2016
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.