Authors:
Wang Zhaoxia
1
;
Jianmin Wang
2
;
Lijie Wen
2
and
Guiming Luo
2
Affiliations:
1
Tsinghua University, Logistical Engineering University and National Laboratory for Information Science and Technology (TNList), China
;
2
Tsinghua University, Ministry of Education and National Laboratory for Information Science and Technology (TNList), China
Keyword(s):
Business Entity, Data-centric Workflow, WFCP-net, ASK-CTL, Workflow Modeling, Workflow Analyzing.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Business Process Management
;
e-Business
;
Enterprise Engineering
;
Enterprise Information Systems
;
Knowledge Management and Information Sharing
;
Knowledge-Based Systems
;
Symbolic Systems
Abstract:
Despite the abundance of workflow analysis techniques from control-flow perspective, there is hardly any method for workflow verification from data processing perspective. In this paper, we restrict the WFCP-net, a Colored Petri Net with WF-net structure, to formally describe the key business entities in a data-centric workflow model. Then, we use ASK-CTL logic to describe the workflow requirements on business data processing perspective. The model checking method is adopted into our verification approach, which can explore some of the business contraventions of data perspectives in the workflow models. The effectiveness of our works has been validated with the CPN Tools.