<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta>
      <issn pub-type="ppub">1613-0073</issn>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>An End-To-End Execution of a Logistic Process in an AI-Augmented Business Process Management System</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="editor">
          <string-name>AI-augmented Business Process Management System (ABPMS), Process Framing, Sense-Think-Act Cycle,</string-name>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>AI Planning</institution>
          ,
          <addr-line>Knowledge Representation and Reasoning, Robotic Process Automation, Conversational AI</addr-line>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Sapienza Universitá di Roma, Dipartimento di Ingegneria Informatica Automatica e Gestionale Antonio Ruberti</institution>
        </aff>
      </contrib-group>
      <abstract>
        <p>This paper presents an end-to-end execution of a real-world business process (BP) in the logistics domain to illustrate how an AI-Augmented Business Process Management System (ABPMS) can increase BP automation compared to a traditional BPMS. In addition, we discuss concrete AI-based solutions for the implementation of the ABPMS lifecycle stages.</p>
      </abstract>
      <kwd-group>
        <kwd>Management System</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>CEUR
ceur-ws.org</p>
    </sec>
    <sec id="sec-2">
      <title>1. Introduction</title>
      <p>
        AI-augmented Business Process Management Systems (ABPMSs) [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] are an emerging class of
process-aware information systems infused with AI that autonomously unfold and adapt the
execution flow of business processes (BPs) through continuous conversation with their human
principals. The lifecycle of an ABPMS extends that of a conventional BPMS in two directions:
• The traditional lifecycle stages of a BPMS (i.e., frame, perceive, reason, enact ) are
augmented with AI. Process framing entails establishing multiple constraints encompassing
procedural rules, best practices, and norms that must be considered during the execution
of a BP [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. Once an initial framing is completed, the lifecycle enters its central stage,
namely process-aware execution. This consists of the rotation between perceiving,
reasoning, and enactment. First, the ABPMS perceives data concerning the BP execution and
produced by the working environment (e.g., collected through IoT sensors). Following
data perception, the system engages in reasoning activities, converting collected data
into relevant events, pondering about their uncertainty, and combining them with the
BP towards deciding which actions to take next. This pertains to a wide repertoire of
AI techniques, such as data integration, knowledge graph construction, AI planning, etc.
Finally, the ABPMS leverages its actuators to interact with the environment and enact
the BP as long as the boundaries imposed by the frame are respected.
• At any stage throughout the lifecycle, the ABPMS may perform one of the advanced
stages (i.e., explain, adapt, improve) that are specific to ABPMSs and only feasible when AI
is an integral part of the system. The ABPMS may decide to: provide explanations about
the past, current, and anticipated states of the system; adapt itself to new circumstances
and drifts; and optimize its execution against its goals, the available resources, and the
framing constraints. The implementation of these advanced stages could lead the ABPMS
to update its internal knowledge, consequently reframing itself in an autonomous manner.
Note that the ABPMS can proactively communicate with its human principals (who may
oversee the system decision) about BP-related actions, goals, and intentions.
      </p>
      <p>
        The BPM literature is plenty of AI-based techniques that cover the life-cycle stages of an
ABPMS in isolation. For example, in [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] the author positions in favor of constraint-based
declarative BP specifications for process framing without delving into the execution stages.
Other studies focus on conversational systems as tools to enhance the execution stages of
ABPMSs [
        <xref ref-type="bibr" rid="ref3 ref4">3, 4</xref>
        ], neglecting the flexible nature of process framing. In [
        <xref ref-type="bibr" rid="ref5 ref6">5, 6</xref>
        ], AI planning and
reasoning-based approaches are employed to the automated adaptation of BPs in response to
unanticipated exceptions. However, these adaptations are not explained nor used to reframe the
original BP specification. The need for explainable solutions to increase trust in the interaction
with the ABPMS is investigated in [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. In [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ], the authors present a methodology for BP
optimization based on conformance checking and performance analysis via statistical inference.
      </p>
      <p>However, the literature lacks a holistic description of how an ABPMS should execute a
real-world BP encompassing all its life-cycle stages, thus concealing the advanced automated
features of ABPMSs over traditional BPMSs. In this paper, we mitigate this gap by presenting
the details of an end-to-end execution of a BP from the logistics domain performed through an
ABPMS, showing how introducing AI technology into conventional BPM creates a range of
opportunities to boost BP automation in all the ABPMS life-cycle stages.</p>
    </sec>
    <sec id="sec-3">
      <title>2. Executing a Logistic Process with an ABPMS</title>
      <p>
        In this section we illustrate with a real-world example drawn from the logistics domain and
presented in [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ], how an ABPMS can enhance the execution of a BP compared to a traditional
BPMS not empowered by AI technology. Specifically, we use a running example of a BP
for transporting perishable products whose safety and quality highly depend on controlling
temperature and humidity from origin (harvest fields) to consumption, and we show how the
stages provided by an ABPMS can enhance the execution of the BP. Fig. 1 presents the BP model
in BPMN.1 In our example, this constitutes the instantiation of the frame stage, which relies
on the aforementioned BPMN model to guide and constrain the execution of the BP. While
the frame for this specific BP is rigid, as we are adopting a prescriptive model, in an ABPMS
the frame specification can be enriched through declarative constraints (e.g., based on Linear
Temporal Logic over finite traces (LTLf) [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ]) to be monitored at run-time. For example, the
frame can include constraints to capture and react to events that break the BP boundaries (e.g.,
if a pallet lacks a label to identify it), deviating from what is expected.
1We refer here to the last release of BPMN, namely BPMN v2.0 – http://www.omg.org/spec/BPMN/2.0/
      </p>
      <p>
        The process-aware execution (i.e., perceive, reason, and enact) of the ABPMS is triggered
when the BP starts, that is, when a container with a pallet arrives at the smart distribution
center. Here, a human operator verifies the quality of the products of the pallet. Subsequently,
information about the received product (such as origin, harvest date, etc.) is automatically
detected by reading the pallet labels (barcodes or QR codes). The temperature and humidity
of the container are also automatically detected through dedicated sensors. Based on all this
collected information, a decision is made regarding whether the products are of good quality or
not. Moving forward from the initial phase, if the products are considered not for distribution,
the rejection of the pallet is registered and it is discarded by moving it to a garbage. Conversely,
if the products meet quality standards, the pallet is logged and sent to a climate-controlled
chamber in the distribution center. This ensures proper storage conditions (e.g., oranges must
be kept between 2 and 12 Celsius degrees and at 90% relative humidity). Continuing with the
execution of the BP, besides this first product control, a second one is performed over a sample
in the laboratory. This analysis will determine whether moulds, yeast, and certain bacteria have
grown in the received products. When any of these contaminants is detected, an alarm triggers
and the pallet is discarded by transporting it to the garbage. Conversely, the shipment task of
the received products can start. At the end, if products quality is not excellent, such as being
suitable for distribution but lacking optimal firmness or color, their prices are reduced and the
pallet is prioritized to avoid their spoilage. Finally, once a truck is ready for transportation, all
shipped pallets are registered in the system. This is essentially the sense-think-act cycle [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]
that is implemented by the ABPMS within this scenario.
      </p>
      <p>
        Indeed, guided by the view exposed in [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], an ABPMS could enhance its process-aware
execution by augmenting the perceive, reasoning and enact stages with AI technologies. For
example, AI techniques for data filtering [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ] can indeed be utilized to augment the perceive
stage, e.g., to process the sensed data of a pallet (origin, harvest date, temperature, humidity,
etc.) and automatically rejecting those ones that do not meet quality standards. Meanwhile, AI
techniques such as Situation Calculus [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ] can bolster the reasoning stage, thereby assisting
human operators in the decision-making phases of the BP, potentially even automating them
[
        <xref ref-type="bibr" rid="ref14">14</xref>
        ]. For instance, when the pallet is sent to a climate-controlled chamber in the distribution
center a Situation Calculus reasoner could be employed to reason on the actions to be taken to
guarantee its optimal conservation by automatically regulating the temperature of the fridge.
When considering the enact stage, for instance, when all shipped pallets must be recorded in
the system, Robotic Process Automation (RPA) [15, 16] techniques could be leveraged. The
registration procedure could be automated using traditional vendors of RPA tools (e.g., UiPath2).
      </p>
      <p>The previous stages can be extended also with the advanced stages unique to ABPMSs, as
explained as follows. The explain stage can be enacted whenever explanations regarding the
system’s states are needed within the BP execution. For instance, it can provide a detailed
explanation of quality controls, why a product was evaluated as being in good condition or not,
as well as why the product was rejected and the actions taken in response to the rejection. Lastly,
through explanation, the ABPMS could provide transparent insights into the reasoning behind
pricing decisions and shipment prioritization. To this end, eXplainable Artificial Intelligence
(XAI), is a field of study focused on developing techniques to make decisions more transparent
and understandable to humans. In the context of explaining decision logic to users, XAI
methods could provide insights into why an ABPMS made a particular decision or prediction.
Two popular techniques for this purpose are LIME [17] (Local Interpretable Model-agnostic
Explanations) and SHAP (SHapley Additive exPlanations) [18] which can be customized ad-hoc.</p>
      <p>The other stage implemented by the ABPMS is adapt, wherein the system modifies its
operations in response to any unexpected change. This advanced stage could yield numerous
benefits for the BP. For example, the ABPMS could dynamically adjust pricing strategies and
shipment prioritization based on real-time factors such as demand fluctuations or perishability
levels to optimize revenue and minimize waste. Also, if there is a sudden spike in laboratory
contamination levels, the ABPMS could automatically trigger enhanced sanitation protocols or
halt shipments until the issue is resolved. In this direction, Automated Planning techniques in
AI [19] could be employed for the automated synthesis of these strategies, thus adapting the
execution of the BP according to the many factors of interest.</p>
      <p>
        Finally, the BP execution of the presented scenario can be further enhanced in the improve
stage. By analyzing historical data, the system can identify recurring patterns of rejected
products using patterns recognition techniques [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ]. For example, if certain types of product
damage have not been previously detected, the system can recommend the introduction of
new evaluation criteria and updates to control procedures. Additionally, it may detect patterns
indicating a supplier’s tendency to deliver defective products or a specific product’s susceptibility
to damage, thus enabling self-improvement by suggesting additional checks for specific suppliers
and/or products. Improvement eforts could also involve utilizing performance metrics to
refine storage and preservation processes over time. Through the analysis of patterns in
product spoilage or storage ineficiencies, the ABPMS could propose optimizations such as
revised temperature control algorithms or enhanced packaging protocols to minimize waste
and maximize product lifespan.
      </p>
    </sec>
    <sec id="sec-4">
      <title>3. Concluding Remarks</title>
      <p>In this paper we examined an end-to-end instantiation of a real-world logistic BP within the
stages of an ABPMS. In particular, we emphasized the role of AI to boost BP automation in all
the ABPMS life-cycle stages. Through this analysis, we not only ofered a tangible end-to-end
perspective on how ABPMSs execute and optimize BPs, but we also highlighted their potential
to support the human workforce in performing related tasks.</p>
      <p>Acknowledgments. This work is supported by the H2020 project DataCloud (Grant 101016835),
the Sapienza project FOND-AIBPM, the PRIN 2022 project MOTOWN and the PNRR MUR
project PE0000013-FAIR. The work of Angelo Casciani is in the range of the Italian National
Doctorate on AI run by Sapienza.
order planning algorithms, in: Enterprise, Business-Process and Information Systems
Modeling - 14th Int. Conf., BPMDS 2013, 18th Int. Conf., EMMSAD 2013, 2013, pp. 277–291.
[15] W. M. Van der Aalst, M. Bichler, A. Heinzl, Robotic Process Automation, 2018.
[16] S. Agostinelli, M. Lupia, A. Marrella, M. Mecella, Reactive synthesis of software robots in</p>
      <p>RPA from user interface logs, Comput. Ind. 142 (2022) 103721.
[17] M. T. Ribeiro, S. Singh, C. Guestrin, ”Why Should I Trust You?” Explaining the Predictions
of any Classifier, in: 22nd ACM SIGKDD Int. Conf. on Knowledge Discovery and Data
Mining, 2016, pp. 1135–1144.
[18] S. M. Lundberg, S.-I. Lee, A Unified Approach to Interpreting Model Predictions, Advances
in Neural Information Processing Systems 30 (2017).
[19] A. Marrella, Automated Planning for Business Process Management, J. Data Semant. 8
(2019) 79–98.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>M.</given-names>
            <surname>Dumas</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Fournier</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Limonad</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Marrella</surname>
          </string-name>
          , et al.,
          <source>AI-Augmented Business Process Management Systems: A Research Manifesto, ACM Transactions on Management Information Systems</source>
          <volume>14</volume>
          (
          <year>2023</year>
          )
          <fpage>1</fpage>
          -
          <lpage>19</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>M.</given-names>
            <surname>Montali</surname>
          </string-name>
          ,
          <article-title>Constraints for Process Framing in AI-Augmented BPM</article-title>
          ,
          <source>in: 20th Int. Conf. on Business Process Management (BPM'22 Workshops)</source>
          , volume
          <volume>460</volume>
          , Springer,
          <year>2022</year>
          , pp.
          <fpage>5</fpage>
          -
          <lpage>12</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>D.</given-names>
            <surname>Chapela-Campa</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Dumas</surname>
          </string-name>
          , From Process Mining to Augmented Process Execution, Softw.
          <source>Syst. Model</source>
          .
          <volume>22</volume>
          (
          <year>2023</year>
          )
          <fpage>1977</fpage>
          -
          <lpage>1986</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>A.</given-names>
            <surname>Casciani</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M. L.</given-names>
            <surname>Bernardi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Cimitile</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Marrella</surname>
          </string-name>
          ,
          <article-title>Conversational Systems for AIAugmented Business Process Management</article-title>
          ,
          <source>in: 18 Int. Conf. on Research Challenges in Information Science (RCIS'24)</source>
          , volume
          <volume>513</volume>
          , Springer,
          <year>2024</year>
          , pp.
          <fpage>183</fpage>
          -
          <lpage>200</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>A.</given-names>
            <surname>Marrella</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Mecella</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Sardina</surname>
          </string-name>
          ,
          <article-title>Intelligent Process Adaptation in the SmartPM System</article-title>
          ,
          <source>ACM Transactions on Intelligent Systems and Technology</source>
          <volume>8</volume>
          (
          <year>2016</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>A.</given-names>
            <surname>Marrella</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Mecella</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Sardiña</surname>
          </string-name>
          ,
          <article-title>Supporting Adaptiveness of Cyber-Physical Processes through Action-based Formalisms</article-title>
          ,
          <source>AI</source>
          Communications
          <volume>31</volume>
          (
          <year>2018</year>
          )
          <fpage>47</fpage>
          -
          <lpage>74</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>S. T. K.</given-names>
            <surname>Jan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Ishakian</surname>
          </string-name>
          , V. Muthusamy,
          <string-name>
            <surname>AI</surname>
          </string-name>
          <article-title>Trust in Business Processes: The Need for Process-Aware Explanations</article-title>
          ,
          <source>in: The 34th AAAI Conf. on Artificial Intelligence (AAAI'20)</source>
          , AAAI Press,
          <year>2020</year>
          , pp.
          <fpage>13403</fpage>
          -
          <lpage>13404</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>A.</given-names>
            <surname>Senderovich</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Weidlich</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Yedidsion</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Gal</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Mandelbaum</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Kadish</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C. A.</given-names>
            <surname>Bunnell</surname>
          </string-name>
          ,
          <article-title>Conformance Checking and Performance Improvement in Scheduled Processes: A Queueing-Network Perspective, EMISA Forum 36 (</article-title>
          <year>2016</year>
          )
          <fpage>57</fpage>
          -
          <lpage>59</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>P.</given-names>
            <surname>Valderas</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Torres</surname>
          </string-name>
          , E. Serral,
          <article-title>Modelling and Executing IoT-enhanced Business Processes through BPMN and Microservices</article-title>
          ,
          <source>Journal of Systems and Software</source>
          <volume>184</volume>
          (
          <year>2022</year>
          )
          <fpage>111139</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <surname>G. de Giacomo</surname>
          </string-name>
          , M. Y. Vardi,
          <article-title>Linear Temporal Logic and Linear Dynamic Logic on Finite Traces</article-title>
          , in: IJCAI,
          <year>2013</year>
          , pp.
          <fpage>854</fpage>
          -
          <lpage>860</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>S. J.</given-names>
            <surname>Russell</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Norvig</surname>
          </string-name>
          , Artificial Intelligence:
          <string-name>
            <given-names>A Modern</given-names>
            <surname>Approach</surname>
          </string-name>
          , Pearson,
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <surname>C. M. Bishop</surname>
          </string-name>
          ,
          <source>Pattern Recognition and Machine Learning</source>
          , Springer 2 (
          <year>2006</year>
          )
          <fpage>645</fpage>
          -
          <lpage>678</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <surname>G. De Giacomo</surname>
            ,
            <given-names>Y.</given-names>
          </string-name>
          <string-name>
            <surname>Lespérance</surname>
            ,
            <given-names>H. J.</given-names>
          </string-name>
          <string-name>
            <surname>Levesque</surname>
          </string-name>
          ,
          <article-title>Congolog, a concurrent programming language based on the situation calculus</article-title>
          ,
          <source>Artificial Intelligence</source>
          <volume>121</volume>
          (
          <year>2000</year>
          )
          <fpage>109</fpage>
          -
          <lpage>169</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <given-names>A.</given-names>
            <surname>Marrella</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Lespérance</surname>
          </string-name>
          ,
          <article-title>Synthesizing a library of process templates through partial-</article-title>
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>