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

• 论文 •

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

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

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

出版日期:2012-08-15 发布日期:2012-08-25

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

摘要/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

中图分类号:

TP309

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

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

[1]	倪维健,吉桂芳,曾庆田,刘彤,段华. 基于表示学习的业务过程模型匹配方法[J]. 计算机集成制造系统, 2021, 27(9): 2661-2669.
[2]	王焕强,俞东进,金一科,袁友伟. 基于微服务架构和支持业务过程可靠执行的数据通信方法[J]. 计算机集成制造系统, 2019, 25(第4): 946-953.
[3]	吴泓辰,李国菁. 业务过程成批处理配置优化方法[J]. 计算机集成制造系统, 2019, 25(第4): 962-968.
[4]	代飞,莫启,李彤,谢仲文,秦江龙. 一种混合式的过程编排定义方法[J]. 计算机集成制造系统, 2016, 22(第2期): 363-371.
[5]	胡广昌,吴步丹,陈俊亮. 基于情景感知和规则导向的业务过程自适应[J]. 计算机集成制造系统, 2013, 19(08 ): 1898-1905.
[6]	徐刚,胡昊,余萍,葛季栋,吕建. 基于分层过程模型的过程演化技术[J]. 计算机集成制造系统, 2013, 19(08 ): 1913-1920.
[7]	张长江，李霄飞，陈泳，汪慰斌. 工作流技术在电信服务开通系统中的应用[J]. , 2011, 17(08): 0-0.
[8]	彭武良,，卢睿，刘振. 产品设计项目过程管理的研究与实现[J]. , 2008, 14(01): 0-0.
[9]	冯国奇，王成恩. 分布式业务过程管理中Web服务的应用及选择[J]. , 2006, 12(02): 0-0.
[10]	谭伟，范玉顺. 业务过程管理框架与关键技术研究[J]. , 2004, 10(7): 0-0.