Verifying Modal Workflow Specifications Using Constraint Solving - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Verifying Modal Workflow Specifications Using Constraint Solving

Résumé

Nowadaysworkflowsareextensivelyusedbycompaniestoimproveorganizationalefficiencyandproductivity.Thispaperfocusesontheverificationofmodalworkflowspecificationsusingconstraintsolvingasacomputationaltool.ItsmaincontributionconsistsindevelopinganinnovativeformalframeworkbasedonconstraintsystemstomodelexecutionsofworkflowPetrinetsandtheirstructuralproperties,aswellastoverifytheirmodalspecifications.Finally,animplementationandpromisingexperimentalresultsconstituteapracticalcontribution.

Domaines

Informatique [cs] Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
BrideKP_2014.pdf (457.77 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Olga Kouchnarenko  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01091283

Soumis le : vendredi 5 décembre 2014-09:31:18

Dernière modification le : lundi 11 septembre 2023-17:41:18

Archivage à long terme le : lundi 9 mars 2015-06:02:08

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-FCOMTE UNIV-BM FEMTO-ST UNIV-BM-THESE UNIV-LORRAINE INRIA2 LORIA LORIA-FM
144 Consultations
178 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More