HomeTL: A visual formalism, based on temporal logic, for the design of home based care

Abstract

The demands of introducing a more practical means of managing and monitoring technology within the home environment to support independent living are increasing. Efforts have been made recently to address these concerns, however, they may be considered to be lacking in mathematical rigour or have not benefited from incorporating the needs and expectations of the healthcare professionals. In this paper, we present a prototype solution, referred to as HomeTL, which allows healthcare professionals to establish the conditions/rules within which technology in the home should operate. The HomeTL concept is based on previous work in the area of visual notation and linear temporal logic. A visual editor for HomeTL has been developed and is presented in this paper. Following a description of the methodology and the prototype developed, results from a usability study, conducted on three computer scientists specializing in the area of healthcare management, are presented. The initial results based on this survey are positive and show that the topic deserves further investigation.

The case for a systematic development of Building Automation Systems

“…Several DSLs have been proposed for tackling different aspects of home and building automation. Namely DomoML [21], HomeML for exchanging data about device placement [22], HomeTL for modeling sequences of actions in a home environment [23], HAAIS-DSL for decoupling fiedlbus design from configuration and commissioning for the development of home automation system [24]. DSL approaches have also been used in assisted design, i.e., engineering environments that store recurring design patterns and accelerate the design phase by suggesting the appropriate device configurations to fulfill a particular requirement [25].…”

Resolving conflicts in knowledge for ambient intelligence

“…Ontology and rule-based (Riboni and Bettini, 2011b;Springer and Turhan, 2009) Classic Logic-based (Artikis et al, 2010;Mastrogiovanni et al, 2011;Rugnone et al, 2007;Sadri, 2010) Defeasible Logic (Pajares Ferrando and Onaindia, 2012;Bikakis and Antoniou, 2010a) Limited, usually in the form of non-determinism…”

A Technique for Defining Metamodel Translations

“…Metamodeling is [1] the study and development of the theories, rules, constraints, and models used for modeling in a given domain. It is becoming increasingly popular for the definition of Domain-Specific Modeling Languages (DSML) [2]- [4] and it is standard procedure in ModelDriven Engineering (MDE) [5].…”