基于矩阵的工作流逻辑网模型的化简及验证

doi:10.11896／j.issn.1002-137X.2018.07.052

摘要/Abstract

摘要： 在分析工作流时,Petri网是一种有效的建模工具,但在处理复杂的工作流时,其易引发“状态空间爆炸”问题。工作流逻辑作为工作流路径的逻辑框架,可实现对工作流网的进一步抽象。为了对规模较大的工作流的畅通性进行验证,利用Petri网对工作流对应的逻辑网进行建模,在此基础上,提出了一个基于矩阵的工作流逻辑网化简算法,为大规模的工作流自动化化简提供了理论基础。通过对银行选址的工作流逻辑网畅通性的验证,表明了该算法在解决实际问题时的有效性。

关键词: 工作流, 关联矩阵, 化简, 银行选址

Abstract: Petri net is used as an effective modeling tool when analyzing workflows,but it is easy to cause “state space explosion” problem when dealing with complex workflow.Workflow logic,as a logical framework for workflow paths,enables further abstraction of workflow networks.In order to verify the smoothness of the larger workflow,the Petro net is used to model the logic network corresponding to the workflow.On this basis,a matrix-based workflow logic algorithm was proposed,which provides a theoretical basis for automatic simplification of the large-scale workflow.At last,this algorithm was applied to the bank location to verify the smoothness of its workflow logic net,which reflects the effectiveness of the algorithm in solving the practical problem.

Key words: Bank location, Incidence matrix, Simplification, Workflow

中图分类号:

TP391.4

郑红,邓文轩,邓晓,卢兴见. 基于矩阵的工作流逻辑网模型的化简及验证[J]. 计算机科学, 2018, 45(7): 307-314. https://doi.org/10.11896／j.issn.1002-137X.2018.07.052

ZHENG Hong, DENG Wen-xuan, DENG Xiao, LU Xing-jian. Simplification and Verification of Matrix-based Workflow Logic Net Model[J]. Computer Science, 2018, 45(7): 307-314. https://doi.org/10.11896／j.issn.1002-137X.2018.07.052

参考文献

[1]袁崇义.Petri网原理与应用[M].北京:电子工业出版社,2005:230-238.
[2]HUANG Y Y,LI K Q.Survey:Legitimacy Verification of Work-flow Based on Petri Nets[J].Application Research of Compu-ters,2013,30(1):26-29.(in Chinese)
黄瑜岳,李克清.基于Petri网的工作流合法性验证综述[J].计算机应用研究,2013,30(1):26-29.
[3]LIU L.Research on Workflow Modeling Method and its Application Based on Petri Networks[D].Hangzhou:Zhejiang Scien-ce and Technology University,2013.(in Chinese)
刘磊.基于Petri 网的工作流模型化方法及其应用研究[D].杭州:浙江理工大学,2013.
[4]GAO J,WU H R.Research of Matrix-based Workflow ModelRationality Validation Algorithm[J].Computer Engineering and Design,2010,31(11):2621-2624,2628.(in Chinese)
高捷,吴华瑞.基于矩阵模型的工作流合理性验证算法研究[J].计算机工程与设计,2010,31(11):2621-2624,2628.
[5]WANG P L,JIANG C J.Use of Rank of Incidence Matrix for Judgement Fairness of Petri Nets[J].Journal of Software,1994(12):24-29.(in Chinese)
王培良,蒋昌俊.利用关联矩阵的秩判断Petri网的公平性[J].软件学报,1994(12):24-29.
[6]LIAO J J,WANG M Z.Eigenvalues of Incidence Matrices Applied to the Analysis of Petri Net Structures[J].Journal of Applied Sciences,2010,28(4):417-423.(in Chinese)
廖晶静,王明哲.用关联矩阵特征值分析Petri网模型结构[J].应用科学学报,2010,28(4):417-423.
[7]MENG Y G,SONG W,YE J H.Reducing of Workflow Logic Net Based on Petri Nets by Using Matrix [J].Control & Automation,2006,22(21):49-51.(in Chinese)
孟永刚,宋文,叶剑虹.基于Petri网的工作流逻辑化简规则的矩阵表示[J].微计算机信息,2006,22(21):49-51.
[8]CHEN W,DA SILVA R F,DEELMAN E,et al.Balanced task clustering in scientific workflows[C]∥2013 IEEE 9th International Conference on eScience (eScience).IEEE,2013:188-195.
[9]CHEN X,ZHOU Y,YUE X B,et al.Research about New Technology for Petri Net’s Simplification [J].Computer Engineering and Applications,2012,48(5):47-50.(in Chinese)
陈曦,周彦,乐晓波,等.Petri网化简新技术研究[J].计算机工程与应用,2012,48(5):47-50.
[10]YUAN G,SUN R Z,XIANG Y,et al.Semantic Validation of Workflow Based Condition-restricted and its Application[J].Journal of Chinese Computer Systems,2013,34(9):2051-2055.(in Chinese)
袁钢,孙瑞志,向勇,等.基于条件约束的工作流语义验证方法及应用[J].小型微型计算机系统,2013,34(9):2051-2055.
[11]LI Y.Rationality Analysis of Enterprise Business Process Based on Simplification Rules and Process Evaluation [J].China CIO News,2014(4):16-17,19.(in Chinese)
李燕.基于化简规则与过程评价的企业业务过程合理性分析[J].信息系统工程,2014(4):16-17,19.
[12]BOUCHEKIR R,BOUKHEDOUMA S,BOUKALA M C.Symbolic probabilistic analysis and verification of inter-organizatio-nal workflow[C]∥2016 International Conference on Information Technology for Organizations Development (IT4OD).IEEE,2016:1-8.
[13]WANG S H,WEN L J,WEI D S,et al.SSDT Matrix-based Behavioral Similarity Algorithm for Process Models [J].Computer Integrated Manufacturing Systems,2013,19(8):1822-1831.(in Chinese)
汪抒浩,闻立杰,魏代森,等.基于任务最短跟随距离矩阵的流程模型行为相似性算法[J].计算机集成制造系统,2013,19(8):1822-1831.

相关文章 15

[1]	柳鹏, 刘波, 周娜琴, 彭心怡, 林伟伟. 混合云工作流调度综述 Survey of Hybrid Cloud Workflow Scheduling 计算机科学, 2022, 49(5): 235-243. https://doi.org/10.11896/jsjkx.210300303
[2]	林潮伟, 林兵, 陈星. 边缘环境下基于模糊理论的科学工作流调度研究 Study on Scientific Workflow Scheduling Based on Fuzzy Theory Under Edge Environment 计算机科学, 2022, 49(2): 312-320. https://doi.org/10.11896/jsjkx.201000102
[3]	窦帅, 李子扬, 朱家佳, 李晓辉, 李雪松, 米琳, 杨光, 李传荣. 基于jBPM的科学试验管理系统的设计与实现 Design and Implementation of Scientific Experiment Management System Based on jBPM 计算机科学, 2021, 48(6A): 658-663. https://doi.org/10.11896/jsjkx.200600158
[4]	刘漳辉, 赵旭, 林兵, 陈星. 混合云环境下基于模糊理论的科学工作流数据布局策略 Data Placement Strategy of Scientific Workflow Based on Fuzzy Theory in Hybrid Cloud 计算机科学, 2021, 48(11): 199-207. https://doi.org/10.11896/jsjkx.200900009
[5]	马堉银, 郑万波, 马勇, 刘航, 夏云霓, 郭坤银, 陈鹏, 刘诚武. 一种基于深度强化学习与概率性能感知的边缘计算环境多工作流卸载方法 Multi-workflow Offloading Method Based on Deep Reinforcement Learning and ProbabilisticPerformance-awarein Edge Computing Environment 计算机科学, 2021, 48(1): 40-48. https://doi.org/10.11896/jsjkx.200900195
[6]	张龙信, 周立前, 文鸿, 肖满生, 邓晓军. 基于异构云计算的成本约束下的工作流能量高效调度算法 Energy Efficient Scheduling Algorithm of Workflows with Cost Constraint in Heterogeneous Cloud Computing Systems 计算机科学, 2020, 47(8): 112-118. https://doi.org/10.11896/jsjkx.200300038
[7]	孙敏, 陈中雄, 叶侨楠. 云环境下基于HEDSM的工作流调度策略 Workflow Scheduling Strategy Based on HEDSM Under Cloud Environment 计算机科学, 2020, 47(6): 252-259. https://doi.org/10.11896/jsjkx.190400047
[8]	黄梦婷, 张灵, 姜文超. 基于流形正则化的多类型关系数据联合聚类方法 Multi-type Relational Data Co-clustering Approach Based on Manifold Regularization 计算机科学, 2019, 46(6): 64-68. https://doi.org/10.11896/j.issn.1002-137X.2019.06.008
[9]	徐俊, 项倩红, 肖刚. 基于改进混合蛙跳算法的云工作流负载均衡调度优化 Load Balancing Scheduling Optimization of Cloud Workflow Using Improved Shuffled Frog Leaping Algorithm 计算机科学, 2019, 46(11): 315-322. https://doi.org/10.11896/jsjkx.181001866
[10]	杜艳明, 肖建华. 云环境下基于优先级的多QoS约束工作流调度 Workflow Scheduling Strategy with Multi-QoS Constraint Based on Priority in Cloud Environment 计算机科学, 2019, 46(10): 128-134. https://doi.org/10.11896/jsjkx.180801591
[11]	徐健锐, 朱会娟. 基于自适应惩罚函数的云工作流调度协同进化遗传算法 Coevolutionary Genetic Algorithm of Cloud Workflow Scheduling Based on Adaptive Penalty Function 计算机科学, 2018, 45(8): 105-112. https://doi.org/10.11896/j.issn.1002-137X.2018.08.019
[12]	何思源,欧博,廖鑫. 分布式工作流环境下角色匹配的访问控制模型 Role Matching Access Control Model for Distributed Workflow 计算机科学, 2018, 45(7): 129-134. https://doi.org/10.11896／j.issn.1002-137X.2018.07.021
[13]	李廷元, 王博岩. QoS约束云环境下的工作流能效调度算法 Workflow Energy-efficient Scheduling Algorithm in Cloud Environment with QoS Constraint 计算机科学, 2018, 45(6A): 304-309.
[14]	王国豪,李庆华,刘安丰. 多目标最优化云工作流调度进化遗传算法 Evoluation Genetic Algorithm of Multi-objective Optimization Scheduling on Cloud Workflow 计算机科学, 2018, 45(5): 31-37. https://doi.org/10.11896/j.issn.1002-137X.2018.05.005
[15]	赵莹, 赵川, 黄苾, 代飞. BPMN 2.0过程模型的语义和分析 Semantics and Analysis of BPMN 2.0 Process Models 计算机科学, 2018, 45(11A): 558-563.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed