Skip to Main content Skip to Navigation
Conference papers

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 metadata

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/hal-01091283
Contributor : Olga Kouchnarenko Connect in order to contact the contributor
Submitted on : Friday, December 5, 2014 - 9:31:18 AM
Last modification on : Saturday, October 16, 2021 - 11:26:06 AM
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

367

Files downloads

386