Verifying Modal Workflow Specifications Using Constraint Solving

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, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Nowadaysworkflowsareextensivelyusedbycompaniestoimproveorganizationalefficiencyandproductivity.Thispaperfocusesontheverificationofmodalworkflowspecificationsusingconstraintsolvingasacomputationaltool.ItsmaincontributionconsistsindevelopinganinnovativeformalframeworkbasedonconstraintsystemstomodelexecutionsofworkflowPetrinetsandtheirstructuralproperties,aswellastoverifytheirmodalspecifications.Finally,animplementationandpromisingexperimentalresultsconstituteapracticalcontribution.
Type de document :
Communication dans un congrès
The 11th International Conference on Integrated Formal Methods, IFM'2014, Sep 2014, Bertinoro, Italy. pp.171 - 186, 2014, LNCS. 〈10.1007/978-3-319-10181-1_11〉
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01091283
Contributeur : Olga Kouchnarenko <>
Soumis le : vendredi 5 décembre 2014 - 09:31:18
Dernière modification le : jeudi 11 janvier 2018 - 06:24:26
Document(s) archivé(s) le : lundi 9 mars 2015 - 06:02:08

Fichier

BrideKP_2014.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux. Verifying Modal Workflow Specifications Using Constraint Solving. The 11th International Conference on Integrated Formal Methods, IFM'2014, Sep 2014, Bertinoro, Italy. pp.171 - 186, 2014, LNCS. 〈10.1007/978-3-319-10181-1_11〉. 〈hal-01091283〉

Partager

Métriques

Consultations de la notice

243

Téléchargements de fichiers

108