<!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 />
    <article-meta>
      <title-group>
        <article-title>Towards Case-Based Deviation Management for Flexible Workflows</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Lisa Grumbach</string-name>
          <email>l.grumbach@umwelt-campus.de</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Ralph Bergmann</string-name>
          <email>bergmann@uni-trier.de</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Trier University of Applied Sciences</institution>
          ,
          <addr-line>Location Birkenfeld, Campusallee, 55761 Birkenfeld</addr-line>
          ,
          <country country="DE">Germany</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>University of Trier, Department of Business Information Systems II</institution>
          ,
          <addr-line>54286 Trier</addr-line>
          ,
          <country country="DE">Germany</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>This work introduces potentials for a case-based approach to deviation management in the context of flexible workflows. A constraintbased workflow engine is shortly introduced with some strategies for deviation handling. Three diferent research works about case-based methods and sequence similarity are described that may be adapted adequately to fit our use case of deviation management. Finally, not only challenges that need to be addressed in future work are sketched, but also potentials of the pursued approach are discussed.</p>
      </abstract>
      <kwd-group>
        <kwd>Case-Based Reasoning</kwd>
        <kwd>Flexible Workflow Management</kwd>
        <kwd>Flexibility by Deviation</kwd>
        <kwd>Sequence Similarity</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1 Introduction</title>
      <p>
        Digitalization is advancing in todays business. Small and medium-sized
enterprises (SMEs) appear to be lagging behind compared to large companies.
Process-aware information systems (PAIS, [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]) are well established for
standardized processes, but they lack support for flexibility, which is often required in
SMEs and may lead to competitive advantages. Additionally, in SMEs there are
often few experts which are responsible for certain processes. The knowledge
about how things are done is implicit, but not stored digitally and information
is simply shared orally. As stated by da Silva et al. [
        <xref ref-type="bibr" rid="ref23">23</xref>
        ], these experts usually
deviate and perform processes due to their expertise and experiences without
losing control or missing the objective, but rather optimizing the process. Tracing
these processes automatically and using them for process control may simplify
the transfer and preservation of “best practices”. This in turn may lead to an
increase of efficiency and enhanced assistance possibilities especially for
inexperienced users. Furthermore, bypassing the system and thus a loss of knowledge
and transparency is prevented.
      </p>
      <p>Copyright © 2019 for this paper by its authors. Use permitted under Creative
Commons License Attribution 4.0 International (CC BY 4.0).</p>
      <p>A main characteristic of an adequate approach for SMEs is to allow
unexpected deviations and support unforeseen changing circumstances. Thereby, the
key challenge is to determine how to continue with the workflow, while still
achieving a successful completion. For an automated handling of such deviations
without the demand for expert knowledge that needs to be integrated manually,
an option is to use past experiences, more specifically completed processes.
Applying case-based reasoning (CBR) to solve the described problem seems to be
promising, as previous made experiences are exploited for adapting to unknown
situations. Our objective is to develop an approach based on case-based
reasoning that detects and handles deviations which occur in a flexible workflow, but
still guides the user by recommending adequate work items.</p>
      <p>The remainder of the paper is organized as follows. The notions of workflow
lfexibility and deviation management including related work will be introduced
in section 2. Our approach of flexible workflow management allowing deviations
is presented in section 3, while the proposed case-based deviation management
including three promising methods, that could be exploited, are outlined in
chapter 4. We conclude with a summary and an insight into our future work.
2</p>
    </sec>
    <sec id="sec-2">
      <title>Foundations and Related Work</title>
      <p>In this section our previous work on workflow flexibility and a specification of the
underlying terminology will be presented. Furthermore the notion of deviation
will be introduced and related work will be sketched.
2.1</p>
      <sec id="sec-2-1">
        <title>Workflow Flexibility</title>
        <p>
          Flexible Workflows have been focussed in research for more than a decade [
          <xref ref-type="bibr" rid="ref22">22</xref>
          ].
Schonenberg et al. [
          <xref ref-type="bibr" rid="ref22">22</xref>
          ] distinguish four diferent flexibility principles. Flexibility
by Design, Change and Underspecification either require an entire awareness
about all possible upcoming situations at design-time in order to manually model
all possible alternatives, or a remodeling of the workflow is necessary at run-time.
Flexibility by Deviation in contrast “is the ability for a process instance to deviate
at run-time from the execution path prescribed by the original process without
altering its process definition” [
          <xref ref-type="bibr" rid="ref22">22</xref>
          ]. Thus, single instances may not fit to the
process model. Therefore we explicitly distinguish between modeled workflow,
denoted as de jure, and executed workflow, called de facto [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ]. Based on this
definition we developed a workflow engine that facilitates flexibility by deviation.
2.2
        </p>
      </sec>
      <sec id="sec-2-2">
        <title>Constraint-Based Workflow Engine</title>
        <p>
          During the SEMAFLEX3 [
          <xref ref-type="bibr" rid="ref12">12</xref>
          ] and the SEMANAS4 [
          <xref ref-type="bibr" rid="ref13">13</xref>
          ] project we developed a
lfexible workflow engine based on constraints. We presented an approach [
          <xref ref-type="bibr" rid="ref10 ref11">10,11</xref>
          ],
3 SEMAFLEX is funded by Stiftung Rheinland-Pfalz für Innovation, grant no. 1158
4 SEMANAS is funded by the Federal Ministry of Education and Research (BMBF),
grant no. 13FH013IX6
that allows flexible deviations from prescribed workflows, but still maintains
control and recommends valid work items to a limited extent.
        </p>
        <p>
          The proposed method is applied to imperatively modeled workflows,
restricted to block-oriented ones. The paradigm of regular block structuring
introduced by [
          <xref ref-type="bibr" rid="ref20">20</xref>
          ] is applied to guarantee model correctness by construction [
          <xref ref-type="bibr" rid="ref16">16</xref>
          ]
and achieve a simplified handling of workflow models. Block-oriented workflows
are constructed through a single root block element, which in turn consists of a
single task node, a sequence of two block elements or a control-flow block. Start
and end of control-flow blocks are clearly defined through control-flow nodes. An
example of a block-oriented workflow is shown in Fig. 1.
        </p>
        <p>t1
d1
+
t2
t3
+
d2
t4</p>
        <p>The exemplary workflow consists of four task nodes (rectangles), two data
nodes (ovals) and two control-flow nodes (rhombuses), which represent a parallel
control-flow block (“+”). Additionally, the edges denote either control-flow (solid
lines) or data-flow (dashed lines, input or output relation).</p>
        <p>In our approach we transform these imperative workflow models into
declarative constraints, which indicate sequential dependencies, to be able to determine
task activations and thus possible executions in a specific unterminated state
of the workflow. A constraint satisfaction problem (CSP) is constructed on the
basis of these generated constraints and logged task enactments. A solution of
the CSP is searched for, which tries to calculate a valid sequential enactment
of all already executed and possible future executions of tasks. Thus, with a
solution we are able to recommend valid task enactments. Consider the
example of Fig. 1, the constraint set as logical formula is constructed as follows:
t1 &lt; t2 ∧ t1 &lt; t3 ∧ t2 &lt; t4 ∧ t3 &lt; t4. If task t1 is executed, a value is assigned,
in this case t1 = 1, and added to the constraint set. Task recommendations are
calculated by regarding possible task assignments of the next sequential value,
in this case 2. Considering the constraint set either with t2 = 2 or with t3 = 2 a
solution is found. Thus, t2 and t3 are added as work items to the work list.</p>
        <p>An additional advantage of using a CSP is that it is relatively easy and fast
to retract violated constraints at run-time in order to restore consistency in case
of a deviation. Still, by regarding the remaining constraints valid solutions can
be computed. In our work, we therefore described a method, which detects
deviations and retracts violated constraints to restore consistency and re-enable the
workflow engine to recommend work items. But, a categorization of deviations
and a determination of the cause is not considered until now. Thus, in addition
to the restoration of consistency and overcoming a possible deadlock through
system failure, no adequate reaction is possible. Diferent strategies for resolving
inconsistencies, that are implemented until now, and their limitations are
presented in section 3.1. Due to these limitations, deviation management needs to
be elaborated in more detail and we propose a case-based approach.
2.3</p>
      </sec>
      <sec id="sec-2-3">
        <title>Deviation Management</title>
        <p>
          The notion of deviation is not clearly defined and often included in the term
exception, as a special type. To clarify our used classification of exceptions and
deviations several specifications will be quoted. A process deviation is defined by
da Silva et al. [
          <xref ref-type="bibr" rid="ref23">23</xref>
          ] as mismatch between executed process and process model. In
contrast to exceptional behaviour deviations cannot be anticipated. According
to Marrella et al. [
          <xref ref-type="bibr" rid="ref17">17</xref>
          ] exception handling is implemented manually at
designtime, whereas deviation handling requires ad-hoc changes at run-time. Eder et
al. [
          <xref ref-type="bibr" rid="ref8">8</xref>
          ] describe unexpected exceptions, what we call deviations, as an important
aspect which should be handled to gain possible benefits.
        </p>
        <p>
          Deviation Management in general can be split up into 3 phases: deviation
detection, deviation handling and deviation analysis. Most of the related work
focus on the detection and handling of deviations by either adapting running
workflow instances or proposing corrective measures. Zhu et al. [
          <xref ref-type="bibr" rid="ref27">27</xref>
          ] developed a
process behaviour space expression based on algebra to identify deviations and
provide simple methods like tolerating or adjusting deviations that handle such
exceptions to a limited extent.
        </p>
        <p>
          Several existing approaches utilise ECA rules [
          <xref ref-type="bibr" rid="ref19 ref4 ref7">4,7,19</xref>
          ] to determine a reaction
to detected deviations. Da Silva et al. [
          <xref ref-type="bibr" rid="ref23">23</xref>
          ] use logical formulae as rule basis for the
detection and recommend manually created correction plans. Grambower et al.
[
          <xref ref-type="bibr" rid="ref9">9</xref>
          ] present a flexible variant of ECA rules, which is enhanced through contextual
semantic information and reasoning. Actions to perform are additionally adapted
on the basis of semantic knowledge. A similar approach is developed by Adams et
al. [
          <xref ref-type="bibr" rid="ref3">3</xref>
          ]. The manual handling of deviation is circumvented by so-called worklets,
which represent exception handling patterns that are inserted automatically in
running workflow instances on the basis of contextual information.
        </p>
        <p>
          Depaire et al. [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ] focus on deviation diagnosis or as they refer to the
“managerial view” and investigate and analyse characteristics of deviations on purpose
of searching for control weaknesses. Workflow instances are mined and business
rules representing the deviations are derived subsequently, reducing the amount
of data drastically, which in turn may be analysed.
        </p>
        <p>
          CBRFlow [
          <xref ref-type="bibr" rid="ref25">25</xref>
          ] is a system that exploits conversational case-based reasoning
to react to changing circumstances. Business rules are used to model necessary
workflow run-time changes and may then be recommmended in similar future
situations. But still the user has to intervene manually to trigger a deviation and
to resolve the issues.
3
        </p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Analysis of the Deviation Management Problem</title>
      <p>All of the presented related work considers manually created knowledge or even
requires manual intervention in a running workflow for the management of
deviations. As we address SMEs our aim is to automatically adapt to changing
circumstances without the need of modeling process fragments or adaptation
knowledge in any form. Our objective is to create an approach that relies on
experience and thus previously executed workflows and exploits available data
to provide further workflow control and recommendations of work items even in
unexpected situations.
3.1</p>
      <sec id="sec-3-1">
        <title>Typical Scenarios</title>
        <p>Two diferent and very simple constraint violation scenarios will be presented
in combination with strategies, which we already implemented, for restoring
consistency in the CSP.</p>
        <p>Sequential Constraint Violation For handling detected deviations in a
simple sequential workflow or in sequential parts of a workflow, we developed two
diferent strategies for restoring consistency. Consider the example in Fig. 2,
where the first row shows the initial situation and the second row represents one
step further with an additional executed task. Circles indicate tasks and edges
represent the execution order. Blue filled nodes were already executed, pink ones
are currently recommended and grey nodes are not activated yet. In the lower
row there is a task executed, which is not in a valid order, thus a deviation
occurred. The cause of the violation is not explicit without semantic knowledge
and needs to be specified by the user. Without necessary user intervention we
are able to derive two possible reasons, which are handled in diferent strategies.
1. Skipped Tasks. Tasks may have become obsolete and are therefore skipped
or have been executed but without notice of the system (cf. Fig. 3a). All
constraints concerning skipped tasks are irrelevant for continuing with the
workflow and simply may be omitted.
2. Changed Order. Task order may have changed due to unknown reasons.</p>
        <p>Remaining tasks need to be connected sequentially, as if the current executed
task (second blue one) would have been inserted after the last executed one
(first blue one, cf. new edges in Fig. 3b).
(a) Skipped Tasks
(b) Changed Order</p>
        <p>Which strategy is applied needs to be determined either prior to the start of
a workflow or at run-time. If the applied strategies difer for single deviations
of the same type, further user interaction is necessary for each occurrence at
run-time, which reduces the advantages of allowed flexibility and an additional
obstacle for an easy-to-use system emerges.</p>
        <p>Exclusive Constraint Violation Another example scenario of a simple
violation that might occur is depicted in Fig. 4. In this simplified sketch at first both
exclusive paths might be chosen, followed by the execution of the upper task,
which implies the exclusion of the lower tasks. The deviation occurs in the last
step, as nevertheless a task of the lower path has been executed.</p>
        <p>Which path should be pursued for workflow continuation without further
knowledge can only be guessed by the system. Possible reasons are that either
some task was completed by mistake or eventually certain circumstances changed
that demand an adjustment and caused the execution of an excluded task or
rather whole path. Constraints need to be adapted in case of such a violation
according to one of the strategies pointed out in Fig. 5a and 5b.</p>
        <p>The described scenarios have shown two types of deviations and thus
constraint violations with a simple structure and a limited number of resolving
possibilities. These strategies are straight-forward and easy to implement, but
require user interaction. Besides, deviations might lead to additional deviations
or even might be more complex from ground up, which makes it impossible to
determine similar strategies to handle all possible deviation scenarios.
Furthermore, it is not our aim to construct strategies, which need to be picked by the
user, but rather some methods, which can be applied in an automated manner
and support the user invisibly without the need of manual intervention.
(a) Continuing with the Upper
Path
(b) Continuing with the Lower Path
In our ongoing work we focus on case-based reasoning as technique to
overcome the previously mentioned disadvantages.
4</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>Case-Based Deviation Management</title>
      <p>
        Case-Based Reasoning [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] is a method that exploits previously made experiences
to adapt to currently upcoming and partly unforeseen situations. As we
pursue an approach where users are allowed to deviate flexibly, but still guidance
through recommending work items is to be achieved on the basis of formerly
traced workflows, CBR seems promising. De facto workflows may be used as
case base, which is searched for similar cases compared to a running workflow
instance. Furthermore, retrieved cases may be used to adapt the running workflow
instance, either considering the work items or the underlying workflow model.
Our aim is to create a learning workflow engine, which automatically handles
unforeseen deviations and nevertheless guides the user to a successful completion
of the workflow by recommending work items by reuse of previous cases.
4.1
      </p>
      <sec id="sec-4-1">
        <title>Basic Approach for a Case-Based Deviation Management</title>
        <p>In the following, we sketch some characteristics of a case-based approach to
deviation management for flexible workflows.</p>
        <p>Case As cases we regard all de facto workflows and their corresponding de jure
workflow. The de jure workflow is block-oriented and the de facto workflow is a
simple sequence of tasks, which were traced at run-time.</p>
        <p>Query A running workflow instance, which is not completed yet, will be used
as query. The associated de jure workflow is also available. This instance is a
subsequence of a future de facto workflow and contains at least one deviation
concerning its de jure workflow, that occurred at the time of the request. With
case-based reasoning we aim at recommending work items to continue with the
running workflow instance of the query, by searching for similar de facto
worklfows whose subsequences match the current instance. Successive tasks to those
subsequences in the case may be reused as possible recommendations.
Additional Knowledge Semantic descriptions and contextual information of
the task and data nodes are accessible as additional knowledge. In certain cases
there might be stored some kind of evaluation, i.e. if the workflow completed
successful or failed. Furthermore, a categorization of the deviation might be derived,
e.g. skipping of a task. Besides the de jure workflow, the declarative constraints,
which are created and processed by the workflow engine, might be considered.
Therefore, violated constraints are identifiable as well, if a deviation occurred.
All of this additional information may be consulted for similarity calculation and
enhance the retrieval process.</p>
        <p>Similarity The similarity measure has to deal with a subset relation between
query and case, as the de facto workflow of the query has not terminated yet,
whereas the de facto workflows of the cases are complete. For the comparison of
the de facto workflows we propose to use a sequence similarity measure, but local
semantic similarity of tasks should be considered as well in a global similarity
measure for the whole workflows.</p>
        <p>Furthermore, diferences in subsequences that are not related directly to the
deviation, when comparing query and case, might not be relevant. This
relevance might be expressed by the distance to the currently focussed task or
the position concerning its level. For example, consider the workflow in Fig. 1,
where a parallel control-flow block is included. Valid de facto workflows could be
f1 = ⟨t1, t2, t3, t4⟩ as well as f2 = ⟨t1, t3, t2, t4⟩, where the order of the tasks of
the control-flow block may difer. If a deviation occurs in the part after t4, which
is omitted in the figure, diferences in the preceding part of the de facto workflow
of case and query, like f1 and f2, might not be relevant for the deviation and
should nevertheless be regarded as highly similar.</p>
        <p>Additionally, as the technique will be applied during workflow execution, the
retrieval and adaptation needs to fulfill real-time constraints, otherwise users
will be tempted to bypass the system.</p>
        <p>In the following, we will investigate three methods for the retrieval of the
most similar cases and adaptations of the query concerning their applicability
to the described case-based deviation management.
4.2</p>
      </sec>
      <sec id="sec-4-2">
        <title>Trace-Based Reasoning</title>
        <p>
          Trace-based Reasoning (TBR), which was first introduced by Mille [
          <xref ref-type="bibr" rid="ref18">18</xref>
          ], is a
special form of case-based reasoning, where traces serve as case base. An important
aspect as extension to standard CBR is the introduction of a temporal aspect. In
TBR similarity measures are used that base upon temporal sequences. Cordier et
al. [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ] and Zarka [
          <xref ref-type="bibr" rid="ref26">26</xref>
          ] presented an approach with the objective of finding
contextual recommendations for users that interact with web applications. Therefore
an algorithm was developed that is based on the Smith-Waterman-Algorithm
(SWA) and was adapted for retrieving similar traces. The SWA is used for local
sequence alignment and compares traces in all possible lengths. This
characteristic perfectly matches the requirements of trace-based reasoning as terminated
instances have to be compared to ongoing and not completed processes which
are only subsequences and will not match exactly considering the length. Several
local similarity measures are used for each attribute of the observed elements,
that are part of the traces. For each observed element a global similarity value
is computed on the basis of local values with use of a weighted average function.
These similarity values of single elements are furthermore used in the SWA to
calculate the overall similarity of traces. This method can be transferred to our
pursued deviation management, if de facto workflows are considered as traces,
for retrieving the best matching cases.
        </p>
        <p>
          As adaptation method, Zarka [
          <xref ref-type="bibr" rid="ref26">26</xref>
          ] proposes a simple extraction method, that
takes a subsequence of actions from the most similar retrieved case, which follows
the part of the matched trace. Some values of this subsequence are adapted
by more adequate ones on the basis of contextual information. As last step in
the adaptation process, actions are filtered, e.g. invalid actions or unnecessary
repetitions.
        </p>
        <p>In our case of deviation management this subsequence can be extracted from
the retrieved de facto workflow and first tasks of this subsequence can then
be recommended as work items. Furthermore, if case and query do not match
exactly, edit steps, which are necessary for aligning query and case, are part of the
solution of the SWA. These additional diferences relate to previously happened
deviations, but might be required for a successful completion of the workflow as
well. Therefore, these edit steps possibly might be transformed adequately into
additional work items to ultimately provide further workflow control.
4.3</p>
      </sec>
      <sec id="sec-4-3">
        <title>Alternative Similarity Measures</title>
        <p>
          Dynamic Time Warping Dynamic Time Warping (DTW, [
          <xref ref-type="bibr" rid="ref21">21</xref>
          ]) may be used
as alternative similarity measure for sequence comparison. DTW is already
applied in various CBR approaches, for example for patient case matching in the
medical domain [
          <xref ref-type="bibr" rid="ref24">24</xref>
          ]. It is a method which is used for aligning two time series,
in our case de facto workflows can be regarded as such, by finding the best
possible matching. For local comparison of diferent elements a cost function is
defined. An optimal warping path is then searched for in the constructed cost
matrix. The algorithm follows the same principle compared to the SWA with
the main diference of values that are used in the matrix. A main advantage of
both methods is the resistance to noise.
        </p>
        <p>
          Vector Similarity Measure for Sequences A completely diferent approach
is adopted by Gundersen [
          <xref ref-type="bibr" rid="ref14">14</xref>
          ]. In his research work, he presents a similarity
measure for sequences on the basis of vectors. The main objective is to create
a similarity measure which is suitable for real-time analysis relying on the
assumption that events that happened near-time are more important than events
from longer time ago. This is realized by a weighting function, that considers
the position of events, related to the start and end of a sequence. The nearer
the occurrence of an event is to the end of a sequence, the higher the weight
value. For each event type this weight is computed as sum of single weights of
single event occurrences. These weights of event types are then combined into a
vector, that in turn may be compared to other vectors with common methods,
like cosine similarity.
        </p>
        <p>The approach is lacking semantic similarity between single tasks, as only
whole sequences are compared considering their properties of task occurrences.
Only self-referential characteristics of tasks can be included in the single weights
of tasks, like e.g. importance or severity.</p>
        <p>
          The vector similarity measure is developed on the basis of requirements for
recognizing failure causes and recommending adequate solutions in the oil-well
drilling domain. As specific characteristics are addressed, cf. [
          <xref ref-type="bibr" rid="ref15">15</xref>
          ], the approach
is not generally applicable, but some properties might be transferable, especially
for the relevance of task similarity dependent on the distance to the currently
focused task.
4.4
        </p>
      </sec>
      <sec id="sec-4-4">
        <title>Challenges and Potentials</title>
        <p>
          To fit the needs of our proposed case-based deviation management the presented
similarity measures and adaptation methods need to be investigated in detail and
evaluated against our requirements. But as described previously some
characteristics of each of the approaches might be adopted and combined for an adequate
handling of deviations. Until now, we consider TBR as the technique with the
most potential for an application to our proposed deviation management, as
the similarity measure includes semantics of tasks and is also resistant to noise.
Furthermore, adaptation opportunities are already available. We will consider
to slightly adjust the similarity function with weights, indicating the distance to
the deviation, analogously to the vector similarity measure of Gundersen [
          <xref ref-type="bibr" rid="ref14">14</xref>
          ].
        </p>
        <p>Additionally to these challenging requirements some opportunities arise. An
important aspect that should not be neglected is the performance of the applied
algorithm as our approach will be used in real-time. To improve retrieval time,
an option may be to filter the case base during execution, as the beginning of
the trace is already available and enhanced step by step.</p>
        <p>Another potential which will be investigated is, if the work list can be
optimized through using CBR methods even if no deviation occurs, e.g. through a
priorization and ranking of work items one the basis of previous traces. Perhaps
even deviations could be explicitly triggered. Consider a best practice, and thus
optimized, workflow, which is executed through experienced employees, will be
traced and enhance the case base. This workflow might not be an exact mapping
of the designed workflow model, but may still be used for workflow control with
the use of CBR methods.
5</p>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>Conclusion</title>
      <p>In this paper we presented our vision of a case-based approach to deviation
management in the context of flexible workflows. We described our ongoing research
work about constraint-based workflow flexibility and the need for an integration
of a thorough deviation management. We investigated the potential of applying
methods of case-based reasoning and sequence similarity and therefore
introduced three existing techniques, that may be used after an adequate adoption.
Finally we sketched some challenges and potentials of the approach, that we will
face in our future work.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>van der Aalst</surname>
            ,
            <given-names>W.M.P.</given-names>
          </string-name>
          :
          <string-name>
            <surname>Business Process Management - A Comprehensive</surname>
          </string-name>
          <article-title>Survey</article-title>
          .
          <source>ISRN Software Engineering</source>
          <year>2013</year>
          ,
          <fpage>1</fpage>
          -
          <lpage>37</lpage>
          (
          <year>2013</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Aamodt</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Plaza</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          :
          <article-title>Case-based reasoning: Foundational issues, methodological variations, and system approaches</article-title>
          .
          <source>AI Commun</source>
          .
          <volume>7</volume>
          (
          <issue>1</issue>
          ),
          <fpage>39</fpage>
          -
          <lpage>59</lpage>
          (
          <year>1994</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Adams</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>ter Hofstede</surname>
            ,
            <given-names>A.H.M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>van der Aalst</surname>
            ,
            <given-names>W.M.P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Edmond</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>Dynamic, extensible and context-aware exception handling for workflows</article-title>
          .
          <source>In: On the Move to Meaningful Internet Systems</source>
          <year>2007</year>
          :
          <article-title>CoopIS, DOA</article-title>
          , ODBASE, GADA, and IS, OTM Confederated International Conferences, Vilamoura, Portugal,
          <source>November 25- 30</source>
          ,
          <year>2007</year>
          , Proceedings, Part I. pp.
          <fpage>95</fpage>
          -
          <lpage>112</lpage>
          (
          <year>2007</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Casati</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ceri</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Paraboschi</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Pozzi</surname>
          </string-name>
          , G.:
          <article-title>Specification and implementation of exceptions in workflow management systems</article-title>
          .
          <source>ACM Trans. Database Syst</source>
          .
          <volume>24</volume>
          (
          <issue>3</issue>
          ),
          <fpage>405</fpage>
          -
          <lpage>451</lpage>
          (
          <year>1999</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Cordier</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Lefèvre</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Champin</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Georgeon</surname>
            ,
            <given-names>O.L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mille</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Trace-based reasoning - modeling interaction traces for reasoning on experiences</article-title>
          .
          <source>In: Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, FLAIRS</source>
          <year>2013</year>
          ,
          <article-title>St</article-title>
          . Pete Beach, Florida, USA, May
          <volume>22</volume>
          -24,
          <year>2013</year>
          . (
          <year>2013</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Depaire</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Swinnen</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Jans</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Vanhoof</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          :
          <article-title>A process deviation analysis framework</article-title>
          .
          <source>In: Business Process Management Workshops - BPM 2012 International Workshops</source>
          , Tallinn, Estonia, September 3,
          <year>2012</year>
          . pp.
          <fpage>701</fpage>
          -
          <lpage>706</lpage>
          (
          <year>2012</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Döhring</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zimmermann</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Godehardt</surname>
          </string-name>
          , E.:
          <article-title>Extended workflow flexibility using rule-based adaptation patterns with eventing semantics</article-title>
          .
          <source>In: Informatik</source>
          <year>2010</year>
          :
          <article-title>Service Science - Neue Perspektiven für die Informatik, Beiträge der 40</article-title>
          .
          <article-title>Jahrestagung der Gesellschaft für Informatik e</article-title>
          .V. (GI),
          <source>Band</source>
          <volume>1</volume>
          ,
          <fpage>27</fpage>
          .
          <fpage>09</fpage>
          . -
          <lpage>1</lpage>
          .
          <fpage>10</fpage>
          .
          <year>2010</year>
          , Leipzig, Deutschland. pp.
          <fpage>195</fpage>
          -
          <lpage>200</lpage>
          (
          <year>2010</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Eder</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Liebhart</surname>
            ,
            <given-names>W.:</given-names>
          </string-name>
          <article-title>The workflow activity model WAMO</article-title>
          . In: CoopIS. pp.
          <fpage>87</fpage>
          -
          <lpage>98</lpage>
          (
          <year>1995</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Grambow</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Oberhauser</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Reichert</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <article-title>Event-driven exception handling for software engineering processes</article-title>
          . In:
          <string-name>
            <surname>Business Process Management Workshops - BPM 2011 International Workshops</surname>
          </string-name>
          , Clermont-Ferrand, France,
          <year>August 29</year>
          ,
          <year>2011</year>
          ,
          <string-name>
            <given-names>Revised</given-names>
            <surname>Selected</surname>
          </string-name>
          <string-name>
            <surname>Papers</surname>
          </string-name>
          , Part I. pp.
          <fpage>414</fpage>
          -
          <lpage>426</lpage>
          (
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Grumbach</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bergmann</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          :
          <article-title>Using constraint satisfaction problem solving to enable workflow flexibility by deviation (best technical paper)</article-title>
          .
          <source>In: Artificial Intelligence XXXIV - 37th SGAI International Conference on Artificial Intelligence</source>
          ,
          <source>AI</source>
          <year>2017</year>
          , Cambridge, UK, December
          <volume>12</volume>
          -
          <issue>14</issue>
          ,
          <year>2017</year>
          , Proceedings. pp.
          <fpage>3</fpage>
          -
          <lpage>17</lpage>
          (
          <year>2017</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Grumbach</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bergmann</surname>
          </string-name>
          , R.:
          <article-title>SEMAFLEX: A novel approach for implementing workflow flexibility by deviation based on constraint satisfaction problem solving</article-title>
          .
          <source>Expert Systems (03</source>
          <year>2019</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Grumbach</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rietzke</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Schwinn</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bergmann</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kuhn</surname>
          </string-name>
          , N.:
          <article-title>SEMAFLEX - Semantic Integration of Flexible Workflow and Document management</article-title>
          .
          <source>In: Proceedings of the Conference “Lernen</source>
          , Wissen, Daten, Analysen”, Potsdam, Germany,
          <source>September 12-14</source>
          ,
          <year>2016</year>
          . pp.
          <fpage>43</fpage>
          -
          <lpage>50</lpage>
          (
          <year>2016</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>Grumbach</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rietzke</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Schwinn</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bergmann</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kuhn</surname>
          </string-name>
          , N.:
          <article-title>SEMANAS - semantic support for grant application processes</article-title>
          .
          <source>In: Proceedings of the Conference “Lernen</source>
          , Wissen, Daten, Analysen”,
          <source>LWDA</source>
          <year>2018</year>
          , Mannheim, Germany,
          <source>August 22-24</source>
          ,
          <year>2018</year>
          . pp.
          <fpage>126</fpage>
          -
          <lpage>131</lpage>
          (
          <year>2018</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Gundersen</surname>
            ,
            <given-names>O.E.</given-names>
          </string-name>
          :
          <article-title>Toward measuring the similarity of complex event sequences in real-time</article-title>
          .
          <source>In: Case-Based Reasoning Research and Development - 20th International Conference, ICCBR</source>
          <year>2012</year>
          , Lyon, France, September 3-
          <issue>6</issue>
          ,
          <year>2012</year>
          . Proceedings. pp.
          <fpage>107</fpage>
          -
          <lpage>121</lpage>
          (
          <year>2012</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <surname>Gundersen</surname>
            ,
            <given-names>O.E.</given-names>
          </string-name>
          :
          <article-title>Enhancing the Situation Awareness of Decision Makers by Applying Case-Based Reasoning on Streaming Data</article-title>
          .
          <source>Ph.D. thesis</source>
          , Norwegian University of Science and Technology, Trondheim, Norway (
          <year>2014</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <surname>Kiepuszewski</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>ter Hofstede</surname>
            ,
            <given-names>A.H.M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bussler</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          :
          <article-title>On structured workflow modelling</article-title>
          .
          <source>In: Advanced Information Systems Engineering</source>
          , 12th International Conference CAiSE, Stockholm, Sweden, June 5-9,
          <year>2000</year>
          , Proceedings. pp.
          <fpage>431</fpage>
          -
          <lpage>445</lpage>
          (
          <year>2000</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          17.
          <string-name>
            <surname>Marrella</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mecella</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sardiña</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          :
          <article-title>Intelligent process adaptation in the smartpm system</article-title>
          .
          <source>ACM TIST 8</source>
          (
          <issue>2</issue>
          ),
          <volume>25</volume>
          :
          <fpage>1</fpage>
          -
          <lpage>25</lpage>
          :
          <fpage>43</fpage>
          (
          <year>2017</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          18.
          <string-name>
            <surname>Mille</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>From case-based reasoning to traces-based reasoning</article-title>
          .
          <source>Annual Reviews in Control</source>
          <volume>30</volume>
          (
          <issue>2</issue>
          ),
          <fpage>223</fpage>
          -
          <lpage>232</lpage>
          (
          <year>2006</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          19.
          <string-name>
            <surname>Müller</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Greiner</surname>
            ,
            <given-names>U.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rahm</surname>
          </string-name>
          , E.:
          <article-title>Agentwork: a workflow system supporting rulebased workflow adaptation</article-title>
          .
          <source>Data Knowl. Eng</source>
          .
          <volume>51</volume>
          (
          <issue>2</issue>
          ),
          <fpage>223</fpage>
          -
          <lpage>256</lpage>
          (
          <year>2004</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          20.
          <string-name>
            <surname>Reichert</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <article-title>Dynamische Ablaufänderungen in Workflow-Management-Systemen</article-title>
          .
          <source>Ph.D. thesis</source>
          , University of Ulm, Germany (
          <year>2000</year>
          ), http://d-nb.
          <source>info/960862684</source>
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          21.
          <string-name>
            <surname>Sakoe</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Chiba</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          :
          <article-title>Dynamic programming algorithm optimization for spoken word recognition</article-title>
          .
          <source>IEEE Transactions on Acoustics, Speech, and Signal Processing</source>
          <volume>26</volume>
          ,
          <fpage>43</fpage>
          -
          <lpage>49</lpage>
          (02
          <year>1978</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          22.
          <string-name>
            <surname>Schonenberg</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mans</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Russell</surname>
            ,
            <given-names>N.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mulyar</surname>
          </string-name>
          , N.,
          <string-name>
            <surname>van der Aalst</surname>
            ,
            <given-names>W.M.P.</given-names>
          </string-name>
          :
          <article-title>Towards a taxonomy of process flexibility</article-title>
          .
          <source>In: Proceedings of the Forum at the CAiSE'08 Conference</source>
          , Montpellier, France, June 18-20,
          <year>2008</year>
          . pp.
          <fpage>81</fpage>
          -
          <lpage>84</lpage>
          (
          <year>2008</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref23">
        <mixed-citation>
          23. da Silva,
          <string-name>
            <given-names>M.A.A.</given-names>
            ,
            <surname>Bendraou</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            ,
            <surname>Robin</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            ,
            <surname>Blanc</surname>
          </string-name>
          ,
          <string-name>
            <surname>X.</surname>
          </string-name>
          :
          <article-title>Flexible deviation handling during software process enactment</article-title>
          .
          <source>In: Workshops Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, EDOCW 2011</source>
          , Helsinki, Finland,
          <source>August 29 - September 2</source>
          ,
          <year>2011</year>
          . pp.
          <fpage>34</fpage>
          -
          <lpage>41</lpage>
          (
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref24">
        <mixed-citation>
          24.
          <string-name>
            <surname>Tsevas</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Iakovidis</surname>
            ,
            <given-names>D.K.</given-names>
          </string-name>
          :
          <article-title>Dynamic time warping fusion for the retrieval of similar patient cases represented by multimodal time-series medical data</article-title>
          .
          <source>Proceedings of the 10th IEEE International Conference on Information Technology and Applications</source>
          in Biomedicine pp.
          <fpage>1</fpage>
          -
          <lpage>4</lpage>
          (
          <year>2010</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref25">
        <mixed-citation>
          25.
          <string-name>
            <surname>Weber</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wild</surname>
            ,
            <given-names>W.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Breu</surname>
          </string-name>
          , R.: Cbrflow:
          <article-title>Enabling adaptive workflow management through conversational case-based reasoning</article-title>
          .
          <source>In: Advances in Case-Based Reasoning, 7th European Conference, ECCBR 2004</source>
          , Madrid, Spain,
          <source>August 30 - September 2</source>
          ,
          <year>2004</year>
          , Proceedings. pp.
          <fpage>434</fpage>
          -
          <lpage>448</lpage>
          (
          <year>2004</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref26">
        <mixed-citation>
          26.
          <string-name>
            <surname>Zarka</surname>
          </string-name>
          , R.:
          <article-title>Trace-based reasoning for user assistance and recommendations. (Raisonnement à partir de l'expérience tracée pour l'assistance à l'utilisateur et les recommandations)</article-title>
          .
          <source>Ph.D. thesis</source>
          , INSA Lyon, Lyon - Villeurbanne, France (
          <year>2013</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref27">
        <mixed-citation>
          27.
          <string-name>
            <surname>Zhu</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Dai</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mo</surname>
            ,
            <given-names>Q.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Yu</surname>
            ,
            <given-names>Y.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Lin</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Li</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          :
          <article-title>An approach to handling software process deviations</article-title>
          .
          <source>Lecture Notes on Software Engineering</source>
          <volume>3</volume>
          ,
          <fpage>238</fpage>
          -
          <lpage>244</lpage>
          (01
          <year>2015</year>
          )
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>