Using Timed Automata Framework for Modeling Home Care Plans
| Autor: | Farouk Toumani, Michel Schneider, Kahina Gani, Marinette Bouet |
|---|---|
| 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-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020]), 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) |
| Jazyk: | angličtina |
| Rok vydání: | 2015 |
| Předmět: |
Model checking
Process modeling [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB] Process (engineering) Computer science business.industry 0102 computer and information sciences 02 engineering and technology Temporal expressions 01 natural sciences Automaton 010201 computation theory & mathematics Care plan 0202 electrical engineering electronic engineering information engineering Systems engineering 020201 artificial intelligence & image processing Set (psychology) Software engineering business |
| Zdroj: | International Conference on Service Science International Conference on Service Science, 2015, Shandong, China. pp.1--8, ⟨10.1109/ICSS.2015.36⟩ ICSS |
| DOI: | 10.1109/ICSS.2015.36⟩ |
| Popis: | A home care plan defines the set of medical and/or social activities that are carried out day after day at a patient's home. Such a care plan is usually constructed through a complex process involving a comprehensive assessment of patient's needs as well as his/her social and physical environment. Specification of home care plans is challenging for several reasons: care plans are inherently non-structured processes which involve repetitive, but irregular, activities, whose specification requires complex temporal expressions. These features make home care plans difficult to model using traditional process modeling technologies. In this paper, we describe how home care plans, formalized as timed automata, can be generated from a set of high level and user-oriented abstractions. The resulting care plan encompasses all the possible allowed schedules of activities for a given patient. We discuss then how verification and monitoring of the resulting care plan can be handled using existing techniques and tools (e.g., UPPAAL model checker). |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|