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.
2016
978-1-61499-689-7
978-1-61499-690-3
273
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11581/398529
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 6
social impact