Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data

Hadrien Bride 1, 2 Olga Kouchnarenko 1, 2 Fabien Peureux 1
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : For improving efficiency and productivity companies are used to work with workflows that allow them to manage the tasks and steps of business processes. Furthermore, modalities have been designed to allow loose specifications by indicating whether activities are necessary or admissible. This paper aims at verifying modal specifications of coloured workflows with data assigned to the tokens and modified by transitions. To this end, executions of coloured workflow nets are modelled using constraint systems, and constraint solving is used to verify modal specifications specifying necessary or admissible behaviours. An implementation supporting the proposed approach and promising experimental results on an issue tracking system constitute a practical contribution.
Type de document :
Communication dans un congrès
The Ershov Informatics Conference (the PSI Conference Series, 10th edition) , Aug 2015, Kazan, Russia. Springer, The Ershov Informatics Conference (the PSI Conference Series, 10th edition) pp.15, 2015
Liste complète des métadonnées

https://hal.inria.fr/hal-01242370
Contributeur : Olga Kouchnarenko <>
Soumis le : vendredi 11 décembre 2015 - 22:56:31
Dernière modification le : mardi 18 décembre 2018 - 16:38:25

Identifiants

  • HAL Id : hal-01242370, version 1

Citation

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux. Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data. The Ershov Informatics Conference (the PSI Conference Series, 10th edition) , Aug 2015, Kazan, Russia. Springer, The Ershov Informatics Conference (the PSI Conference Series, 10th edition) pp.15, 2015. 〈hal-01242370〉

Partager

Métriques

Consultations de la notice

239