Abstract
A WFMS(workflow management system) contains two basic elements: the workflow model and the workflow engine. It is important to verify workflow models before they are put to execution. Traditional workflow models mainly describe workflows either from the control perspective or from the data perspective. In fact, the control flow and the data flow are two important aspects for workflow modeling and they are not independent from each other. A new workflow modeling technique, named Dual Workflow Nets (DWF-nets), is proposed to explicitly model the control flow and data flow of workflow processes. Besides, the control/data flow interactions can be captured in DWF-nets. Moreover, the control/data inconsistency, which is neglected by traditional modeling techniques, can be detected by verification of DWF-nets. © Springer-Verlag Berlin Heidelberg 2007.
Cite
CITATION STYLE
Fan, S., Dou, W., & Chen, J. (2007). Dual workflow nets: Mixed control/data-flow representation for workflow modeling and verification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4537 LNCS, pp. 433–444). Springer Verlag. https://doi.org/10.1007/978-3-540-72909-9_46
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
