Complex reactive event processing for assisted living: The Habitat project case study

Abstract While the increasing average age of population is posing new challenges to societies and healthcare systems, the emergence of the Internet of Things research area is generating the hope for automated assisted environments, which could combine the advances in sensors networks with that of runtime monitoring systems, in order to create smart houses able to take care of their older inhabitants and delay the recourse to hospitals and nursing homes. However, although various assisted living systems have been proposed in the last decade, the goal of realizing an effective domestic support system for elderly is still far from reached. In this work, we present a project aiming to re-engineer a set of everyday life objects, equipping them with environmental and wearable sensors, thus to monitor the condition of older people in their domestic residences and provide security while preserving the autonomy and independence of the subjects. The main focus of the paper at hand is on the requirements and solutions implemented to realize the backbone infrastructure of such system as regards both the adopted semantic message routing mechanism and the newly conceived approach to event analysis, which combines Complex Event Processing and a reactive implementation of Event Calculus.

[1]  Tim Berners-Lee,et al.  Linked Data - The Story So Far , 2009, Int. J. Semantic Web Inf. Syst..

[2]  Marco Montali.  Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach , 2010 .

[3]  Dieter Fensel,et al.  Sparkwave: continuous schema-enhanced pattern matching over RDF data streams , 2012, DEBS.

[4]  Paola Mello,et al.  UCD, Ergonomics and Inclusive Design: The HABITAT Project , 2018 .

[5]  Alfredo D'Elia,et al.  RedSib: A smart-M3 semantic information broker implementation , 2012, 2012 12th Conference of Open Innovations Association (FRUCT).

[6]  Paul Krause,et al.  Smartphone-Based Real-Time Indoor Location Tracking With 1-m Precision , 2016, IEEE Journal of Biomedical and Health Informatics.

[7]  Massimo Mecella,et al.  Process-Based Habit Mining: Experiments and Techniques , 2016, 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld).

[8]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[9]  Paola Mello,et al.  A Logic-Based, Reactive Calculus of Events , 2010, Fundam. Informaticae.

[10]  Iara Augustin,et al.  Reactive, proactive, and extensible situation-awareness in ambient assisted living , 2017, Expert Syst. Appl..

[11]  W. Kearns,et al.  Tortuosity in Movement Paths Is Related to Cognitive Impairment , 2010, Methods of Information in Medicine.

[12]  A. Costanzo,et al.  Remotely Identify and Detect by a Compact Reader With Mono-Pulse Scanning Capabilities , 2013, IEEE Transactions on Microwave Theory and Techniques.

[13]  Haris Abdullah,et al.  Processing Heterogeneous RDF Events with Standing SPARQL Update Rules , 2012, OTM Conferences.

[14]  Fabio Viola,et al.  Dynamic Linked Data: A SPARQL Event Processing Architecture , 2018, Future Internet.

[15]  eva Kühn,et al.  A Heuristics Framework for Semantic Subscription Processing , 2009, ESWC.

[16]  eva Kühn,et al.  Knowledge-Based Interaction Patterns for Semantic Spaces , 2010, 2010 International Conference on Complex, Intelligent and Software Intensive Systems.

[17]  eva Kühn,et al.  Knowledge-based coordination with a reliable semantic subscription mechanism , 2009, SAC '09.

[18]  Opher Etzion,et al.  Event Processing in Action , 2010 .

[19]  Jani Suomalainen,et al.  Secure information sharing between heterogeneous embedded devices , 2010, ECSA '10.

[20]  Haris Abdullah,et al.  Efficient matching of SPARQL subscriptions using rete , 2012, SAC '12.

[21]  Tullio Salmon Cinotti,et al.  The Design Principles and Practices of Interoperable Smart Spaces , 2012 .

[22]  Anne-Marie Kermarrec,et al.  The many faces of publish/subscribe , 2003, CSUR.

[23]  Davide Anguita,et al.  Human Activity Recognition on Smartphones Using a Multiclass Hardware-Friendly Support Vector Machine , 2012, IWAAL.

[24]  Paola Mello,et al.  Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge , 2011, Business Process Management Workshops.

[25]  Marco A. Casanova,et al.  From Sensor Data Streams to Linked Streaming Data: a survey of main approaches , 2016, J. Inf. Data Manag..

[26]  Andre Bolles,et al.  Streaming SPARQL - Extending SPARQL to Process Data Streams , 2008, ESWC.

[27]  Sebastian Rudolph,et al.  EP-SPARQL: a unified language for event processing and stream reasoning , 2011, WWW.

[28]  Paola Mello,et al.  Reactive Event Calculus for Monitoring Global Computing Applications , 2012, Logic Programs, Norms and Action.

[29]  Adel Alti,et al.  Autonomic Semantic-Based Context-Aware Platform for Mobile Applications in Pervasive Environments , 2016, Future Internet.

[30]  Thomas Kirste,et al.  Sensor Based Monitoring for People with Dementia: Searching for Movement Markers in Alzheimer's Disease for a Early Diagnostic , 2011, AmI Workshops.

[31]  Françoise Baude,et al.  Towards a Scalable Cloud-based RDF Storage Offering a Pub/Sub Query Service , 2012, CLOUD 2012.

[32]  Damith Chinthana Ranasinghe,et al.  Recognition of falls using dense sensing in an ambient assisted living environment , 2017, Pervasive Mob. Comput..

[33]  Sven Schade,et al.  Semantic Observation Integration , 2012, Future Internet.

[34]  Paola Mello,et al.  Monitoring Time-Aware Social Commitments with Reactive Event Calculus , 2009 .

[35]  Wolfgang Nejdl,et al.  Publish/Subscribe for RDF-based P2P Networks , 2004, ESWS.

[36]  G Stix,et al.  The mice that warred. , 2001, Scientific American.

[37]  Fabio Viola,et al.  Enabling Interoperability in the Internet of Things: A OSGi Semantic Information Broker Implementation , 2017 .

[38]  J. Beard,et al.  The World Report on Ageing and Health. , 2016, The Gerontologist.

[39]  Antonio F. Gómez-Skarmeta,et al.  A complex event processing approach to perceive the vehicular context , 2015, Inf. Fusion.

[40]  Athanasios V. Vasilakos,et al.  When things matter: A survey on data-centric internet of things , 2016, J. Netw. Comput. Appl..

[41]  Michel Vacher,et al.  A french corpus of audio and multimodal interactions in a health smart home , 2012, Journal on Multimodal User Interfaces.

[42]  Ronald Brown,et al.  Smart-M3 information sharing platform , 2010, The IEEE symposium on Computers and Communications.

[43]  Daniele Braga,et al.  An execution environment for C-SPARQL queries , 2010, EDBT '10.

[44]  Federico Chesani,et al.  Verification of Choreographies During Execution Using the Reactive Event Calculus , 2008, WS-FM.

[45]  Wil M. P. van der Aalst,et al.  Event Abstraction for Process Mining using Supervised Learning Techniques , 2016, IntelliSys.

[46]  Angelo Montanari,et al.  Efficient Handling of Context Dependency in the Cached Event Calculus , 1994, TIME.

[47]  Jakob Nielsen,et al.  Enhancing the explanatory power of usability heuristics , 1994, CHI '94.

[48]  Paola Mello,et al.  Process Mining Monitoring for Map Reduce Applications in the Cloud , 2016, CLOSER.

[49]  Danh Le Phuoc,et al.  A Native and Adaptive Approach for Unified Processing of Linked Streams and Linked Data , 2011, SEMWEB.

[50]  Marek J. Sergot.  Bob Kowalski: A Portrait , 2002, Computational Logic: Logic Programming and Beyond.

[51]  Johanna Völker,et al.  Discovery of Personal Processes from Labeled Sensor Data - An Application of Process Mining to Personalized Health Care , 2015, ATAED@Petri Nets/ACSD.

[52]  Angelina Geetha,et al.  Healthcare informatics and analytics framework , 2015, 2015 International Conference on Computer Communication and Informatics (ICCCI).

[53]  Herbert Van de Sompel,et al.  Cool URIs and Dynamic Data , 2012, IEEE Internet Computing.

[54]  A. Dey.  World report on ageing and health , 2017, The Indian Journal of Medical Research.

[55]  Klaus Moessner,et al.  Predictive Analytics for Complex IoT Data Streams , 2017, IEEE Internet of Things Journal.

[56]  Abdulsalam Yassine,et al.  Towards an "Internet of Food": Food Ontologies for the Internet of Things , 2015, Future Internet.

[57]  Danh Le Phuoc,et al.  Linked Stream Data Processing , 2012, Reasoning Web.

[58]  Luca Benini,et al.  Reconfigurable natural interaction in smart environments: approach and prototype implementation , 2011, Personal and Ubiquitous Computing.

[59]  Alex Mihailidis,et al.  A Survey on Ambient-Assisted Living Tools for Older Adults , 2013, IEEE Journal of Biomedical and Health Informatics.

[60]  Minos N. Garofalakis,et al.  Issues in complex event processing: Status and prospects in the Big Data era , 2017, J. Syst. Softw..

[61]  Dieter Fensel,et al.  It's a Streaming World! Reasoning upon Rapidly Changing Information , 2009, IEEE Intelligent Systems.

[62]  Kenneth Chiu,et al.  Ontology Based Publish Subscribe Framework , 2006, iiWAS.

[63]  Volker Linnemann,et al.  A SPARQL Engine for Streaming RDF Data , 2007, 2007 Third International IEEE Conference on Signal-Image Technologies and Internet-Based System.

[64]  Alasdair J. G. Gray,et al.  Enabling Ontology-Based Access to Streaming Data Sources , 2010, SEMWEB.

[65]  Françoise Baude,et al.  A Distributed Publish/Subscribe System for RDF Data , 2013, Globe.

[66]  E. Olsson,et al.  Motor Function in Subjects with Mild Cognitive Impairment and Early Alzheimer’s Disease , 2005, Dementia and Geriatric Cognitive Disorders.

[67]  L. Jeannotte,et al.  The State of aging and health in America 2007 , 2007 .

[68]  Wil M. P. van der Aalst,et al.  Mining Process Model Descriptions of Daily Life through Event Abstraction , 2016, ArXiv.

[69]  Mohsen Nabian.  A Comparative Study on Machine Learning Classification Models for Activity Recognition , 2017 .

[70]  Paola Mello,et al.  A Distributed System Using MS Kinect and Event Calculus for Adaptive Physiotherapist Rehabilitation , 2014, 2014 Eighth International Conference on Complex, Intelligent and Software Intensive Systems.

[71]  Dmitry G. Korzun,et al.  Design of semantic information broker for localized computing environments in the internet of things , 2015, 2015 17th Conference of Open Innovations Association (FRUCT).

[72]  Luciano Bononi,et al.  A Semantic Publish-Subscribe Architecture for the Internet of Things , 2016, IEEE Internet of Things Journal.

[73]  Jan Mendling,et al.  Applying Process Mining to Smart Spaces: Perspectives and Research Challenges , 2015, CAiSE Workshops.

[74]  Francesco Antoniazzi,et al.  A web of things approach for indoor position monitoring of elderly and impaired people , 2017, 2017 21st Conference of Open Innovations Association (FRUCT).

[75]  Jürgen Dunkel,et al.  Intelligent M2M: Complex event processing for machine-to-machine communication , 2015, Expert Syst. Appl..

[76]  Paola Mello,et al.  A Rule-Based Calculus and Processing of Complex Events , 2012, RuleML.

[77]  Jing Li,et al.  An Ontology-Based Publish/Subscribe System , 2004, Middleware.

[78]  Jürgen Umbrich,et al.  Dataset Dynamics Compendium: A Comparative Study , 2010, COLD.

[79]  Michel Vacher,et al.  SVM-Based Multimodal Classification of Activities of Daily Living in Health Smart Homes: Sensors, Algorithms, and First Experimental Results , 2010, IEEE Transactions on Information Technology in Biomedicine.

[80]  M. Engardt,et al.  Activity Level and Balance in Subjects with Mild Alzheimer’s Disease , 2002, Dementia and Geriatric Cognitive Disorders.

[81]  K. Mani Chandy,et al.  Event Processing - Designing IT Systems for Agile Companies , 2009 .

[82]  Fabio Viola,et al.  A modular lightweight implementation of the Smart-M3 semantic information broker , 2016, 2016 18th Conference of Open Innovations Association and Seminar on Information Security and Protection of Information Technology (FRUCT-ISPIT).

[83]  Davide Anguita,et al.  A Public Domain Dataset for Human Activity Recognition using Smartphones , 2013, ESANN.

[84]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[85]  David Luckham,et al.  The power of events - an introduction to complex event processing in distributed enterprise systems , 2002, RuleML.