These three strong, and evidently wrong, assumptions were exactly the reasons why we initiated our work on the detection and handling of deviations in process enactment as well as our work on process verification. For the last two decades, the proposed solutions were either too restrictive, forbidding any kind of deviations or too permissive and lacked the automatic support for decision making initiatives. Flexibility and a large adoption by development teams were one of our main driving goals in the different contributions that will be presented in this HDR defense. However, as it will be demonstrated too, this was never achieved at the expense of formality and reliability aspects.
The presentation will go through the different contributions we made to face the above mentioned issues/assumptions. It essentially presents our work on detecting and handling deviations during process enactment and our work on process verification. A detailed motivation of the issues and challenges we tried to solve under each topic will be presented. It is worth noticing that the contributions presented are interdisciplinary and revolve around three main axes: Process Engineering, Model-Driven Engineering and Formal methods.
Defence : 12/14/2015 - 09h30 - Site Jussieu 25-26/105
Jury members :
Colin Atkinson, Professor, university of Mannheim, Germany [Rapporteur]
Laurence Duchien: Professor, university of Lille 1, France [Rapporteur]
Dominique Rieu: Professor, university of Grenoble 2, France [Rapporteur]
Marie-Pierre Gervais, Professor, university of Nanterre, France
Jean-Marc Jézéquel: Professor, university of Rennes 1, France
Fabrice Kordon, Professor, Sorbonne Universitas, UPMC, Paris, France
Leon Osterweil, Professor, university of Massachusetts, Amherst, USA
- KHELLADI Djamel Eddine : Co-évolution des contraintes OCL suite à l'évolution des métamodèles.
- LAURENT Yoann : Alloy4PV : Un Framework pour la Vérification de Procédés Métiers.