Formal modeling language of workflow with data-data-aware workflow nets

• Article •

Formal modeling language of workflow with data-data-aware workflow nets

WANG Zhao-xia ,,,, WANG Jian-min,,, ZHU Xiao-chen,,

1.School of Software, Tsinghua University, Beijing 100084, China; 2.Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China;3.Key Laboratory for Information System Security, Ministry of Education, Tsinghua University, Beijing 100084, China;4.Tsinghua National Laboratory for Information Science and Technology, Beijing 100084, China; 5.Departmentof Logistical Information Engineering, Logistical Engineering University, Chongqing 400014, China

Online:2012-08-15 Published:2012-08-25

带数据工作流的形式化建模语言--数据感知的工作流网

王朝霞，,,，王建民，，朱笑尘，,

1.清华大学软件学院，北京100084；2.清华大学计算机科学与技术系，北京100084；3.清华大学信息系统安全教育部重点实验室，北京100084；4.清华信息科学与技术国家实验室（筹，北京100084；5.后勤工程学院后勤信息工程系，重庆400014

Abstract

Abstract: To model and verify the workflow formally before implementing workflow, the research status of workflow with data's formal modeling was summarized. After cleaning the interacting features between various data and control flow, a formal modeling language of workflow with data Data aware WorkFlow nets (DWF'nets) was proposed, and the behavior semantics of DWF nets were also given. According to the method of DWF'net model's rationality analysis/consistency analysis, the strong formal capacity of data-aware workflow net was verified.

Key words: business process management, workflow with data, formal modeling language, data aware workflow nets

摘要： 为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言--数据感知的工作流网，并给出其行为语义。通过工作流网模型的合理性分析/一致性分析方法的提出和方法的工具实现，证明了数据感知的工作流网具有较强的形式化建模能力。

关键词: 业务过程管理, 带数据工作流, 形式化建模语言, 数据感知的工作流网

CLC Number:

TP309

WANG Zhao-xia ,,,,, WANG Jian-min,,, ZHU Xiao-chen,,,. Formal modeling language of workflow with data-data-aware workflow nets[J]. .

王朝霞,,,,，王建民,,，朱笑尘,,,. 带数据工作流的形式化建模语言--数据感知的工作流网[J]. .

[1]	. Business process interoperability service framework based on blockchain [J]. , 2021, 27(9): 2508-2516.
[2]	. Multi perspective online anomaly detection method of business processes based on context awareness [J]. , 2021, 27(9): 2532-2541.
[3]	. Process model matching based on representation learning [J]. , 2021, 27(9): 2661-2669.
[4]	. QoS assessment framework and algorithms based on blockchain [J]. , 2021, 27(9): 2708-2720.
[5]	. Process concept drift detection approach based on log completeness [J]. , 2019, 25(第4): 873-881.
[6]	. Services matching algorithm based on specification attributes and indexing mechanism in business process management [J]. , 2019, 25(第4): 939-945.
[7]	. Data communication method based on microservice architecture to support reliable execution of business processes [J]. , 2019, 25(第4): 946-953.
[8]	. Batch processes configuration optimization method in business process [J]. , 2019, 25(第4): 962-968.
[9]	. Dependency relevancy driven noise filtering in business process [J]. , 2019, 25(第4): 969-977.
[10]	. Approach for individual task completion time prediction in business processes [J]. , 2019, 25(第4): 993-1000.
[11]	. Difference detection algorithm for process models based on independent path [J]. , 2018, 24(第7): 1766-1773.
[12]	. Extending α-algorithm to mine simplest 2-Loops [J]. , 2018, 24(第3): 591-601.
[13]	. Dynamical task allocation algorithm based on game theory in BPM [J]. , 2017, 23(第5期): 1007-1013.
[14]	. Extended bipartite graph model and similarity matching method for Artifact-centric business process models [J]. , 2017, 23(第5期): 1050-1059.
[15]	. Process-oriented knowledge recommendation by mining knowledge patterns [J]. , 2017, 23(第2期): 396-403.