Instance Migration Validity for Dynamic Evolution of Data-Aware Processes

被引:9
|
作者
Song, Wei [1 ]
Ma, Xiaoxing [2 ]
Jacobsen, Hans-Arno [3 ,4 ]
机构
[1] Nanjing Univ Sci & Technol, Sch Comp Sci & Engn, Nanjing 210094, Jiangsu, Peoples R China
[2] Nanjing Univ, State Key Lab Novel Software Technol, Nanjing 210023, Jiangsu, Peoples R China
[3] Tech Univ Munich, Middleware Syst Res Grp, D-85748 Garching, Germany
[4] Univ Toronto, Toronto, ON M5S, Canada
基金
国家重点研发计划; 中国国家自然科学基金;
关键词
Data-aware process; dynamic evolution; instance migration; migration validity; trace slicing; SERVICE COMPOSITION; WORKFLOW; CORRECTNESS; INTEGRATION; SUPPORT;
D O I
10.1109/TSE.2018.2802925
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Likely more than many other software artifacts, business processes constantly evolve to adapt to ever changing application requirements. To enable dynamic process evolution, where changes are applied to in-flight processes, running process instances have to be migrated. On the one hand, as many instances as possible should be migrated to the changed process. On the other hand, the validity to migrate an instance should be guaranteed to avoid introducing dynamic change bugs after migration. As our theoretical results show, when the state of variables is taken into account, migration validity of data-aware process instances is undecidable. Based on the trace of an instance, existing approaches leverage trace replaying to check migration validity. However, they err on the side of caution, not identifying many instances as potentially safe to migrate. We present a more relaxed migration validity checking approach based on the dependence graph of a trace. We evaluate effectiveness and efficiency of our approach experimentally showing that it allows for more instances to safely migrate than for existing approaches and that it scales in the number of instances checked.
引用
收藏
页码:782 / 801
页数:20
相关论文
共 50 条
  • [1] Supporting data-aware processes with MERODE
    Snoeck, Monique
    Verbruggen, Charlotte
    De Smedt, Johannes
    De Weerdt, Jochen
    SOFTWARE AND SYSTEMS MODELING, 2023, 22 (06): : 1779 - 1802
  • [2] Supporting data-aware processes with MERODE
    Monique Snoeck
    Charlotte Verbruggen
    Johannes De Smedt
    Jochen De Weerdt
    Software and Systems Modeling, 2023, 22 : 1779 - 1802
  • [3] Discovery and Simulation of Data-Aware Business Processes
    Lopez-Pintado, Orlenys
    Murashko, Serhii
    Dumas, Marlon
    2024 6TH INTERNATIONAL CONFERENCE ON PROCESS MINING, ICPM, 2024, : 105 - 112
  • [4] A Tool for the Verification of Data-Aware Business Processes
    Sabiucciu, Luca
    Montali, Marco
    Tessaris, Sergio
    AI*IA 2018 - ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, 11298 : 266 - 276
  • [5] Soundness of Data-Aware Processes with Arithmetic Conditions
    Felli, Paolo
    Montali, Marco
    Winkler, Sarah
    ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2022), 2022, : 389 - 406
  • [6] Measuring Similarity for Data-Aware Business Processes
    Liu, Cong
    Zeng, Qingtian
    Cheng, Long
    Duan, Hua
    Cheng, Jiujun
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2022, 19 (02) : 1070 - 1082
  • [7] Complexity of Reachability for Data-aware Dynamic Systems
    Abdulla, Parosh Aziz
    Aiswarya, C.
    Atig, Mohamed Faouzi
    Montali, Marco
    Rezine, Othmane
    2018 18TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD), 2018, : 11 - 20
  • [8] Data-Aware Virtual Machine Migration in Cloud Data Centers
    Lin, Jenn-Wei
    Chen, Chien-Hung
    Tsai, Min-Hsuan
    INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND MANAGEMENT ENGINEERING (ITME 2014), 2014, : 96 - 102
  • [9] Soundness of data-aware, case-centric processes
    Montali, Marco
    Calvanese, Diego
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2016, 18 (05) : 535 - 558
  • [10] Probabilistic Simulation for Probabilistic Data-Aware Business Processes
    Li, Haizhou
    Pinet, Francois
    Toumani, Farouk
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2014), 2014, 8370 : 503 - 515