Skip to Main content Skip to Navigation
Conference papers

Deviation Management during Process Execution

Marcos Aurélio Almeida da Silva 1 Xavier Blanc Reda Bendraou 1 
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Software development companies have been putting a lot of effort in adopting process models, however two main issues remain. On the one hand, process models are inherently incomplete, since companies can not capture all possible situations in a single model. On the other hand, managers can not force process participants (agents) to strictly follow these models. The effect of both issues is that companies need to be able to handle deviations during process enactment. In order to make sure that process agents follow the process model and that their deviations get detected and handled, they adopt the so-called Process-centered Software Engineering Environments (PSEEs). Unfortunately, the options proposed by these tools, when it comes to handling a deviation, are rather limited to basically ignoring or forbidding it. In the present work, we face this limitation by presenting an approach for detecting, managing and tolerating agent deviations. Besides, in this paper we present the formal specification for this approach in the Linear Temporal Logic (LTL). It has been used as a the basis of our PSEE prototype.
Document type :
Conference papers
Complete list of metadata
Contributor : Lip6 Publications Connect in order to contact the contributor
Submitted on : Thursday, March 10, 2016 - 11:11:23 AM
Last modification on : Sunday, June 26, 2022 - 9:47:50 AM



Marcos Aurélio Almeida da Silva, Xavier Blanc, Reda Bendraou. Deviation Management during Process Execution. 26th IEEE/ACM International Conference on Automated Software Engineering (ASE), Nov 2011, Lawrence, Kan, United States. pp.528-531, ⟨10.1109/ASE.2011.6100116⟩. ⟨hal-01286055⟩



Record views