计算机科学 ›› 2019, Vol. 46 ›› Issue (9): 303-309.doi: 10.11896/j.issn.1002-137X.2019.09.046

• 交叉与前沿 • 上一篇    下一篇

基于配置的交互流程变化传播分析

詹悦, 方贤文, 王丽丽   

  1. (安徽理工大学数学与大数据学院 安徽 淮南232000)
  • 收稿日期:2018-07-11 出版日期:2019-09-15 发布日期:2019-09-02
  • 通讯作者: 方贤文(1975-),男,博士,教授,主要研究方向为Petri网和可信软件,E-mail:280060673@qq.com
  • 作者简介:詹 悦(1994-),女,硕士,主要研究方向为Petri网,E-mail:2272350170@qq.com;王丽丽(1982-),女,副教授,主要研究方向为业务流程分析和软件认证。
  • 基金资助:
    国家自然科学基金资助项目(61572035,61272153,61402011),安徽省自然科学基金资助项目(1508085MF111),安徽省高校自然科学基金资助项目(KJ2014A067,KJ2016A208)

Analysis of Interactive Process Change Propagation Based on Configuration

ZHAN Yue, FANG Xian-wen, WANG Li-li   

  1. (School of Mathematics and Big Data,Anhui University of Science and Technology,Huainan,Anhui 232000,China)
  • Received:2018-07-11 Online:2019-09-15 Published:2019-09-02

摘要: 变化传播是业务管理系统的核心之一,旨在灵活适应变化的商务需求。然而,已有的变化传播主要处理由单个业务流程拓展的相似流程间的变化域问题,关于信息传递的交互流程的相关研究还存在一定问题。文中提出了基于配置的交互流程变化传播分析方法,在寻找变化域的基础上利用配置技术完善域内行为关系。在给定变化需求锁定相应的源变化域的情况下,利用编排与条件抽象寻找其他交互子流程受变化影响的目标变化域,并在保证域外结构一致性的原则下利用配置处理域内带约束的变化行为关系,然后根据兼容性检测配置后的交互流程模型是否合理,最后以具体的案例验证了该方法的可行性。

关键词: 编排, 变化传播, 变化类型, 变化域, 配置

Abstract: Change propagation is one of the core of the business management system,and aims at adapting flexibly to changing business requirements.However,the existing change propagation mainly deals with the problem of the change region between similar processes extended by a single business process,and it is difficult to study the interactive process with information transfer.A method was proposed to analyze interactive process change propagation based on configuration.Based on the location of the change region,the configuration technology is used to improve the intra-region beha-vior relationship.In the case of the corresponding source change region locked by a given change demand,choreography and conditional abstraction are used to find target change region affected by changes in other interactive sub-processes.And the configuration was utilized to deal with the change behavior of constraints in the region under the principle of ensuring the consistency of the extra-region structure.Then,the rationality of the configured interactive process model was detected by compatibility.Finally,the feasibility of the method was verified by a specific case.

Key words: Change propagation, Change region, Change types, Choreography, Configuration

中图分类号: 

  • TP391.9
[1]GROSSMANN G,MAFAZI S.Change Propagation and Conflict Resolution for the Co-Evolution of Business Processes [J].International Journal of Cooperative Information Systems,2015,12(8):102-140.
[2]WEIDLICH M,WESKE M,MENDLING J.Change Propagation in Process Models using Behavioral Profiles [J].IEEE International Conference on Services Computing,2009,10(8):33-40.
[3]WEIDLICH M,MENDLING J,WESKE M.Propagating changes between aligned process models[J].Journal of Systems & Software,2012,85(8):1885-1898.
[4]GUPTA C,SINGH Y,SINGH D.A Dynamic Approach to Estimate Change Impact using Type of Change Propagation [J].Journal of Information Processing Systems,2010,4(6):597-608.
[5]GROSSMANN G,MAFAZI S.Change Propagation and Conflict Resolution for the Co-Evolution of Business Processes [J].International Journal of Cooperative Information Systems,2015,12(8):102-140.
[6]VAN D A W M P,DUMAS M,GOTTSCHALK F,et al.Preserving correctness during business process model configuration[J].Formal Aspects of Computing,2010,22(3/4):459-482.
[7]BONFIGLIO S,ALBANI L.Managing Configurable BusinessProcess as a Service to Satisfy Client Transactional Requirements[C]//IEEE International Conference on Services Computing.IEEE,2015:154-161.
[8]ASSY N,CHAN N N,GAALOUL W.An Automated Approach for Assisting the Design of Configurable Process Models[J].IEEE Transactions on Services Computing,2015,8(6):874-888.
[9]DÖHRING M,REIJERS H,SMIRNOV S.Configuration vs.Adaptation for Business Process Variant Maintenance:An Empirical Study [J].Information Systems,2014,39(6):108-133.
[10]DERGUECH W,BHIRI S,CURRY E.Designing Business Capability-Aware Configurable Process Models[J].Information Systems,2017,72(6):77-94.
[11]FDHILA W,INDIONO C,RINDERLE-MA S,et al.Dealingwith change in process choreographies:Design and implementation of propagation algorithms[J].Information Systems,2015,49(4):1-24.
[12]VAN D A W M P,DUMAS M,GOTTSCHALK F,et al.Preserving correctness during business process model configuration[J].Formal Aspects of Computing,2010,22(3/4):459-482.
[13]SALAY R,GORZNY J,CHECHIK M.Change Propagation due to Uncertainty Change [C]//International Conference on Fundamental Approaches To Software Engineering.Springer-Verlag,2013:21-36.
[14]DEMUTH A,RIEL M.Co-evolution of Metamodels and Models through Consistent Change Propagation[J].The Journal of Systems and Software,2016,11(5):281-297.
[15]GERBEC M.Safety Change Management-A new Method for Integrated Management of Organizational and technical changes[J].Safety Science,2016,7(6):22-31.
[1] 邵炜晖, 王宁, 韩传峰, 许维胜.
基于区块链的一体化应急应战机制
Integrated Emergency-Defense System Based on Blockchain
计算机科学, 2021, 48(1): 287-294. https://doi.org/10.11896/jsjkx.191200124
[2] 徐蕴琪, 黄荷, 金钟.
容器技术在科学计算中的应用研究
Application Research on Container Technology in Scientific Computing
计算机科学, 2021, 48(1): 319-325. https://doi.org/10.11896/jsjkx.191100111
[3] 陈利锋, 朱路平.
一种基于云端加密的FPGA自适应动态配置方法
Encrypted Dynamic Configuration Method of FPGA Based on Cloud
计算机科学, 2020, 47(7): 278-281. https://doi.org/10.11896/jsjkx.190700110
[4] 白玮, 潘志松, 夏士明, 成昂轩.
基于遗传算法的网络安全配置自动生成框架
Network Security Configuration Generation Framework Based on Genetic Algorithm Optimization
计算机科学, 2020, 47(5): 306-312. https://doi.org/10.11896/jsjkx.190500038
[5] 张伟, 于成龙.
复材车间智能排产系统研究
Study on Intelligent Scheduling System of Composite Shop
计算机科学, 2020, 47(11A): 6-10. https://doi.org/10.11896/jsjkx.191000147
[6] 张彬彬, 王娟, 岳昆, 武浩, 郝佳.
基于随机森林的虚拟机性能预测与配置优化
Performance Prediction and Configuration Optimization of Virtual Machines Based on Random Forest
计算机科学, 2019, 46(9): 85-92. https://doi.org/10.11896/j.issn.1002-137X.2019.09.011
[7] 张煜培, 赵知劲, 郑仕链.
融合学习差分进化和粒子群优化算法的认知决策引擎
Cognitive Decision Engine of Hybrid Learning Differential Evolution and Particle Swarm Optimization
计算机科学, 2019, 46(6): 95-101. https://doi.org/10.11896/j.issn.1002-137X.2019.06.013
[8] 常啸林, 樊永文, 朱维军, 刘洋.
基于拟态防御的管理信息系统
Management Information System Based on Mimic Defense
计算机科学, 2019, 46(11A): 438-441.
[9] 应丽, 方贤文, 王丽丽, 刘祥伟.
基于业务能力的可配置业务流程模型变化域分析
Change Region Analysis of Configurable Business Process Model Based on Business Capability
计算机科学, 2019, 46(10): 322-328. https://doi.org/10.11896/jsjkx.180901692
[10] 何路路, 方欢.
带数据流的面向服务的业务流程模型变化传播Petri网方法
Change Propagation Method of Service-oriented Business Process Model with Data Flows Based on Petri Net
计算机科学, 2018, 45(6A): 545-548.
[11] 冉正,罗蕾,晏华,李允.
AUTOSAR可运行实体-任务自动映射方法研究
Study on Automatic Method for AUTOSAR Runnable Entity-task Mapping
计算机科学, 2018, 45(4): 190-195. https://doi.org/10.11896/j.issn.1002-137X.2018.04.032
[12] 高雅楠,方贤文,王丽丽.
基于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
[13] 王文娟,杜学绘,王娜,单棣斌.
云计算安全审计技术研究综述
Review on Security Audit Technology for Cloud Computing
计算机科学, 2017, 44(7): 16-20. https://doi.org/10.11896/j.issn.1002-137X.2017.07.003
[14] 梁超超,陈伟,魏峻,许舒人.
基于模型的云应用动态配置框架
Model-based Runtime Configuration Framework for Cloud-based Applications
计算机科学, 2017, 44(4): 47-55. https://doi.org/10.11896/j.issn.1002-137X.2017.04.011
[15] 黄鸣宇,魏欧,胡军.
基于故障配置的故障树生成
Fault Tree Generation Based on Fault Configuration
计算机科学, 2017, 44(2): 182-191. https://doi.org/10.11896/j.issn.1002-137X.2017.02.029
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!