Verification of Smart Homes Specifications which are based on ECA Rules

Abstract

Smart homes implementations are usually based on Active Databases (ADBs). A core concept of ADBs is the concept of Event-Condition-Action (ECA) rules allowing the system to react to specific events occurring in contexts of interest and advising on an the actions that should be taken in those situations. Although research in ADBs has been conducted for quite a few years, still no standard verification framework has emerged yet from the area. In this paper we consider some options to verify specifications of Smart Homes based on ADBrelated concepts.