Towards a DSL-Based Approach for Specifying and Monitoring Home Care Plans
Autor: | Michel Schneider, Kahina Gani, Marinette Bouet, Farouk Toumani |
---|---|
Přispěvatelé: | Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS), Ecole Nationale Supérieure des Mines de St Etienne-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020]) |
Jazyk: | angličtina |
Rok vydání: | 2013 |
Předmět: |
Domain-specific language
Process management [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB] business.industry Process (engineering) Computer science 0102 computer and information sciences 02 engineering and technology 01 natural sciences Automaton Business process management Digital subscriber line 010201 computation theory & mathematics Care plan Health care 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing In patient business |
Zdroj: | Business Process Management Workshops-BPM 2013 International Workshops Business Process Management Workshops-BPM 2013 International Workshops, 2013, Beijing, China. pp.342--354, ⟨10.1007/978-3-319-06257-0_27⟩ Business Process Management Workshops ISBN: 9783319062563 Business Process Management Workshops |
DOI: | 10.1007/978-3-319-06257-0_27⟩ |
Popis: | 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 formalization 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. |
Databáze: | OpenAIRE |
Externí odkaz: |