Team : MoVe
Model-Driven Process Engineering for flexible yet sound process modeling, execution and verification
and quality in building software. In the context of large-scale industrial projects, they are more than vital and represent the means to foster the respect of the project’s deadlines and reliability criteria. However, this is based on three strong assumptions: (i) the first one is that the process model is accurate and perfectly captures the right activities, milestones, artifacts and roles. This also means that it represents the best possible enactment of a process for a given project’s context. (ii) The second assumption is that the process’s agents are strictly following the process model and that they don’t take any personal initiative to perform the process differently. (iii) The third assumption is that the process model is sound and free of any inconsistencies.
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.
: 12/14/2015 - 09h30 - Site Jussieu 25-26/105Jury 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
- LAURENT Yoann : Alloy4PV : Un Framework pour la Vérification de Procédés Métiers.