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.
A Formal Model for Event-Condition-Action Rules in Intelligent Environments
CACCIAGRANO, Diletta Romana;CORRADINI, Flavio;CULMONE, Rosario;MOSTARDA, Leonardo;TESEI, Luca
2016-01-01
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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
AISE21-0056.pdf
accesso aperto
Descrizione: Full Text
Tipologia:
Versione Editoriale
Licenza:
PUBBLICO - Creative Commons
Dimensione
310.85 kB
Formato
Adobe PDF
|
310.85 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.