Supporting the co-adaption of process properties

Djamel Khelladi 1 Reda Bendraou 1 Regina Hebig 1 Marie-Pierre Gervais 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Process verification has become an essential activity to correct and to remove errors before process execution. Typical process verification ecosystems propose to express properties to be verified on the process. When a process is adapted, the existing properties must naturally be rechecked to ensure that no errors have been introduced. However, the properties may become outdated and must be co-adapted w.r.t. the adapted process before to be rechecked. Otherwise, the verification may raise false alarms or may not detect newly introduced errors. In this paper, we propose a co-adaptation approach for control-flow process properties. We systematically studied control-flow process changes to identify those that do impact properties, and for which we propose resolution strategies. Our preliminary evaluation shows that our resolutions strategies allow to support users in correctly co-adapting impacted properties.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [14 references]  Display  Hide  Download

https://hal.sorbonne-universite.fr/hal-01474565
Contributor : Reda Bendraou <>
Submitted on : Tuesday, February 28, 2017 - 3:14:05 PM
Last modification on : Thursday, March 21, 2019 - 1:12:46 PM

Identifiers

Citation

Djamel Khelladi, Reda Bendraou, Regina Hebig, Marie-Pierre Gervais. Supporting the co-adaption of process properties. International Conference on Software and Systems Process, Dewayne E. Perry, May 2016, Austin, TX, United States. pp.1 - 5, ⟨10.1145/2904354.2904371⟩. ⟨hal-01474565⟩

Share

Metrics

Record views

103