<!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>Managing Complexity in Process Digitalisation with Dynamic Condition Response Graphs</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Thomas Hildebrandt</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Søren Debois</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Tijs Slaats</string-name>
          <email>tslaats@di.ku.dk</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Morten Marquard</string-name>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Department of Computer Science Copenhagen University</institution>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Department of Computer Science IT University of Copenhagen</institution>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Exformatics A/S</institution>
        </aff>
      </contrib-group>
      <abstract>
        <p>Digitalisation of work and business processes with the aim to provide more efficient services at a higher and consistent quality is high on the agendas in many countries. In Denmark the push for digitalisation is witnessed by the national strategy for digitalisation published every four years. Sadly, it is also witnessed by a number of expensive failed digitalisation projects. In this paper we point to two key problems in state-of-the art BPM technologies: 1) the use of rigid flow diagrams as the “source code” of process digitalisation is not suitable for managing the complexity of knowledge workflows and regulations and 2) insufficient support for continuous and agile end-user mapping and adaptation of processes. We report on research in progress on how the Dynamic Condition Response (DCR) Graph technology and collaborative process repository DCRGraphs.net could support agile and collaborative, bottom-up digitalisation of business and workflow processes.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        The idea of automating office work beyond computerising individual tasks goes back
to at least the ’70s. In his PhD thesis [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ], inspired by Petri Nets [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], Zisman described
office processes as imperative flow diagrams. There was a great deal of optimism about
the approach, as illustrated by the following quote:
      </p>
      <p>
        By considering the specification language, the internal representation, and the
design of a prototype system using one unified model, Zisman has been able
to study the office as a system rather than simply as a collection of isolated
tasks and pieces of equipment. Although Zisman suggests the language and the
model need refinement, his basic notions will probably have great impact on
the office of the future. [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]
      </p>
      <p>
        This optimism dried out during the ’80s, but re-appeared in the ’90s and ’00s,
when standards for internet web services and business process definition languages
such as BPEL [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ] and BPMN made it much more viable to share process diagrams
and reuse information and web services across organisations. Hereto came the
popularity of LEAN management and business process re-engineering methodologies [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] that
support the ideas of mapping business processes and process optimisation. However
it should be noted that business process re-engineering actually advocated a focus on
eliminating tasks rather than automating them.
      </p>
      <p>The mapping of processes unavoidably made companies and organisations more
aware of their processes. However, time and experience has also shown that many
diagrams were drawn and subsequently abandoned in desk drawers or large repositories
and quickly became out of date.</p>
      <p>So why is it, that we have not seen the great positive impact of the basic notion of
flow diagrams and BPM technologies on office work as envisioned in the early ’70s?
We believe that flow diagrams have some inherent problems, related to how they deal
with the unpredictability and the constant need for change that are key to office work.</p>
      <p>
        First of all, flow diagrams do not explicitly capture why the activities are ordered
in the given sequence, which makes them very difficult to update when the underlying
reasons change. Consider implementing the rule found in the General Data Protection
Regulation (GDPR), that if personal data is collected as part of signing a contract which
is need for later but not obviously needed for offering the job, a consent from the
employee must be given before signing. In a flow diagram, the rule can be implemented
by making sure that an activity for getting consent appears on every path from the start
of the process to the activity of signing the contract, but we can not specify the actual
rule formally as part of the diagram. So, if we later update the diagram (or the rule gets
changed) we have no formal guarantee that the rule will still be correctly enforced. This
problem was experienced by the danish repository of local government workflows [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]
created by Local Government Denmark, which ambitiously collected more than 900
workflows with links to associated law texts. By January 1st, 2013 Local Government
Denmark gave up on keeping the repository up to date and compliant with the constantly
changing regulations.
      </p>
      <p>
        Secondly, many activities in an end-to-end business process, in particular processes
involving some elements of knowledge work, can not be automated, in particular
because the ordering of activities depends on many factors only known when the process
is carried out and best determined and evaluated by human actors. Indeed, in the recent
McKinsey report [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ] on the impact of automation on future work processes, the most
optimistic prediction is that on average less than half of the activities in future work
processes will be automatable, and less than 5% of work processes will be fully
automatable. Trying to predict and specify all possible orderings as a flow diagram leads
to complex spaghetti diagrams, still suffering from the first problem. Trying to simplify
the process, leads to rigid and in-flexible processes and workers by-passing their case
management systems and prescribed processes.
      </p>
      <p>Consequently, state-of-the-art process mapping and automation technologies yield
too rigid processes and introduce a new complex manual process of producing and
maintaining the process maps, which can not be carried out in practice and thereby
results in proces descriptions that do not match reality. This leads to the research question
of how to manage the complexity of digitalising knowledge work processes regulated
by law? Based on our work so far, we conjecture that an answer could be to support a
continuous, agile and bottom-up process digitalisation that 1) provides process support
that facilitates business users and knowledge workers, 2) captures both the why and the
how of a process mapping, and 3) can be kept in synch with a changing reality.</p>
      <p>
        Below we illustrate how the Dynamic Condition Response (DCR) Graphs
technology and collaborative process repository DCRGraphs.net [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ] supports these three
activities. The technology will be the basis for a forthcoming research project in which
the conjecture will be tested jointly with process consultants, lawyers and case workers
in municipalities.
2
      </p>
      <p>
        Agile Digitalisation with DCR Graphs
Dynamic Condition Response (DCR) Graphs [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ] are the result of (so-far) 10 years
of collaboration between IT University of Copenhagen (ITU) and Exformatics on the
research and development of a declarative process technology that allows for
flexibility and adaptability in both the design and support of business processes. During
the last five years, DCR Graphs have been implemented in a commercial cloud
service [
        <xref ref-type="bibr" rid="ref10 ref2 ref6">2,6,10</xref>
        ]4, which is freely available for academic and trial users. The service is at the
same time a design, analysis and simulation tool, a social collaboration platform, and an
active process repository. When logging in to the tool, users can connect to colleagues
and friends in other organisations, with whom they can share and simulate processes.
The technology is easily extended through its flexible software-as-a-service architecture
and is rapidly improving based on continuous feedback from users in academia, public
organisations, and private companies around the world.
      </p>
      <p>In the following we exemplify the collaborative and agile process mapping
methodology supported by the tool using a prototypical example of an on-boarding process,
which can be accessed at http://www.dcrgraphs.net/Tool?id=4587.</p>
      <p>When using DCR Graphs, process mapping typically starts by placing activities as
”post-it stickers” on a virtual ”brown paper”, labelled with an activity name and roles.
Fig. 1 shows an example of such an initial graph, with six activities: GDPR Consent,
Sign Contract, First day at work, Need for PC, Order PC, and Receive
PC. (The activities are added simply by right clicking on the canvas). Detailed textual
descriptions of each activity, including links to external references, can be added, as
illustrated in the figure for the GDPR Consent activity. Each activity shown in the
figure has been assigned one of the roles: GDPR Consent, Employee, HR and IT.
At the present point, the role assignment is the only constraint of the process. Any of
the activities can be executed any number of times by an actor with the correct role.</p>
      <p>At any time, the modeller can simulate the process by pressing simulate and invite
friends or automated users to play any of the roles. Automated users may join either as
an aggressive user that performs every action that is possible and not executed before,
or as a lazy user that performs an action if it is possible and required.</p>
      <p>The collaborative simulation shows a task list interface resembling a case
management tool, the history of performed actions as an event log and a swimlane diagram.
4 http://www.dcrgraphs.net/</p>
      <p>Thereby the end-users and modellers can explore and understand how the process can
be performed. The screenshot in Fig. 2 shows a collaborative simulation with a friend,
Morten Marquard, playing the role of Employee and an automated lazy user playing the
role of the IT department. In the simulation there was a need for PC, but the PC was not
ordered by the lazy IT department before the first day at work.</p>
      <p>Simulations can be recorded as part of the documentation of the process and tagged
as happy, un-happy or neutral, to indicate respectively, if the simulation is part of the
desired, undesired or optional behaviour of the intended process.</p>
      <p>The screenshot in Fig. 3 shows that we recorded the above simulation as unhappy,
and named it “First day at work without PC”. We have also made an unhappy simulation
without GDPR Consent before signing and a neutral simulation where consent is given
and the PC is ordered (but not received) before the first day of work. Finally we made
a happy path simulation, where the PC was also received before the first day. The latter
example is shown in Fig. 4.</p>
      <p>Simulations can be shared and replayed at any point, even if the process
subsequently has changed. Moreover, saved simulations can be run as a test against the
current version of the process, resulting in an indication by a green or red bar whether the
execution trace can still be carried out. This allows a test-driven modelling approach,
where users can add and remove constraints to ensure that all happy paths are possible
and all un-happy paths are ruled out.</p>
      <p>In Fig.5 we show a process map where we have added DCR constraints to the
process. The yellow arrows with a bullet at the target are condition constraints and model
the fact that some activity can not happen before another activity has happened. In our
case, we have modelled that the GDPR Consent must be given before the contract can
be signed, and the contract must be signed before a PC can be ordered and before the
first day of work. The blue arrows with a bullet at the source are response relations. The
response relation from Need for PC to Order PC models, as explained in the
Description field in the Figure, that if HR registers a need for PC, then IT must in response
eventually order the PC. The response relation from Sign Contract to First day at
work models that if the contract is signed it is expected that the employee eventually
has a first day at work. The red arrow with a % sign at the target is an exclusion relation.
The exclusion relation from First day at work to itself models that when First day at
work happens, it is excluded and can thus not happen again. The exclusion arrow from
Receive PC to Order PC models that Order PC is excluded from the process when
a PC is received. Dually, the green arrow with a + sign at the target from Need for PC
to Order PC is an inclusion relation, which models that if Need for PC happens, then
Order PC is included (if it was previously excluded). Finally, the purple relation with
a diamond at the target is a milestone relation. It models that as long as Order PC is
pending (required as a response) and included, then First day at work can not happen.
In other words, whenever a need for PC is registered, Order PC must happen again or
a PC must be received before the first day of work.</p>
      <p>
        We can now re-run the simulations, as shown in Fig 6, and see that we have ruled
out the two unhappy paths and kept the happy and the neutral path. Looking back at the
simulation in Fig. 4, it was actually performed on the constrained graph and with the
computer playing the IT role as a lazy user. This time the PC was ordered by the lazy
user after the contract was signed, because the action was required as a response to the
need for PC and not enabled before the contract was signed.
The declarative specifications given by DCR Graphs capture the reasons for why
actions must be done in certain order, and leave the flexibility to do anything which has
not been ruled out. That is, a DCR graph explains the why, and relations and
activities can be added and removed when requirements change, even at run-time. It is well
known (see e.g. [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ]) that it can be difficult for users to understand the logic of a
complex declarative specification and deduce the allowed flows, i.e. understand the how.
Similarly to the test-driven modelling approach considered for DECLARE in [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ], the
problem of understanding declarative models is mitigated in DCRGraphs.net by the
ability to perform and record simulations of processes. We believe that the
combination of collaborative design, simulation and test is a good way of facilitating an agile,
incremental and bottom up approach to the digitalisation of processes: Domain-experts
can start by identifying key activities and roles, followed by collaborative simulations
of happy (desired), un-happy (un-desired) and neutral (optional) paths. Simulations can
be run on the original process in which they were done or re-run against the current
process. Our belief is backed by the empirical study of test-driven declarative
modelling [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ] indicating that,
domain experts are inclined to use test cases ...and prefer them over the process
model
and
the adoption of test cases significantly lowers cognitive load and increases the
perceived quality of changes.
      </p>
      <p>
        The DCRGraphs.net approach is currently being evaluated in the mapping of a real
on-boarding process of a danish municipality, involving more than 200 activities and a
great deal of flexibility. Finally, it is worth noting that the processes can not only be
simulated. Processes made in DCRGraphs.net can be accessed and executed via a
RESTful interface, or can be exported to the process engine of a case management system.
Currently, two commercial case management systems support DCR Graphs, one being
Exformatics ECM [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] and the other being the next version of KMD WorkZone [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ]. In a
forthcoming research project we plan to validate the conjecture that DCR Graphs based
Adaptive Case Management solutions are superior to flow-graph based solutions for
managing the complexity of knowledge work processes in local government.
      </p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <given-names>Wilfried</given-names>
            <surname>Brauer</surname>
          </string-name>
          , Wolfgang Reisig, and Grzegorz Rozenberg, editors.
          <source>Petri Nets: Central Models and Their Properties</source>
          ,
          <source>Advances in Petri Nets</source>
          <year>1986</year>
          ,
          <string-name>
            <surname>Part</surname>
            <given-names>II</given-names>
          </string-name>
          ,
          <source>Proceedings of an Advanced Course, Bad Honnef</source>
          ,
          <volume>8</volume>
          .-
          <fpage>19</fpage>
          .
          <year>September 1986</year>
          , volume
          <volume>255</volume>
          of Lecture Notes in Computer Science. Springer, (
          <year>1987</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <given-names>Søren</given-names>
            <surname>Debois</surname>
          </string-name>
          , Thomas Hildebrandt, Tijs Slaats, and
          <string-name>
            <given-names>Morten</given-names>
            <surname>Marquard</surname>
          </string-name>
          .
          <article-title>A Case for Declarative Process Modelling: Agile Development of a Grant Application System</article-title>
          .
          <source>In EDOC Workshops '14</source>
          , pages
          <fpage>126</fpage>
          -
          <lpage>133</lpage>
          . IEEE,
          <string-name>
            <surname>September</surname>
          </string-name>
          (
          <year>2014</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <given-names>Local</given-names>
            <surname>Government</surname>
          </string-name>
          <article-title>Denmark</article-title>
          . Arbejdsgangsbanken. http://www.kombit.dk/ arbejdsgangsbanken last accessed
          <year>2017</year>
          /08/10.
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Clarence</surname>
            <given-names>A.</given-names>
          </string-name>
          <string-name>
            <surname>Ellis</surname>
            and
            <given-names>Gary J.</given-names>
          </string-name>
          <string-name>
            <surname>Nutt</surname>
          </string-name>
          .
          <article-title>Office information systems and computer science</article-title>
          .
          <source>ACM Comput. Surv.</source>
          ,
          <volume>12</volume>
          :
          <fpage>27</fpage>
          -
          <lpage>60</lpage>
          ,
          <string-name>
            <surname>March</surname>
          </string-name>
          (
          <year>1980</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <given-names>Michael</given-names>
            <surname>Hammer</surname>
          </string-name>
          .
          <article-title>Reengineering work: Don't automate, obliterate</article-title>
          .
          <source>Harvard Business Review</source>
          ,
          <volume>68</volume>
          (
          <issue>4</issue>
          ):
          <fpage>104</fpage>
          -
          <lpage>112</lpage>
          ,
          <string-name>
            <surname>July-August</surname>
          </string-name>
          (
          <year>1990</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <given-names>Thomas</given-names>
            <surname>Hildebrandt</surname>
          </string-name>
          , Morten Marquard, Raghava Rao Mukkamala, and
          <string-name>
            <given-names>Tijs</given-names>
            <surname>Slaats</surname>
          </string-name>
          .
          <article-title>Exformatics declarative case management workflows as dcr graphs</article-title>
          .
          <source>In International Conference on Business Process Management (BPM</source>
          <year>2013</year>
          ), number 8094 in LNCS, Beijing, China,
          <string-name>
            <surname>August</surname>
          </string-name>
          (
          <year>2013</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <given-names>Thomas</given-names>
            <surname>Hildebrandt</surname>
          </string-name>
          and
          <article-title>Raghava Rao Mukkamala</article-title>
          .
          <article-title>Declarative event-based workflow as distributed dynamic condition response graphs</article-title>
          .
          <source>In Post-proceedings of PLACES</source>
          <year>2010</year>
          , (
          <year>2010</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <given-names>McKinsey</given-names>
            <surname>Global Institute</surname>
          </string-name>
          .
          <article-title>A future that works: Automation, employment, and productivity</article-title>
          , january (
          <year>2017</year>
          ). http://www.mckinsey.com/˜/media/McKinsey/ Global%20Themes/Digital%20Disruption/Harnessing%20automation%
          <article-title>20for%20a%20future%20that%20works/MGI-A-future-that-works_</article-title>
          <source>Full-report.ashx last accessed</source>
          <year>2017</year>
          /08/10.
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9. KMD. KMD WorkZone. https://www.kmd.dk/loesninger/kmd-workzone
          <source>last accessed</source>
          <year>2017</year>
          /08/10.
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Morten</surname>
            <given-names>Marquard</given-names>
          </string-name>
          , Muhammad Shahzad, and
          <string-name>
            <given-names>Tijs</given-names>
            <surname>Slaats</surname>
          </string-name>
          .
          <article-title>Web-based modelling and collaborative simulation of declarative processes</article-title>
          .
          <source>In International Conference on Business Process Management</source>
          , pages
          <fpage>209</fpage>
          -
          <lpage>225</lpage>
          . Springer International Publishing, (
          <year>2015</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>OASIS WSBPEL Technical</surname>
          </string-name>
          <article-title>Committee</article-title>
          .
          <source>Web Services Business Process Execution Language, version 2</source>
          .0, (
          <year>2007</year>
          ). http://docs.oasis-open.
          <source>org/wsbpel/2</source>
          .0/OS/ wsbpel-v2.
          <fpage>0</fpage>
          -OS.pdf last accessed
          <year>2017</year>
          /08/10.
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>M. D. Zisman</surname>
          </string-name>
          . Representation, Specification and Automation of Office Procedures.
          <source>PhD thesis</source>
          , Wharton School, University of Pennsylvania, (
          <year>1977</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>Stefan</surname>
            <given-names>Zugal</given-names>
          </string-name>
          , Cornelia Haisjackl, Jakob Pinggera, and
          <string-name>
            <given-names>Barbara</given-names>
            <surname>Weber</surname>
          </string-name>
          .
          <article-title>Empirical evaluation of test driven modeling</article-title>
          .
          <source>IJISMD</source>
          ,
          <volume>4</volume>
          (
          <issue>2</issue>
          ):
          <fpage>23</fpage>
          -
          <lpage>43</lpage>
          , (
          <year>2013</year>
          ).
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>