Towards a DSL-Based Approach for Specifying and Monitoring Home Care Plans

摘要

A (home) care plan defines the health cares or supportive cares delivered by health care professionals in patients' homes. Such a care plan is usually constructed through a complex process involving a comprehensive assessment of patient's needs as well as its social and physical environment. Managing home care plans is challenging because care plans are inherently non-structured processes which require complex interdisciplinary cooperation. This paper addresses the problems underlying the design and management of home care plans. First, we present a DSL (Domain Specific Language) based approach tailored to express home care plans using high level and user-oriented abstractions. Then, we describe and discuss preliminary results regarding formaliza-tion of the proposed DSL abstractions using timed automata in order to provide basic services to support analysis, verification, enactment and management of home care plans.