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.KeywordsControl FlowData FlowUnify Modeling LanguageData DomainFlow InteractionThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
