On verification of nested workflows with extra constraints: From theory to practice
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F14%3A10194760" target="_blank" >RIV/00216208:11320/14:10194760 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1016/j.eswa.2013.08.021" target="_blank" >http://dx.doi.org/10.1016/j.eswa.2013.08.021</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.eswa.2013.08.021" target="_blank" >10.1016/j.eswa.2013.08.021</a>
Alternative languages
Result language
angličtina
Original language name
On verification of nested workflows with extra constraints: From theory to practice
Original language description
Workflows are used to formally describe processes of various types such as business and manufacturing processes. One of the critical tasks of workflow management is automated discovery of possible flaws in the workflow - workflow verification. In this paper, we formalize the problem of workflow verification as the problem of verifying that there exists a feasible process for each task in the workflow. This problem is tractable for nested workflows that are the workflows with a hierarchical structure similar to hierarchical task networks in planning. However, we show that if extra synchronization, precedence, or causal constraints are added to the nested structure, the workflow verification problem becomes NP-complete. We present a workflow verificationalgorithm for nested workflows with extra constraints that is based on constraint satisfaction techniques and exploits an incremental temporal reasoning algorithm. We then experimentally demonstrate efficiency of the proposed techniques
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Expert Systems with Applications
ISSN
0957-4174
e-ISSN
—
Volume of the periodical
41
Issue of the periodical within the volume
3
Country of publishing house
US - UNITED STATES
Number of pages
15
Pages from-to
904-918
UT code for WoS article
000328443900015
EID of the result in the Scopus database
—