<!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>Change Patterns for Decision Model and Notation (DMN) Model Evolution</article-title>
      </title-group>
      <contrib-group>
        <aff id="aff0">
          <label>0</label>
          <institution>Faruk Hasic and Estefan a Serral Research Centre for Information Systems Engineering (LIRIS) KU Leuven</institution>
          ,
          <addr-line>Brussels</addr-line>
          ,
          <country country="BE">Belgium</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Information systems rely on decision knowledge during their execution. A recently introduced standard, the Decision Model and Notation (DMN), has been adopted in both industry and academia as a suitable method for modelling decision knowledge. However, this decision knowledge is not static and may undergo changes after system deployment. DMN change patterns have not yet been studied in the literature. This paper lls this gap by presenting an initial set of DMN change patterns. The patterns presented in this paper will not only facilitate the understanding of decision change management, but can also be capitalised on for, among other things, adapting decision management systems to be more exible, consistency checking of decision models, and developing modelling tools that facilitate those changes.</p>
      </abstract>
      <kwd-group>
        <kwd>Decision Model and Notation (DMN)</kwd>
        <kwd>Model Evolution</kwd>
        <kwd>Change Patterns</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        Decision Model and Notation (DMN) is a recently
introduced decision modelling standard that has
enjoyed signi cant interest in literature [
        <xref ref-type="bibr" rid="ref1">1, 2, 3, 4, 5</xref>
        ].
DMN consists of two levels that are to be used in
conjunction. First, the decision requirement level
represented by the Decision Requirement Diagram (DRD)
which depicts the requirements of decisions and the
dependencies between elements involved in the
decision model. Second, the decision logic level, which
presents ways to specify the underlying decision logic.
The DMN standard employs rectangles to depict
decisions and sub-decisions, and ovals to represent data
input. The decision logic level is usually represented in
the form of decision tables. An example of a DRD
diagram deciding on the severity of Chronic Obstructive
Pulmonary Disease (COPD) in a patient is provided in
Figure 1, while Figure 2 depicts the top-level decision
logic in the form of a decision table.
      </p>
      <p>Although it is obvious that the reasoning of
decisions can change over time to adapt to changing
requirements, all current works approach DMN from a
static perspective, i.e., no attention has been given to
changing or adaptable decision models. In this paper
we approach this research gap by identifying a rst
set of change patterns that can be applied to DMN
decision models. These ndings can aid in developing
and implementing dynamic decision management tools
and systems that meet the requirements of exible and
changing decision knowledge.</p>
      <p>This paper is structured as follows. Section 2
constitutes a related work section. In Section 3 runtime
evolution of decision models is explained, while
possible decision model change patterns are discussed in
Section 4. Section 5 deals with future research.
Finally, Section 6 concludes the paper.
2</p>
    </sec>
    <sec id="sec-2">
      <title>Related</title>
    </sec>
    <sec id="sec-3">
      <title>Work</title>
      <p>
        Most works around DMN have focused on the
integration of process and decision models from a
modelling point of view e.g., [
        <xref ref-type="bibr" rid="ref1">2, 6, 7, 8, 9</xref>
        ]. Others focus
on the automatic discovery of decision model from
enriched process event logs [
        <xref ref-type="bibr" rid="ref3">10, 11</xref>
        ]. Furthermore,
literature provides a set of tools for modelling DMN models
[
        <xref ref-type="bibr" rid="ref4 ref5 ref6">12, 13, 14</xref>
        ].
      </p>
      <p>Muscle activity</p>
      <p>Decision node
(top-level decision)</p>
      <p>COPD severeness
Heart rhythm</p>
      <p>Respiration</p>
      <p>Decision node
(subdecision)
Skin temperature</p>
      <p>Information
requirement
Input data node
EMG data</p>
      <p>ECG data</p>
      <p>Respiratory data</p>
      <p>Skin sensor data
in a sound way.
4</p>
    </sec>
    <sec id="sec-4">
      <title>Towards</title>
    </sec>
    <sec id="sec-5">
      <title>Patterns</title>
    </sec>
    <sec id="sec-6">
      <title>Decision</title>
    </sec>
    <sec id="sec-7">
      <title>Model</title>
    </sec>
    <sec id="sec-8">
      <title>Change</title>
      <p>
        To accommodate decision model changes, designers
should be able to evolve the decision models after
deployment. A number of changes can occur in the
decision model. The core elements of a decision model
are depicted in Figure 1, i.e. the input data and the
decision nodes within a DRD, connected via
information requirements arrows. The logic encapsulated in a
decision node is usually modelled with decision tables,
such as shown in Figure 2. To determine the change
patterns, we investigate the changes that can
manifest themselves on the core DMN elements, provided
in the meta-model of the DMN speci cation [1], at
different levels of granularity. First, we assess the change
patterns within a single decision rule, i.e., changing
the inputs and outcomes of a single rule or row in the
decision table. Next, we look at change patterns for
a decision rule in its entirety, i.e., adding or deleting
decision rules from a decision table. These change
patterns all pertain to a single node of the DRD, i.e., a
single decision table, according to the DMN decision
table meta-model [1]. Finally, we investigate change
patterns on the topological structure of the DRD itself,
respectively the addition and deletion of decision nodes
and data input nodes. The change patterns are derived
from the formalisation of core decision model elements
in [
        <xref ref-type="bibr" rid="ref1">2</xref>
        ] and the elementary edit operations that can be
applied on the elements, i.e., insertion and deletion,
as well as substitution, which in essence is a
combination of insertion and deletion [
        <xref ref-type="bibr" rid="ref15">23</xref>
        ]. Table 1 provides
an overview of the change patterns directly relating to
core DMN elements.
4.1
      </p>
      <p>Change patterns within decision rules
We indicate a change pattern with . For changes
within decision rules, we can distinguish three
elements in the decision table that can undergo changes:
the inputs, the outputs, and the logic mapping the
inputs to the outputs, i.e. the decision rules:</p>
      <p>
        1: Excluding a decision input indicates
deleting an existing input variable from a decision
table. However, simply deleting an input variable
can render the decision table to be incomplete and
incorrect. As such, the table may need to undergo
refactoring in order to render a decision table that
is complete and correct [
        <xref ref-type="bibr" rid="ref18">26</xref>
        ].
      </p>
      <p>2: Including a decision input indicates
adding a new input variable to a decision table.
Similar to 1, the table may need to undergo
refactoring after this change pattern is applied
3.
4.
5.
1.
2.</p>
      <p>4: Including a decision output indicates
an addition of a new output to the output set of
a decision table.</p>
      <p>5: A decision logic change indicates a
change in relating the existing input symbols to
the existing output symbols within the decision
table, i.e., the mapping from inputs to outputs.
4.2</p>
      <p>Change patterns on decision rules in their
entirety
Next to changes within decision rules, we can view
decision rules as an atomic entity and perform changes
on the decision rule in its entirety:</p>
      <p>6: Excluding a decision rule if a decision
rule is deemed irrelevant at a certain point in time.
The decision rule can be deleted in its entirety
from a decision table. Notice that by deleting
decision rules, the decision table may not be
complete anymore. To avoid this, either the decision
table should be completed by ensuring that all
input values are mapped to existing decision
outcomes, or the system should be redesigned to
capture the possibility of no decision outcome being
returned.</p>
      <p>7: Including a decision rule if a new
decision rule is deemed relevant at a certain point
in time. The decision rule can be added in its
entirety to an existing decision table.</p>
      <p>9: Including a decision node to the set of
decision nodes corresponds to adding a new
decision table, and thus, adding multiple decision
rules encapsulated in the decision node. Hence,
this change pattern is in essence an aggregation
of multiple include decision rule changes ( 7).
Note that adding a decision node also adds the
necessary incoming and outgoing information
requirements arrows.
4.4</p>
      <p>Change patterns on the input data nodes
in the DRD
This subsection deals with the deletion or addition of
input data nodes in the decision requirements diagram.</p>
      <p>10: Including an input data node to the
set of data input nodes also adds its necessary
input requirement arrows and connects it to the
relevant decision nodes in the DRD. Notice that
this change pattern on the DRD level corresponds
to adding a new input variable to the decision
table that requires the newly added data input
node. Hence, this change pattern is equivalent to
2.</p>
      <p>11: Excluding an input data node from
the set of data input nodes also deletes all its
input requirement arrows. Notice that this change
pattern on the DRD level corresponds to deleting
an input variable from the decision table that
required the input data node. Hence, this change
pattern is again equivalent to 1.</p>
      <p>Note that adopting a change pattern on a DMN
decision model can lead to within-model
inconsistencies and that additional change patterns may need to</p>
    </sec>
    <sec id="sec-9">
      <title>Future Work</title>
      <p>In future work, we will investigate how a change in
the decision model can require the triggering of other
changes in order to safeguard within-model
consistency. Additionally, we will investigate how
changing decision models impacts other systems and
models that rely on the logic encapsulated in the decision
models. More speci cally, we will examine how the
proposed change patterns in uence process and
decision model consistency in an integrated process and
decision model environment. Changing the
underlying decisions of a process can lead to change patterns
in the process model as well if the sound interaction
between the process and decision model is to be
ensured.</p>
      <p>
        Furthermore, exible decision models are of
particular interest to Internet-of-Things (IoT) process
settings [
        <xref ref-type="bibr" rid="ref19">27</xref>
        ], as IoT process are inherently subject to
a dynamic and changeable environment. Therefore,
we will investigate how these change patterns
manifest themselves in decision-intensive IoT processes.
      </p>
      <p>Finally, we will look into developing a tool that
provides possibilities for DMN model evolution with
automated model consistency checking and repair, while
maintaining the link with the Camunda execution
engine.
6</p>
    </sec>
    <sec id="sec-10">
      <title>Conclusion</title>
      <p>This paper presents an initial set of decision model
change patterns for the evolution of DMN decision
models. We recognise that the adaptation of a DMN
decision model can lead to within-model
inconsistencies and that additional change patterns may need to
be propagated throughout the entire decision model to
safeguard within-model consistency.
[1] OMG. Decision Model and Notation (DMN) 1.2,
2018.
[3] Faruk Hasic and Jan Vanthienen. From decision
knowledge to e-government expert systems: the
case of income taxation for foreign artists in
belgium. Knowledge and Information Systems, Oct
2019.
[4] Faruk Hasic and Jan Vanthienen. Complexity
metrics for dmn decision models. Computer
Standards &amp; Interfaces, 65:15 { 37, 2019.
[5] Marjolein Deryck, Faruk Hasic, Jan Vanthienen,
and Joost Vennekens. A case-based inquiry into
the decision model and notation (dmn) and the
knowledge base (kb) paradigm. In Christoph
Benzmuller, Francesco Ricca, Xavier Parent, and
Dumitru Roman, editors, Rules and Reasoning,
pages 248{263, Cham, 2018. Springer
International Publishing.
[6] Faruk Hasic, Johannes De Smedt, and Jan
Vanthienen. Redesigning processes for
decisionawareness: Strategies for integrated modelling. In
International Conference on the Quality of
Information and Communications Technology, 2018.
[7] Faruk Hasic, Johannes De Smedt, and Jan
Vanthienen. Developing a modelling and mining
framework for integrated processes and decisions.
In Christophe Debruyne, Herve Panetto, Georg
Weichhart, Peter Bollen, Ioana Ciuciu,
MariaEsther Vidal, and Robert Meersman, editors, On
the Move to Meaningful Internet Systems. OTM
2017 Workshops, pages 259{269, Cham, 2018.</p>
      <p>Springer International Publishing.
[8] Thierry Biard, Jean-Pierre Bourey, and Michel
Bigand. Dmn (decision model and notation): De
la modelisation a l'automatisation des decisions.</p>
      <p>In INFORSID 2017, 2017.
[9] Kimon Batoulis, Anne Baumgra , Nico Herzberg,
and Mathias Weske. Enabling dynamic decision
making in business processes with dmn. In
International Conference on Business Process
Management, pages 418{431. Springer, 2015.
[10] Julio Campos, Pedro Richetti, Fernanda Araujo
Baia~o, and Flavia Maria Santoro. Discovering
business rules in knowledge-intensive processes</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>Faruk</given-names>
            <surname>Hasic</surname>
          </string-name>
          , Johannes De Smedt, and
          <string-name>
            <given-names>Jan</given-names>
            <surname>Vanthienen</surname>
          </string-name>
          .
          <article-title>Augmenting processes with decision intelligence: Principles for integrated modelling</article-title>
          .
          <source>Decision Support Systems</source>
          ,
          <volume>107</volume>
          :1 {
          <fpage>12</fpage>
          ,
          <year>2018</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          <source>In International Conference on Business Process Management</source>
          , pages
          <volume>556</volume>
          {
          <fpage>567</fpage>
          . Springer,
          <year>2017</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [11]
          <string-name>
            <surname>Johannes De Smedt</surname>
          </string-name>
          , Faruk Hasic,
          <string-name>
            <surname>Seppe K.L.M vanden Broucke</surname>
            , and
            <given-names>Jan</given-names>
          </string-name>
          <string-name>
            <surname>Vanthienen</surname>
          </string-name>
          .
          <article-title>Holistic discovery of decision models from process execution data</article-title>
          .
          <source>Knowledge-Based Systems</source>
          ,
          <volume>183</volume>
          :
          <fpage>104866</fpage>
          ,
          <year>2019</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>Carl</given-names>
            <surname>Corea</surname>
          </string-name>
          and
          <string-name>
            <given-names>Patrick</given-names>
            <surname>Delfmann</surname>
          </string-name>
          .
          <article-title>A tool to monitor consistent decision-making in business process execution</article-title>
          .
          <source>Proceedings of the Dissertation Award, Demonstration, and Industrial Track at BPM</source>
          , pages
          <volume>9</volume>
          {
          <fpage>14</fpage>
          ,
          <year>2018</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [13]
          <string-name>
            <surname>Knut</surname>
            <given-names>Hinkelmann</given-names>
          </string-name>
          , Kyriakos Kritikos, Sabrina Kurjakovic, Benjamin Lammel, and
          <string-name>
            <given-names>Robert</given-names>
            <surname>Woitsch</surname>
          </string-name>
          .
          <article-title>A modelling environment for business process as a service</article-title>
          .
          <source>In International Conference on Advanced Information Systems Engineering</source>
          , pages
          <volume>181</volume>
          {
          <fpage>192</fpage>
          . Springer,
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [14]
          <string-name>
            <surname>Knut</surname>
            <given-names>Hinkelmann</given-names>
          </string-name>
          , Arianna Pierfranceschi, and
          <string-name>
            <given-names>Emanuele</given-names>
            <surname>Laurenzi</surname>
          </string-name>
          .
          <article-title>The knowledge work designer-modelling process logic and business logic</article-title>
          .
          <source>In Modellierung (Workshops)</source>
          , pages
          <fpage>135</fpage>
          {
          <fpage>140</fpage>
          ,
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [15]
          <string-name>
            <given-names>Zohra</given-names>
            <surname>Bellahsene</surname>
          </string-name>
          .
          <article-title>Schema evolution in data warehouses</article-title>
          .
          <source>Knowledge and Information Systems</source>
          ,
          <volume>4</volume>
          (
          <issue>3</issue>
          ):
          <volume>283</volume>
          {
          <fpage>304</fpage>
          ,
          <year>2002</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [16]
          <string-name>
            <surname>Natalya F Noy and Michel Klein</surname>
          </string-name>
          .
          <article-title>Ontology evolution: Not the same as schema evolution</article-title>
          .
          <source>Knowledge and information systems</source>
          ,
          <volume>6</volume>
          (
          <issue>4</issue>
          ):
          <volume>428</volume>
          {
          <fpage>440</fpage>
          ,
          <year>2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [17]
          <string-name>
            <surname>Wan</surname>
            <given-names>MN Wan</given-names>
          </string-name>
          <string-name>
            <surname>Kadir</surname>
            and
            <given-names>Pericles</given-names>
          </string-name>
          <string-name>
            <surname>Loucopoulos</surname>
          </string-name>
          .
          <article-title>Linking and propagating business rule changes to is design</article-title>
          .
          <source>In Information Systems Development</source>
          , pages
          <volume>253</volume>
          {
          <fpage>264</fpage>
          . Springer,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [18]
          <string-name>
            <surname>Jer</surname>
          </string-name>
          <article-title>^ome Boyer and Hafedh Mili. Agile business rule development</article-title>
          .
          <source>In Agile Business Rule Development</source>
          , pages
          <volume>49</volume>
          {
          <fpage>71</fpage>
          . Springer,
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [19]
          <string-name>
            <surname>Flavio</surname>
            <given-names>Corradini</given-names>
          </string-name>
          , Alberto Polzonetti, and
          <string-name>
            <given-names>Oliviero</given-names>
            <surname>Riganelli</surname>
          </string-name>
          .
          <article-title>Business rules in e-government applications</article-title>
          . arXiv preprint arXiv:
          <year>1802</year>
          .08484,
          <year>2018</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [20]
          <string-name>
            <surname>Gordon</surname>
            <given-names>Blair</given-names>
          </string-name>
          , Nelly Bencomo, and Robert B France.
          <article-title>Models@ run. time</article-title>
          .
          <source>Computer</source>
          ,
          <volume>42</volume>
          (
          <issue>10</issue>
          ):
          <volume>22</volume>
          {
          <fpage>27</fpage>
          ,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [21]
          <string-name>
            <given-names>Michael</given-names>
            <surname>Szvetits</surname>
          </string-name>
          and
          <string-name>
            <given-names>Uwe</given-names>
            <surname>Zdun</surname>
          </string-name>
          .
          <article-title>Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime</article-title>
          .
          <source>Software &amp; Systems Modeling</source>
          ,
          <volume>15</volume>
          (
          <issue>1</issue>
          ):
          <volume>31</volume>
          {
          <fpage>69</fpage>
          ,
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [22]
          <string-name>
            <surname>Sihem</surname>
            <given-names>Loukil</given-names>
          </string-name>
          , Slim Kallel, and
          <string-name>
            <given-names>Mohamed</given-names>
            <surname>Jmaiel</surname>
          </string-name>
          .
          <article-title>An approach based on runtime models for developing dynamically adaptive systems</article-title>
          .
          <source>Future Generation Computer Systems</source>
          ,
          <volume>68</volume>
          :
          <fpage>365</fpage>
          {
          <fpage>375</fpage>
          ,
          <year>2017</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [23]
          <string-name>
            <given-names>Andreas</given-names>
            <surname>Wombacher</surname>
          </string-name>
          and
          <string-name>
            <given-names>Maarten</given-names>
            <surname>Rozie</surname>
          </string-name>
          .
          <article-title>Evaluation of work ow similarity measures in service discovery</article-title>
          .
          <source>Service Oriented Electronic Commerce</source>
          ,
          <volume>80</volume>
          :
          <fpage>51</fpage>
          {
          <fpage>71</fpage>
          ,
          <year>2006</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          [24]
          <string-name>
            <surname>OMG</surname>
          </string-name>
          .
          <article-title>Xml metadata interchange (XMI) 2</article-title>
          .
          <fpage>5</fpage>
          .
          <issue>1</issue>
          ,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          [25]
          <string-name>
            <surname>Camunda</surname>
          </string-name>
          .
          <article-title>Process engine</article-title>
          . https://docs.camunda.
          <source>org/manual/7</source>
          .8/userguide/process-engine/,
          <year>2018</year>
          . Accessed:
          <fpage>2018</fpage>
          -11- 16.
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          [26]
          <string-name>
            <surname>Diego</surname>
            <given-names>Calvanese</given-names>
          </string-name>
          , Marlon Dumas, Ulari Laurson, Fabrizio M Maggi,
          <string-name>
            <given-names>Marco</given-names>
            <surname>Montali</surname>
          </string-name>
          , and
          <string-name>
            <given-names>Irene</given-names>
            <surname>Teinemaa</surname>
          </string-name>
          .
          <article-title>Semantics, analysis and simpli cation of dmn decision tables</article-title>
          .
          <source>Information Systems</source>
          ,
          <year>2018</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          [27]
          <string-name>
            <given-names>Faruk</given-names>
            <surname>Hasic</surname>
          </string-name>
          and
          <article-title>Estefan a Serral Asensio. Executing IoT processes in BPMN 2.0: Current support and remaining challenges</article-title>
          .
          <source>IEEE RCIS 2019 proceedings</source>
          ,
          <year>2019</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>