一种基于资源约束的工作流建模及分析方法

doi:10.3969/j.issn.0372-2112.2012.08.001

电子学报

• 学术论文 • 下一篇

一种基于资源约束的工作流建模及分析方法

庞善臣^1,2

1. 山东科技大学信息科学与工程学院, 山东青岛 266590;
2. 清华大学计算机科学系, 北京 100084

收稿日期:2011-08-26 修回日期:2011-11-10 出版日期:2012-08-25
- 作者简介:
- 庞善臣 男,1974年出生于山东嘉祥.中国计算机学会Petri网专业委员会副主任,中国计算机学会服务计算专业委员委员,2008年同济大学计算机软件与理论专业博士毕业,研究方向包括Petri网理论与应用、服务计算、可信计算、分布式并发系统分析与验证等. E-mail:shanchenpang2008@gmail.com
- 基金资助:
- 国家973重点基础研究发展规划 (No.2010CB328105); 国家自然科学基金 (No.60970001,No.91018007,No.61170183); 山东省优秀中青年科学家科研奖励基金 (No.BS2011SW025,No.BS2011DX027)

Modeling and Verification of Workflow Based on Resource Constraint

PANG Shan-chen^1,2

1. College of Information Science & Engineering, Shandong University of Science & Technology, Qingdao, Shandong 266590, China;
2. Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China

Received:2011-08-26 Revised:2011-11-10 Online:2012-08-25 Published:2012-08-25
- Supported by:
- National Program on Key Basic Research Project of China (973 Program) (No.2010CB328105); National Natural Science Foundation of China (No.60970001, No.91018007, No.61170183); Scientific Research Award Fund for Outstanding Young and Middle-aged Scientists of Shandong Province (No.BS2011SW025, No.BS2011DX027)

摘要/Abstract

摘要： 资源约束是工作流正确实施的一个瓶颈问题,因此工作流系统的资源建模及模型正确性验证方法显得非常重要.为此,基于Petri网和工作流建模方法,提出了一种资源约束的工作流系统的形式化建模和分析技术,定义了资源空间(RS)、资源子网、资源工作流网和资源工作流网完整性(soundness)的概念,建立了资源调用视图以及Petri网影射模型,得到了资源工作流网保持完整性判定的一个充要条件.该方法将系统资源建模和过程建模合成到一个模型中,解决了工作流系统资源和过程分别建模给系统的正确性验证带来的困难,为工作流系统资源状态的可视化和进行有效的系统验证提供了模型依据.给出的实例验证了模型的有效性.

关键词: 资源约束, 工作流网, 资源子网, 资源工作流网, 完整性

Abstract: Resource constraint is a choke point of workflow system,and the efficient resource modeling and Verification methods are more important for workflow management system(WFMS).A new formal method used to model and analyze workflow system with resource constraint,resource workflow net,is presented based on Petri net and workflow techniques in this paper.Based on the definition of resource space(RS),resource subnet,resource workflow net(RWF-net),and soundness of the RWF-net,the resource scheduling views model formulated in WFMS are described and translated into Petri net,and a necessary and sufficient condition for the soundness of RWF-net is presented.The method integrate process model and resource model that can solve system analysis and verification problem for the process and resource modeled respectively and assure the consistency between process model and resource model. The usability of the research results in this paper is illustrated by an example.

Key words: resource constraint, workflow net, resource subnet, resource workflow net, soundness

中图分类号:

TP311

庞善臣. 一种基于资源约束的工作流建模及分析方法[J]. 电子学报, DOI: 10.3969/j.issn.0372-2112.2012.08.001.

PANG Shan-chen. Modeling and Verification of Workflow Based on Resource Constraint[J]. Acta Electronica Sinica, DOI: 10.3969/j.issn.0372-2112.2012.08.001.

参考文献

[1] 罗海滨,范玉顺,吴澄.工作流技术综述[J].软件学报,2000,11(7):899-907. LUO Hai-Bin,FAN Yu-Shun,WU Cheng. Overview of workflow technology[J].Journal of Software,2000,11(7):899-907.(in Chinese)

[2] 李建强,范玉顺.一种工作流模型的性能分析方法[J].计算机学报,2003,26(5):513-523. LI Jian-Qiang FAN Yu-Shun.A Method of workflow model performance analysis[J].Chinese Journal of Computers,2003,26(5):513-523.(in Chinese)

[3] W M P van der Aalst.The application of Petri nets to workflow management[J].The Journal of Circuit System and Computers 1998,8(1):21-66.

[4] 李炜,曾广周,王晓琳.一种基于时间Petri网的工作流模型[J].软件学报,2002,13(8):1666-1671. LI Wei,ZENG Guang-Zhou,WANG Xiao-Lin.A workflow model based on timed Petri net[J].Journal of Software,2002,13(8):1666-1671.(in Chinese)

[5] 刘婷,林闯,刘卫东.基于时间Petri网的工作流系统模型的线性推理[J].电子学报,2002,30(2):245-248. LIU Ting,LIN Chuang,LIU Wei-Dong.Linear temporal inference of workflow management system based on timed Petri net models[J].Acta Electronica Sinica,2002,30(2):245-248.(in Chinese)

[6] JianQiang Li,YuShun Fan,MengChu Zhou.Timing constrain workflow nets for workflow analysis[J].IEEE Transaction on System,Man,and Cybernetics-Part A:System and Humans,2003,33(2):179-193.

[7] Papazoglou M,Delis A,Bouguettaya A,et al.Class library support for workflow environments and application[J].IEEE Transactions on Computers,1997,46(6):673-686.

[8] 陈翔,夏国平.基于着色Petri网的工作流建模和合理性分析[J].计算机集成制造技术—CIMS,2004,10(4):381-387. CHEN Xiang,XIA Guo-Ping.Workflow modeling based on colored Petri nets and its soundness analysis[J].Computer Integrated Manufacturing Systems,2004,10(4):381-387.(in Chinese)

[9] 林闯,田立勤,魏丫丫.工作流系统模型的性能等价分析[J].软件学报,2002,13(8):1472-1480. LIN Chuang,TIAN Li-Qin,WEI Ya-Ya.Performance equivalent analysis of workflow systems[J].Journal of Software,2002,13(8):1472-1480.(in Chinese)

[10] 唐达,徐超,杨晓丽.工作流建模中时态逻辑的研究与应用[J].计算机集成制造技术—CIMS,2004,10,(4):388-393. TANG Da,XU Chao,YANG Xiao-Li.Temporal logic applied in workflow modeling[J].Computer Integrated Manufacturing Systems,2004,10,(4): 388-393.(in Chinese)

[11] 杜玉越,蒋昌俊.基于工作流网的实时协同系统模拟技术[J].计算机学报,2004,27(4):471-481. DU Yu-Yue,JIANG Chang-Jun.Modeling real-time cooperative systems with workflow nets[J].Chinese Journal of Computers,2004,27(4):471-481.(in Chinese)

[12] 李建强,范玉顺.工作流模型时间有界性验证与分析研究[J].计算机集成制造系统—CIMS,2002,8(10):770-775. LI Jian-Qiang,FAN Yu-Shun.Timing boundedness verification and analysis of workflow model[J].Computer Integrated Manufacturing Systems,2002,8(10):770-775.(in Chinese)

[13] Mrata T.Petri nets:Properties,analysis and applications[J].Proceedings of the IEEE,1989,77(4):541-580.

[14] 庞善臣,蒋昌俊,孙萍,周长红.共享合成Petri网的性质分析[J].自动化学报,2004,30(6):944-948. PANG Shan-Chen,JIANG Chang-Jun,SUN Ping,ZHOU Chang-Hong.Property analysis of shared composition Petri nets[J].Acta Automatica Sinica,2004,30(6):944-948.(in Chinese)

[15] Kamel Barkaoui,Laure Petrucci.Structral analysis of workflow nets with shared resources.Computing Science Reports,Proc WFM’98.Lisbon,Portugal:Eindhoven University of Technology,1998.82-95.

[16] 袁崇义.Petri网原理与应用[M].北京:电子工业出版社,2005.225-258.

[17] Alireza Khoshkbarforoushha,Pooyan Jamshidi,Ali Nikravesh,Fereidoon Shams.Metrics for BPEL process context-independency analysis[J].Service Oriented Computing and Applications,2011,5(3):139-157.

[18] Narges Bahi-Jaber,Dominique Pontier.Modeling transmission of directly transmitted infectious diseases using colored stochastic Petri nets[J].Mathematical Biosciences 2003,185(1):1-13.

[19] Li Hui-Fang,Fan Yu-Shun.Workflow model analysis based on time constraint petri nets[J].Journal of Software,2004,15(1):17-26.

[20] Jin Hyun Son,Myoung Ho Kim.Improving the performance of time-constrained workflow processing[J].The Journal of Systems and Software,2001,58(3):211-219.

[21] Ling S,Schmidt H.Time Petri nets for workflow modeling and analysis.Proceedings of the IEEE international Conference on Advanced Information System,Man and Cybernetics.Nashville,TN,USA:IEEE Press,2000.3039-3044.

[22] Dongsheng Liu,Jianmin wang,Stephen C F Chan.Modeling workflow processes with colored Petri nets[J].Computer in Industry,2002,49(3):267-281.

[23] Injun Choi,Chlsoon Park Changwoo Lee.Task net: Transactional workflow model based on colored Petri net[J].European Journal of Operational Research,2002,136(2):383-402.

[24] Lichih Wang,Shaoying Wu.Modeling with colored timed object-oriented Petri nets for automated manufacturing systems[J].Computers Ind Eng.1998,34(2):463-480.

[25] Andreas Geppert,Dimitrios Tombros,Klaus R Dittrich.Defining the semantics of reactive components in event-driven workflow execution with event histories[J].Information System,1998,23(4):235-252.

[26] 胡乃静,顾宁,施伯乐.基于语义约束资源工作流并发正确性保证[J].计算机研究与发展,2003,40(5):712-719. HU Nai-Jing,GU Ning,and SHI Bai-Le.Correctness of concurrency based on semantic constraint resource workflow[J].Journal of Computer Research and Development,2003,40(5):712-719.(in Chinese)

一种基于资源约束的工作流建模及分析方法

Modeling and Verification of Workflow Based on Resource Constraint

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

[1]	吴志军, 杨一鸣, 张云. 基于身份签名的北斗二代民用D2导航电文认证协议[J]. 电子学报, 2021, 49(9): 1790-1798.
[2]	杜瑞忠, 石朋亮, 田俊峰. 基于DDCT表的多副本完整性审计方案[J]. 电子学报, 2020, 48(1): 164-171.
[3]	彭朝英, 席政军. 基于最小熵的完整性度量[J]. 电子学报, 2018, 46(8): 1822-1828.
[4]	马行坡, 危锋, 梁俊斌, 李然, 马文鹏, 祁传达. TMWSNs中一种确保数据完整性的高能效时空Top-k查询协议[J]. 电子学报, 2018, 46(5): 1274-1280.
[5]	王宏伟, 连捷, 夏浩. 通讯资源受限网络系统的非均匀采样切换控制[J]. 电子学报, 2018, 46(11): 2597-2603.
[6]	杜思军, 徐尚书, 刘俊南, 张俊伟, 马建峰. 云计算中抗共谋攻击的数据位置验证协议[J]. 电子学报, 2017, 45(6): 1321-1326.
[7]	周洪丞, 杨超, 马建峰, 张俊伟. 云端数据异地容灾验证方案研究[J]. 电子学报, 2016, 44(10): 2485-2494.
[8]	鲁法明, 曾庆田, 段华, 刘聪. 一种基于案例簇和同步核的过程发现算法[J]. 电子学报, 2015, 43(6): 1127-1136.
[9]	陈乃金, 江建慧. 一种粗粒度可重构体系结构多目标优化映射算法[J]. 电子学报, 2015, 43(11): 2151-2160.
[10]	张晓刚, 杨路明, 潘久辉. 面向数据集成的一种高效一致性查询方法[J]. 电子学报, 2014, 42(8): 1474-1479.
[11]	陈伟, 于乐, 高迪. 一种支持完整性验证的隐私保护直方图融合算法[J]. 电子学报, 2014, 42(11): 2268-2272.
[12]	黄贻望, 何克清, 冯在文, 黄颖. 一种目标感知的可配置业务流程分析方法[J]. 电子学报, 2014, 42(10): 2060-2068.
[13]	周恩光, 李舟军, 郭华, 贾仰理. 一个改进的云存储数据完整性验证方案[J]. 电子学报, 2014, 42(1): 150-154.
[14]	俞能海, 郝卓, 徐甲甲, 张卫明, 张驰. 云安全研究进展综述[J]. 电子学报, 2013, 41(2): 371-381.
[15]	马海峰, 姚念民, 杜文杰. 基于不等长counter的存储器机密性和完整性保护方法[J]. 电子学报, 2013, 41(12): 2503-2506.