Verifying Modal Workflow Specifications Using Constraint Solving - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

Verifying Modal Workflow Specifications Using Constraint Solving

Abstract

Nowadaysworkflowsareextensivelyusedbycompaniestoimproveorganizationalefficiencyandproductivity.Thispaperfocusesontheverificationofmodalworkflowspecificationsusingconstraintsolvingasacomputationaltool.ItsmaincontributionconsistsindevelopinganinnovativeformalframeworkbasedonconstraintsystemstomodelexecutionsofworkflowPetrinetsandtheirstructuralproperties,aswellastoverifytheirmodalspecifications.Finally,animplementationandpromisingexperimentalresultsconstituteapracticalcontribution.
Fichier principal
Vignette du fichier
BrideKP_2014.pdf (457.77 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01091283 , version 1 (05-12-2014)

Identifiers

Cite

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⟩
144 View
178 Download

Altmetric

Share

Gmail Facebook X LinkedIn More