Verifying Modal Workflow Specifications Using Constraint Solving
| Affiliation auteurs | !!!! Error affiliation !!!! |
| Titre | Verifying Modal Workflow Specifications Using Constraint Solving |
| Type de publication | Conference Paper |
| Year of Publication | 2014 |
| Auteurs | Bride H, Kouchnarenko O, Peureux F |
| Editor | Albert E, Sekerinski E |
| Conference Name | INTEGRATED FORMAL METHODS, IFM 2014 |
| Publisher | SPRINGER INTERNATIONAL PUBLISHING AG |
| Conference Location | GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND |
| ISBN Number | 978-3-319-10181-1; 978-3-319-10180-4 |
| Mots-clés | Constraint Logic Programming., Modal specifications, Verification of Business Processes, Workflow Petri nets |
| Résumé | Nowadays workflows are extensively used by companies to improve organizational efficiency and productivity. This paper focuses on the verification of modal workflow specifications using constraint solving as a computational tool. Its main contribution consists in developing an innovative formal framework based on constraint systems to model executions of workflow Petri nets and their structural properties, as well as to verify their modal specifications. Finally, an implementation and promising experimental results constitute a practical contribution. |