Using Timed Automata Formalism For Modeling and Analyzing Home Care Plans
Mercredi 2 décembre 2015 à 10h, Salle du Conseil (A102), ISIMA
In this thesis we are interested in the problems underlying the design and the management of home care plans. 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 : home 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. First, we present a DSL (Domain Specific
Language) based approach tailored to express home care plans using high level and user-oriented abstractions. DSL enables us through this thesis to propose a temporalities language to specify temporalities of home care plan activities. Then, we describe how home care plans, formalized as timed automata, can be generated from these abstractions. We propose a three-step approach which consists in (i) mapping between elementary temporal specifications and timed automata called Pattern automata, (ii) combining patterns automata to build the activity automata using our composition algorithm and then (iii) constructing the global care plan automaton. The resulting care plan automaton encompasses all the possible allowed schedules of activities for a given patient. Finally, we show how verification and monitoring of the resulting care plan can be handled using existing techniques and tools, especially using UPPAAL Model Checker.
Claude Godart, Professeur, Université de Lorraine, rapporteur
Kamel Berkaoui, Professeur, Conservatoire National des Arts et Métiers, rapporteur
Elyes Lamine, Maître de Conférences, Ecole des Mines d’ALBI Carmaux, examinateur
Marinette Bouet, Maître de Conférences, LIMOS - Clermont-Ferrand, co-encadrante
Michel Schneider, Professeur émérite, LIMOS - Clermont-Ferrand, invité
Farouk Toumani, Professeur, LIMOS - Clermont-Ferrand, directeur de thèse
Rémi Bastide, Professeur, ISIS Ecole d’ingenieur, co-directeur de thèse