FORMALLY MODELING AND ANALYZING DATA-CENTRIC WORKFLOW USING WFCP-NET AND ASK-CTL

摘要：

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.

关键词： Business Entity Data-centric Workflow WFCP-net ASK-CTL Workflow Modeling Workflow

作者: Zhaoxia Wang Jianmin Wang Lijie Wen Guiming Luo

作者单位: Department of Computer Science, Tsinghua University, Beijing, China ;School of Software, Tsinghua Un School of Software, Tsinghua University, Beijing, China;Key Laboratory for Information System Securi

会议类型: 国际会议

会议名称: 13th International Conference on Enterprise Information System(第13届企业信息系统国际会议 ICEIS 2011)

会议地点: 北京

会议语种:英文

页码: 209-214

在线出版日期: 2011-06-08（万方平台首次上网日期，不代表论文的发表时间）