A Novel Approach for Dynamic Business Processes and Process Changes with Petri Net

被引:0
作者
Pang, Shanchen [1 ,2 ]
Yan, Bin [2 ]
Liu, Xing [2 ]
Jia, Huaqian [2 ]
机构
[1] China Univ Petr, Coll Comp & Commun Engn, Qingdao 266580, Peoples R China
[2] Shandong Univ Sci & Technol, Coll Informat Sci & Engn, Qingdao 266590, Peoples R China
基金
中国国家自然科学基金;
关键词
WF-Net; Process Changes; Effectiveness; Petri Nets; Performance Analysis; SYSTEMS;
D O I
10.1166/jctn.2015.3913
中图分类号
O6 [化学];
学科分类号
0703 ;
摘要
In order to adapt inconstancy of business environment and service requirement, a model of dynamic workflow is defined which can react to evolution of business processes. The correctness of business process runtime evolution needs to be guaranteed. The meaning of correctness differs corresponding to different requirements. We will consider extensively accepted criteria of correctness. If it can be verified the evolution keeps some properties, the correctness is hold. For inter-organizational workflow, a method to verify correctness of run-time evolution based on cooperation view is provided. On bases of these, this paper has designed an algorithm to handle the migration of instances of workflow when the evolution takes place, and proposed a prototype of change management system.
引用
收藏
页码:1457 / 1461
页数:5
相关论文
共 14 条
[1]  
Ellis C., 1995, P C ORG COMP SYST, P10
[2]   Structural and dynamic changes in concurrent systems: Reconfigurable Petri nets [J].
Llorens, M ;
Oliver, J .
IEEE TRANSACTIONS ON COMPUTERS, 2004, 53 (09) :1147-1158
[3]  
Llorens M., 2006, SYNASC, P407
[4]  
Pang SC, 2011, CHINESE J ELECTRON, V20, P632
[5]  
Pang SC, 2011, CHINESE J ELECTRON, V20, P1
[6]   Correctness criteria for dynamic changes in workflow systems - a survey [J].
Rinderle, S ;
Reichert, M ;
Dadam, P .
DATA & KNOWLEDGE ENGINEERING, 2004, 50 (01) :9-34
[7]   Supporting the Dynamic Evolution of Web Service Protocols in Service-Oriented Architectures [J].
Ryu, Seung Hwan ;
Casati, Fabio ;
Skogsrud, Halvard ;
Benatallah, Boualem ;
Saint-Paul, Regis .
ACM TRANSACTIONS ON THE WEB, 2008, 2 (02)
[8]   Analysis of workflow dynamic changes based on Petri net [J].
Sun, Ping ;
Jiang, Changjun .
INFORMATION AND SOFTWARE TECHNOLOGY, 2009, 51 (02) :284-292
[9]  
Tata S., 2008, IEEE T SERVICES COMP, V1
[10]   The application of Petri nets to workflow management [J].
Van der Aalst, WMP .
JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 1998, 8 (01) :21-66