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. © 2014 Springer International Publishing.
CITATION STYLE
Bride, H., Kouchnarenko, O., & Peureux, F. (2014). Verifying modal workflow specifications using constraint solving. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8739 LNCS, pp. 171–186). Springer Verlag. https://doi.org/10.1007/978-3-319-10181-1_11
Mendeley helps you to discover research relevant for your work.