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 (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Nowadaysworkflowsareextensivelyusedbycompaniestoimproveorganizationalefficiencyandproductivity.Thispaperfocusesontheverificationofmodalworkflowspecificationsusingconstraintsolvingasacomputationaltool.ItsmaincontributionconsistsindevelopinganinnovativeformalframeworkbasedonconstraintsystemstomodelexecutionsofworkflowPetrinetsandtheirstructuralproperties,aswellastoverifytheirmodalspecifications.Finally,animplementationandpromisingexperimentalresultsconstituteapracticalcontribution.
Document type :
Conference papers
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/hal-01091283
Contributor : Olga Kouchnarenko <>
Submitted on : Friday, December 5, 2014 - 9:31:18 AM
Last modification on : Tuesday, December 18, 2018 - 4:38:25 PM
Long-term archiving on : Monday, March 9, 2015 - 6:02:08 AM

File

BrideKP_2014.pdf
Files produced by the author(s)

Identifiers

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, ⟨10.1007/978-3-319-10181-1_11⟩. ⟨hal-01091283⟩

Share

Metrics

Record views

306

Files downloads

209