Verification of Smart Homes Specifications which are based on ECA Rules

Juan C. Augusto

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 ADB-related concepts.

References

  1. Juan Carlos Augusto and Chris Nugent. The use of temporal reasoning and management of complex events in smart homes. Technical report, School of Computing and Mathematics, University of Ulster, UK, 2004. (http://www.infj.ulst.ac.uk/˜jcaug/TR-AugustoNugent2004a.pdf).
  2. B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, Ph. Schnoebelen, and P. McKenzie. Systems and Software Verification (Model Checking Techniques and Tools). Springer Verlag, 1999.
  3. Christoph Brzoska. Temporal logic programming with metric and past operators. In Executable and Temporal Logics, IJCAI'93 Satellite Workshop, pages 21-39. Springer Verlag, 1993.
  4. P. Fraternali, E. Teniente, and T. Urpi. Validating Active Rules by Planning. In Proceedings of the 3rd International Workshop on Rules in Database Systems, volume 1312, pages 181-196. Springer, 1997.
  5. A. Galton. Eventualities. In Vila, van Beek, Boddy, Fisher, Gabbay, Galton, and Morris, editors, The Handbook of Time and Temporal Reasoning in Artificial Intelligence. MIT Press, 2004. (to be published).
  6. Rodolfo Gómez, Juan Carlos Augusto, and Antony Galton. Testing an Event Specification Language. In Proceedings of the 13th. Int. Conf. of Software Engineering and Knowledge Engineering (SEKE 2001), pages 341-346, Bs.As., Argentina, 2001.
  7. N.W. Paton and O. Diaz. Active Database Systems. ACM Computing Surveys, 31(1):63-103, 1999.
Download


Paper Citation


in Harvard Style

C. Augusto J. (2005). Verification of Smart Homes Specifications which are based on ECA Rules . In Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005) ISBN 972-8865-22-8, pages 118-120. DOI: 10.5220/0002574701180120


in Bibtex Style

@conference{msvveis05,
author={Juan C. Augusto},
title={Verification of Smart Homes Specifications which are based on ECA Rules},
booktitle={Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005)},
year={2005},
pages={118-120},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002574701180120},
isbn={972-8865-22-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005)
TI - Verification of Smart Homes Specifications which are based on ECA Rules
SN - 972-8865-22-8
AU - C. Augusto J.
PY - 2005
SP - 118
EP - 120
DO - 10.5220/0002574701180120