Computer Science ›› 2018, Vol. 45 ›› Issue (6A): 545-548.

• Interdiscipline & Application • Previous Articles     Next Articles

Change Propagation Method of Service-oriented Business Process Model with Data Flows Based on Petri Net

HE Lu-lu, FANG Huan   

  1. College of Mathematics & Big Data,Anhui University of Science and Technology,Huainan,Anhui 232001,China
  • Online:2018-06-20 Published:2018-08-03

Abstract: In order to adapt to changing business requirements flexibly,it is necessary to adjust the process models.In the process of business integration,business logic may change,and thus it is critical to analyze the investigations of business changes and its propagation.The existed methods study the business change regions and change propagation me-thods mainly from the aspect of control flow structures,neglectes the data information and service structures of the mode.In this paper,the change propagation method and the change domain regions were analyzed in the service-oriented business process model with data information.It focused on the propagation problem between the service layers and the process layers.Firstly,by a mutation operation in a service layer (or process layer),the direct influence region of the change was discussed in detail,and two change propagation algorithms were proposed,which are the service layer change propagation algorithm named SLCPA,and the process layer change propagation algorithm named PLCPA respectively.Finally,a case example was given to illustrate the feasibility and effectiveness of the proposed method.

Key words: Change propagation, Petri nets, Process layer, Service layer, Service-oriented business process model

CLC Number: 

  • TP301
[1]ALI N,NELLIPAIAPPAN R,CHANDRAN R,et al.Model Driven Support for the Service-Oriented Architecture Modeling Language[C]∥International Workshop on Principles of Engineering Service-Oriented Systems.ACM,2010:8-14.
[2]PAPAZOGLOU M P.The Challenges of Service Evolution[J].Lecture Notes in Computer Science,2008,5074:1-15.
[3]WEBER B,REICHERT M,RINDERLE-MA S.Change Pat- terns and Change Support Features-Enhancing Flexibility in Process-Aware Information Systems[J].Data & Knowledge Engineering,2008,66(3):438-466.
[4]KONGDENFHA W,BENATALLAH B,CASATI F.An Apect-Oriented Framework for Service Adaptation [C]∥International Conference on Service-oriented Computing.Springer-Verlag,2006:15-26.
[5]DUMAS M,SPORK M,WANG K.Adapt or Perish:Algebra and Visual Notation for Service Interface Adaptation[M]∥Bu-siness Process Management.Springer Berlin Heidelberg,2006:229-234.
[6]WOMBACHER A.Alignment of Choreography Changes in BPEL Processes[C]∥IEEE International Conference on Services Computing.IEEE Computer Society,2009:1-8.
[7]ANDRIKOPOULOS V,BENBERNOU S,PAPAZOGLOU M P. Managing the Evolution of Service Specifications[C]∥International Conference on Advanced Information Systems Engineering.Springer-Verlag,2008:359-374.
[8]RINDERLE S,REICHERT M,DADAM P.Correctness Criteria for Dynamic Changes in Workflow Systems- A Survey[J].Data & Knowledge Engineering,2004,50(1):9-34.
[9]WEIDLICH M,WESKE M,MENDLING J.Change Propagation in Process Models Using Behavioural Profiles[C]∥ IEEE International Conference on Services Computing.IEEE,2009:33-40.
[10]WEIDLICH M,MENDLING J,WESKE M.Propagating Changes between Aligned Process Models [J].Journal of Systems and Software,2012,85(8):1885-1898.
[11]GUPTA C,SINGH Y,SINGH C D.A Dynamic Approach to Estimate Change Impact Using Type of Change Prpagation [J].Journal of Information Processing Systems,2010,6(4):597-608.
[12]EKANAYAKE C C,ROSA M L,HOFSTEDE A H M T,et al.Fragment-Based Version Management for Repositories of Business Process Models[M]∥On the Move to Meaningful Internet Systems:OTM 2011.Springer Berlin Heidelberg,2011:20-37.
[13]KURNIAWAN T A,GHOSE A K,DAM H K.Relationship-Preserving Change Propagation in Process Ecosystems[C]∥International Conference on Service-Oriented Computing.Sprin-ger-Verlag,2012:63-78.
[14]ALAM K A,AHMAD R B,AKHUNZADA A,et al.Impact analysis and change propagation in service-oriented enterprises:A systematic review[J].Information System,2015(54c):43-73.
[15]吴哲辉.Petri导论[M].北京:机械工业出版社,2006,4:1-27.
[16]SERGEY S,MATTHIAS W,JAN M.Business Process Model Abstraction Based on Synthesis From Well-Structured Behavio-ral Profiles[J].International Journal of Cooperative Information Systems,2012,21(1):55-83.
[17]WEIDLICH M,MENDLING J,WESKE M.Efficient Consistency Measurement Based on Behavioral Profiles of Process Models[J].IEEE Transactions on Software Engineering,2010,37(3):410-429.
[18]WANG Y,YANG J,ZHAO W.Change Impact Analysis for Service Based Business Processes[C]∥IEEE International Conference on Service-oriented Computing and Applications.IEEE,2010:1-8.
[19]HAO W J,FANG X W.The Approach of Analyzing the Smallest Change Domain in Process Models Based on Petri Nets [J].Computer Science,2012,39(Z11):76-78.
[1] LI Qing, LIU Wei, GUAN Meng-zhen, DU Yu-yue, SUN Hong-wei. Modeling and Analysis of Emergency Decision Making Based on Logical Probability GamePetri Net [J]. Computer Science, 2022, 49(4): 294-301.
[2] WANG Wu-song, FANG Huan, ZHENG Xue-wen. Process Variants Merging Method Based on Group-fair Control Flow Structure [J]. Computer Science, 2021, 48(12): 170-180.
[3] ZHAN Yue, FANG Xian-wen, WANG Li-li. Analysis of Interactive Process Change Propagation Based on Configuration [J]. Computer Science, 2019, 46(9): 303-309.
[4] GAO Ya-nan, FANG Xian-wen and WANG Li-li. Optimized Analysis of Business Process Configuration Based on Petri Net Behavior Closeness [J]. Computer Science, 2017, 44(Z6): 539-542.
[5] LIN Lei-lei, ZHOU Hua, DAI Fei, HE Zhen-li, SHEN Yong and KANG Hong-wei. Method of Software Architecture Refinement Based on Algebraic Semantics [J]. Computer Science, 2017, 44(7): 141-146.
[6] PAN Li and YANG Bo. Stochastic Simulation of Time Petri Nets [J]. Computer Science, 2016, 43(11): 126-129.
[7] FANG Huan, WANG Su-cheng, FANG Xian-wen and WANG Li-li. Study of Events Collaborative Control Method Based on Petri Nets [J]. Computer Science, 2016, 43(11): 107-110.
[8] WAN Jun and ZHAO Bu-hui. Modeling and Scheduling of Virtual Enterprises Based on Petri Nets [J]. Computer Science, 2016, 43(11): 102-106.
[9] ZHANG Xin-ju and YAO Shu-zhen. Multi-state System Reliability Analysis Based on Fuzzy-colored Petri Nets [J]. Computer Science, 2016, 43(11): 77-82.
[10] PENG Ying, YAO Shu-zhen and TAN Huo-bin. Safety Analysis Method Based on Stochastic Time Petri Nets [J]. Computer Science, 2016, 43(11): 61-65.
[11] HU Xiang, JIAO Li and CHAI Ye-sheng. Transforming UML to GSPN for Performance Analysis [J]. Computer Science, 2016, 43(11): 49-54.
[12] LI Zong-hua, ZHOU Xiao-feng, WU Ke-li and CHEN Fu-bing. BPMN Formalization Based on Extended Petri Nets Model [J]. Computer Science, 2016, 43(11): 40-48.
[13] LEI Yi-wei BEN Ke-rong. Research on Compensating Transaction Based Business Processes Exception Handling Model [J]. Computer Science, 2015, 42(7): 91-94.
[14] LIU Jun-qiang, ZUO Hong-fu and PENG Zhi-yong. Modeling and Analysis of Improved Stochastic Petri Net Based on Delay Characteristics [J]. Computer Science, 2015, 42(3): 174-177.
[15] ZHAI Zheng-li and DING Zhi-jun. Schedulability Analysis of Time Petri Net and its Application in FMS [J]. Computer Science, 2015, 42(1): 12-18.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!