SmartPM: Automatic Adaptation of Dynamic Processes at Run-Time

by   Andrea Marrella, et al.

The research activity outlined in this PhD thesis is devoted to define a general approach, a concrete architecture and a prototype Process Management System (PMS) for the automated adaptation of dynamic processes at run-time, on the basis of a declarative specification of process tasks and relying on well-established reasoning about actions and planning techniques. The purpose is to demonstrate that the combination of procedural and imperative models with declarative elements, along with the exploitation of techniques from the field of artificial intelligence (AI), such as Situation Calculus, IndiGolog and automated planning, can increase the ability of existing PMSs of supporting dynamic processes. To this end, a prototype PMS named SmartPM, which is specifically tailored for supporting collaborative work of process participants during pervasive scenarios, has been developed. The adaptation mechanism deployed on SmartPM is based on execution monitoring for detecting failures at run-time, which does not require the definition of the adaptation strategy in the process itself (as most of the current approaches do), and on automatic planning techniques for the synthesis of the recovery procedure.




What Automated Planning can do for Business Process Management

Business Process Management (BPM) is a central element of today organiza...

Enhancing business process execution with a context engine

Changes in workflow relevant data of business processes at run-time can ...

Enacting Coordination Processes

With the rise of data-centric process management paradigms, interdepende...

Microservice Interface Based Deployment Orchestration

Following previous work on the automated deployment orchestration of com...

Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous Robots

Modern cyber-physical systems (e.g., robotics systems) are typically com...

Reliability and Fault-Tolerance by Choreographic Design

Distributed programs are hard to get right because they are required to ...

Timeline-based Planning and Execution with Uncertainty: Theory, Modeling Methodologies and Practice

Automated Planning is one of the main research field of Artificial Intel...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.