Automated runtime repair of business processes

被引:28
|
作者
van Beest, N. R. T. P. [1 ]
Kaldeli, E. [2 ]
Bulanov, R. [2 ]
Wortmann, J. C. [1 ]
Lazovik, A. [2 ]
机构
[1] Univ Groningen, Fac Econ & Business, Dept Operat, NL-9747 AE Groningen, Netherlands
[2] Univ Groningen, Johann Bernoulli Inst, Distributed Syst Grp, NL-9747 AG Groningen, Netherlands
关键词
Process interference; Business process management; Run-time process repair; e-Government; WEB SERVICE COMPOSITION; PROCESS INTERFERENCE; WORKFLOW MANAGEMENT; VERIFICATION; EXECUTION; SYSTEM; RULES; PDDL;
D O I
10.1016/j.is.2013.07.003
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Concurrent business processes frequently suffer from mutual interference, especially in highly distributed service environments, where resources are shared among different stakeholders. Interference may be caused by supposedly stable case-related data, which are modified externally during process execution and may result in undesirable business outcomes. One way to address this problem is through the specification of dependency scopes, that cover critical parts of the process, and intervention processes, which are triggered at runtime to repair the inconsistencies. However, for complex processes, the manual specification of the appropriate intervention processes at design time can be particularly time-consuming and error-prone, while it is difficult to ensure that all important intervention cases are taken into account. To overcome this limitation, we propose an approach for automating the generation of intervention processes at runtime, by using domain-independent AI planning techniques. This way, intervention processes are composed on the fly, taking into account the characteristics of the business process in execution, the available compensation activities, and the properties that have to be fulfilled to recover from the erroneous situation. A prototype has been implemented and evaluated on a real case study of a business process from the Dutch e-Government. (C) 2013 Elsevier Ltd. All rights reserved.
引用
收藏
页码:45 / 79
页数:35
相关论文
共 50 条
  • [41] Runtime Monitors for Markov Decision Processes
    Junges, Sebastian
    Torfah, Hazem
    Seshia, Sanjit A.
    COMPUTER AIDED VERIFICATION, PT II, CAV 2021, 2021, 12760 : 553 - 576
  • [42] CPS Runtime Architecture And Automated Transformation of Applications
    Sha, Lui
    FEAST'17: PROCEEDINGS OF THE 2017 WORKSHOP ON FORMING AN ECOSYSTEM AROUND SOFTWARE TRANSFORMATION, 2017, : 31 - 34
  • [43] Runtime Adaptability through Automated Model Evolution
    Mosincat, Adina
    Binder, Walter
    Jazayeri, Mehdi
    2010 14TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE (EDOC 2010), 2010, : 217 - 226
  • [44] Runtime-Safety-Guided Policy Repair
    Zhou, Weichao
    Gao, Ruihan
    Kim, BaekGyu
    Kang, Eunsuk
    Li, Wenchao
    RUNTIME VERIFICATION (RV 2020), 2020, 12399 : 131 - 150
  • [45] Adapted Loss Database A New Approach to Assess IT Risk in Automated Business Processes
    Sackmann, Stefan
    Syring, Arnt
    AMCIS 2010 PROCEEDINGS, 2010,
  • [46] Automated Creation and Realization of Security Federation for Cross-Organizational Business Processes
    Thurm, Bernhard
    Hu, Ji
    2008 IEEE SYMPOSIUM ON ADVANCED MANAGEMENT OF INFORMATION FOR GLOBALIZED ENTERPRISES, PROCEEDINGS, 2008, : 81 - 85
  • [47] Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes
    Compagna, Luca
    dos Santos, Daniel Ricardo
    Ponta, Serena Elisa
    Ranise, Silvio
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 567 - 572
  • [48] Supporting ontology-based Semantic annotation of business Processes with automated Suggestions
    Di Francescomarino, Chiara
    Tonella, Paolo
    INTERNATIONAL JOURNAL OF INFORMATION SYSTEM MODELING AND DESIGN, 2010, 1 (02) : 59 - 84
  • [49] Supporting Ontology-Based Semantic Annotation of Business Processes with Automated Suggestions
    Di Francescomarino, Chiara
    Tonella, Paolo
    ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, 2009, 29 : 211 - 223
  • [50] An HLA-based automated approach for the interoperable simulation of collaborative business processes☆
    El Kassis, Mariane
    Bocciarelli, Paolo
    Trousset, Francois
    Daclin, Nicolas
    D'Ambrogio, Andrea
    Zacharewicz, Gregory
    SIMULATION MODELLING PRACTICE AND THEORY, 2024, 135