带数据流的面向服务的业务流程模型变化传播Petri网方法

摘要/Abstract

摘要： 为了灵活适应不断变化的业务需求,需要对流程模型进行调整。在业务逻辑整合过程中,业务逻辑可能发生变化,因此对业务变化及其传播进行分析是十分关键的。已有的研究方法主要基于控制流结构来分析和研究业务的变化域和变化传播问题,忽略了模型所含数据和服务结构的信息。文中对带数据信息的面向服务业务流程模型的变化传播方法和变化域定位进行分析和研究,主要关注服务层和流程层之间的变化传播问题。首先,分析流程层(服务层)的变化操作给模型的服务层(流程层)带来的变化影响范围,并分别提出了服务层变化传播算法(Service Layer Change Propagation Algorithm,SLCPA)和流程层变化传播算法(Process Layer Change Propagation Algorithm,PLCPA)。最后,通过一个具体的实例证明了所提方法的可行性和有效性。

关键词: Petri网, 变化传播, 服务层, 流程层, 面向服务的业务流程模型

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

中图分类号:

TP301

何路路, 方欢. 带数据流的面向服务的业务流程模型变化传播Petri网方法[J]. 计算机科学, 2018, 45(6A): 545-548. https://doi.org/

HE Lu-lu, FANG Huan. Change Propagation Method of Service-oriented Business Process Model with Data Flows Based on Petri Net[J]. Computer Science, 2018, 45(6A): 545-548. https://doi.org/

参考文献

[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.

相关文章 15

[1]	李清, 刘伟, 管梦真, 杜玉越, 孙红伟. 基于逻辑博弈决策Petri网的应急决策建模与分析 Modeling and Analysis of Emergency Decision Making Based on Logical Probability GamePetri Net 计算机科学, 2022, 49(4): 294-301. https://doi.org/10.11896/jsjkx.210300224
[2]	陶小燕, 闫春钢, 刘关俊. 基于WFT-net验证合理性的动态数据精炼策略 Dynamic Data Refining Strategy for Soundness Verification Based on WFT-net 计算机科学, 2021, 48(7): 99-104. https://doi.org/10.11896/jsjkx.200700125
[3]	赖祥威, 郑万波, 吴燕清, 夏云霓, 冉啟华, 董银环. 矿山事故应急救援数字预案的任务协同流程网络模型及时效分析 Task Collaborative Process Network Model and Time Analysis of Mine Accident Emergency Rescue Digital Plan 计算机科学, 2021, 48(6A): 596-602. https://doi.org/10.11896/jsjkx.200500041
[4]	宁玉辉, 姚喜. 一种应急指挥系统的设计与实现 Design and Implementation of Emergency Command System 计算机科学, 2021, 48(6A): 613-618. https://doi.org/10.11896/jsjkx.201000136
[5]	王吴松, 方欢, 郑雪文. 基于分组公平控制流结构的流程变体合并方法 Process Variants Merging Method Based on Group-fair Control Flow Structure 计算机科学, 2021, 48(12): 170-180. https://doi.org/10.11896/jsjkx.201100157
[6]	杨皓然, 方贤文. 基于概率和时间因素的Petri网业务流程一致性分析 Business Process Consistency Analysis of Petri Net Based on Probability and Time Factor 计算机科学, 2020, 47(5): 59-63. https://doi.org/10.11896/jsjkx.190500119
[7]	李娟,方贤文,王丽丽,刘祥伟. 基于日志自动机的业务流程混沌活动过滤方法 Chaotic Activity Filter Method for Business Process Based on Log Automaton 计算机科学, 2020, 47(1): 66-71. https://doi.org/10.11896/jsjkx.181102110
[8]	詹悦, 方贤文, 王丽丽. 基于配置的交互流程变化传播分析 Analysis of Interactive Process Change Propagation Based on Configuration 计算机科学, 2019, 46(9): 303-309. https://doi.org/10.11896/j.issn.1002-137X.2019.09.046
[9]	孙书亚, 方欢, 方贤文. 日志诱导下的形态学片段流程聚类方法 Log-induced Morphological Fragments Process Clustering Method 计算机科学, 2019, 46(8): 71-77. https://doi.org/10.11896/j.issn.1002-137X.2019.08.011
[10]	宋健,方贤文,王丽丽. 基于流程切的过程模型挖掘方法 Process Model Mining Method Based on Process Cut 计算机科学, 2019, 46(7): 315-321. https://doi.org/10.11896/j.issn.1002-137X.2019.07.048
[11]	苏庆,林昊,黄剑锋,何凡,林志毅. 基于Petri网编码的动态图水印技术研究 Study on Dynamic-graph Watermarking Based on Petri Net Coding 计算机科学, 2019, 46(7): 120-125. https://doi.org/10.11896/j.issn.1002-137X.2019.07.019
[12]	宋健, 方贤文, 王丽丽, 刘祥伟. 基于行为轮廓的业务流程隐变迁挖掘方法 Method of Mining Hidden Transition of Business Process Based on Behavior Profiles 计算机科学, 2019, 46(12): 334-340. https://doi.org/10.11896/jsjkx.180901654
[13]	曹蕊, 方贤文, 王丽丽. 基于通讯行为轮廓挖掘条件非频繁行为的方法 Method of Mining Conditional Infrequent Behavior Based on Communication Behavior Profile 计算机科学, 2018, 45(8): 310-314. https://doi.org/10.11896/j.issn.1002-137X.2018.08.056
[14]	赵培海, 王咪咪. 基于三维行为关系图的模型一致性检测方法 Consistency Detction Method of Models Based on Three-dimensional Behavior Relation Graph 计算机科学, 2018, 45(6): 156-160. https://doi.org/10.11896/j.issn.1002-137X.2018.06.027
[15]	高雅楠,方贤文,王丽丽. 基于Petri网行为紧密度的业务流程配置优化分析 Optimized Analysis of Business Process Configuration Based on Petri Net Behavior Closeness 计算机科学, 2017, 44(Z6): 539-542. https://doi.org/10.11896/j.issn.1002-137X.2017.6A.120

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed