Symbolic verification of event–condition–action rules in intelligent environments

In this paper we show how state-of-the art SMT-based techniques for software verification can be employed in the verification of event–condition–action rules in intelligent environments. Moreover, we exploit the specific features of intelligent environments to optimise the verification process. We c...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of reliable intelligent environments 2017-08, Vol.3 (2), p.117-130
Hauptverfasser: Vannucchi, Claudia, Diamanti, Michelangelo, Mazzante, Gianmarco, Cacciagrano, Diletta, Culmone, Rosario, Gorogiannis, Nikos, Mostarda, Leonardo, Raimondi, Franco
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In this paper we show how state-of-the art SMT-based techniques for software verification can be employed in the verification of event–condition–action rules in intelligent environments. Moreover, we exploit the specific features of intelligent environments to optimise the verification process. We compare our approach with previous work in a detailed evaluation section, showing how it improves both performance and expressivity of the language for event–condition–action rules.
ISSN:2199-4668
2199-4676
DOI:10.1007/s40860-017-0036-z