Verifying Modal Workflow Specifications Using Constraint SolvingReport as inadecuate




Verifying Modal Workflow Specifications Using Constraint Solving - Download this document for free, or read online. Document in PDF available to download.

1 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies 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.

Keywords : Modalspecifications WorkflowPetrinets VerificationofBusinessProcesses ConstraintLogicProgramming





Author: Hadrien Bride - Olga Kouchnarenko - Fabien Peureux -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents