Verifying Modal Workflow Specifications Using Constraint SolvingReportar como inadecuado




Verifying Modal Workflow Specifications Using Constraint Solving - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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





Autor: Hadrien Bride - Olga Kouchnarenko - Fabien Peureux -

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



DESCARGAR PDF




Documentos relacionados