<!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>The DCR Graphs Process Portal</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Søren Debois</string-name>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Thomas Hildebrandt</string-name>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Morten Marquard</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Tijs Slaats</string-name>
          <email>fslaatsg@di.ku.dk</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Department of Computer Science, University of Copenhagen</institution>
          ,
          <country country="DK">Denmark</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Exformatics A/S</institution>
          ,
          <country country="DK">Denmark</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>IT University of Copenhagen</institution>
          ,
          <country country="DK">Denmark</country>
        </aff>
      </contrib-group>
      <fpage>7</fpage>
      <lpage>11</lpage>
      <abstract>
        <p>We demonstrate the dcrgraphs.net Process Portal: a cloud-based solution for collaborative continuous development and analysis of knowledge intensive processes. This tool is the result of a long-term collaboration between Exformatics A/S, a Danish provider of Adaptive Case Management (ACM) solutions, and researchers from IT University of Copenhagen (ITU) and the Department of Computer Science at University of Copenhagen (DIKU). The tool draws heavily on current research into declarative process modelling notations: it is built upon the declarative Dynamic Condition Response (DCR) Graphs notation. In our demonstration we will introduce the primary features of the tool: (1) a portal for creating, storing and sharing processes, (2) a declarative process designer, (3) a collaborative simulator, and (4) process analysis modules. The intended audience are researchers and practitioners interested in process modelling notations and techniques for knowledge workflow management and similarly flexible process environments.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        buy flexibility at the cost of complexity. A declarative model is not as readily
understood from “looking at the model” [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ] as is a model in an imperative notation such as
BPMN [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ], but this is to be expected: imperative models express less complexity. They
solve a different problem than declarative models.
      </p>
      <p>The tool is grounded in the belief that flexibility is a necessity for Adaptive Case
Management, and that this complexity is a necessary evil of that flexibility. The only
way forward is to aid the modeller in creating and understanding his model. Providing
this support is the core aim of the dcrgraphs.net solution.</p>
      <p>
        The portal, its main features, and the underlying DCR Graph notation were reported
on in [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]. The formal semantics of the notation and some of its primary extensions are
described in [
        <xref ref-type="bibr" rid="ref2 ref4 ref8">2, 4, 8</xref>
        ].
      </p>
      <p>In the present paper we describe the main features of the portal and how they help
curb complexity:
1. The main portal, which acts as a social repository for declarative process models in
which models can be shared and discussed with other users.
2. The process designer, which enables the user to model their processes.
3. The simulator, which supports both individual and collaborative simulation
4. Analysis tools, which allow the user to understand model behaviour.</p>
      <p>At the live demonstration we will familiarise the audience with each of these
features by creating, modelling, simulating and analysing an example model. Audience
members will be invited to participate in collaborative aspects from their own devices.
Process Portal Figure 1 shows the main portal. The right half of the screen is used to
display lists of personal, shared and public process models. The left half of the screen
displays activity streams, which can be used to discuss with other users. Users can add
colleagues and friends to their personal network, which allows them to share models
and join collaborative simulations.
Process Designer Figure 2 shows the process designer. At the centre is the process
model, consisting of boxes representing activities and relations between the boxes that
represent the rules governing the process. Clicking on activities and rules brings up an
options pane which allows one to customise that element. To facilitate the
understandability of process models a number of visual filters are offered by the designer: activities
can be assigned a level of abstraction at which they are shown, meaning that the users
can start to view the process at the highest level of abstraction, showing only a few
activities and then gradually introduce more details by lowering the level of abstraction.
In addition activities can be assigned to any number of user-defined groups, which e.g.
allows the user to view only those activities that are relevant to a particular
organisational unit. The designer also supports fine-grained revision tracking, which allows any
change to the model to be inspected and reverted. The designer can import and export
DCR Graphs in a standardised XML format which is used by a number of external
tools.</p>
      <p>Collaborative Simulation Many processes involve a collaboration between multiple
actors, often in different organisations. For the successful implementation of such
processes it is imperative that the end-users understand their own role. To facilitate this the
DCR Portal supports both individual and collaborative simulation, which can be started
from the designer. Here the user can invite connections to their simulation and assign
roles to them. Figure 3 shows the simulation window; on the left one can see the current
DCR Graph, with its marking updated according to the actions taken by the users. On
the right the user is presented with a task list, the log of previously executed tasks and
a list of participants.</p>
      <p>
        Analysis Tools The DCR Portal offers a flexible plug-in framework which can be
used by third parties to create additional functionality for the portal. As a
proof-ofconcept several analysis tools have been developed as plug-ins. The first is the path
analyser, essentially a GPS for processes: the user can enter a start and goal activity
and the analyser will determine the shortest possible execution path to get to the goal.
Typical GPS-like functions, such as intermediate activities or activities to avoid are also
supported. The other plug-in is the dead-end analyser, which can be used to detect
dead- and live-lock in processes. Figure 4 shows an example of the path analyser
plugin. Here the user has asked for a path from Create to Payout, using the activity Reject at
least once. The proposed path is drawn as a swimlane diagram in the bottom window.
Maturity, Availability, Documentation and Video Tutorials Altogether, the
development of DCR Graph technologies and tools started in 2010 [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ]. The development of
the portal in its present form [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] started in the spring of 2014 and the first official release
was in the autumn of the same year. It has since been continuously updated.
      </p>
      <p>
        Since the spring of 2015 the portal has been used in classes at IT university of
Copenhagen, most prominently a process modelling class for 75 bachelor and M.Sc.
students. The portal has also been used for teaching at the Federal University of the
State of Rio de Janeiro. Exformatics uses the portal to model and maintain the
processes of their customers, in particular a Danish foundation [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], whose Adaptive Case
Management solution uses a declarative process engine for executing its processes.
      </p>
      <p>The portal is accessible for free online at http://www.dcrgraphs.net/.
Documentation is available through a wiki at http://wiki.dcrgraphs.net/,
which contains video tutorials explaining how to use the different features of the portal.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <given-names>S.</given-names>
            <surname>Debois</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Hildebrandt</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Marquard</surname>
          </string-name>
          , and
          <string-name>
            <given-names>T.</given-names>
            <surname>Slaats</surname>
          </string-name>
          .
          <article-title>A case for declarative process modelling: Agile development of a grant application system</article-title>
          .
          <source>In AdaptiveCM '14.</source>
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <given-names>S.</given-names>
            <surname>Debois</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Hildebrandt</surname>
          </string-name>
          , and
          <string-name>
            <given-names>T.</given-names>
            <surname>Slaats</surname>
          </string-name>
          .
          <article-title>Hierarchical declarative modelling with refinement and sub-processes</article-title>
          .
          <source>In BPM '14</source>
          , volume
          <volume>8659</volume>
          <source>of LNCS</source>
          , pages
          <fpage>18</fpage>
          -
          <lpage>33</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <given-names>M.</given-names>
            <surname>Marquard</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Shahzad</surname>
          </string-name>
          , and
          <string-name>
            <given-names>T.</given-names>
            <surname>Slaats</surname>
          </string-name>
          .
          <article-title>Web-based modelling and collaborative simulation of declarative processes</article-title>
          .
          <source>In BPM '15.</source>
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <given-names>R. R.</given-names>
            <surname>Mukkamala</surname>
          </string-name>
          .
          <string-name>
            <given-names>A Formal</given-names>
            <surname>Model For Declarative Workflows - Dynamic Condition</surname>
          </string-name>
          Response Graphs.
          <source>PhD thesis</source>
          , IT University of Copenhagen,
          <year>March 2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <given-names>OMG</given-names>
            <surname>BPMN Technical</surname>
          </string-name>
          <article-title>Committee</article-title>
          .
          <source>Business Process Model and Notation, version 2</source>
          .0.
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <given-names>M.</given-names>
            <surname>Pesic</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Schonenberg</surname>
          </string-name>
          , and
          <string-name>
            <surname>W.M.P. van der Aalst. DECLARE</surname>
          </string-name>
          :
          <article-title>Full Support for LooselyStructured Processes</article-title>
          .
          <source>In EDOC '07</source>
          , pages
          <fpage>287</fpage>
          -. IEEE.
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <given-names>P.</given-names>
            <surname>Pichler</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Weber</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Zugal</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Pinggera</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Mendling</surname>
          </string-name>
          , and
          <string-name>
            <given-names>H. A.</given-names>
            <surname>Reijers</surname>
          </string-name>
          .
          <article-title>Imperative versus declarative process modeling languages: An empirical investigation</article-title>
          .
          <source>In Business Process Management Workshops</source>
          , volume
          <volume>99</volume>
          <source>of LNBIP</source>
          , pages
          <fpage>383</fpage>
          -
          <lpage>394</lpage>
          . Springer,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <given-names>T.</given-names>
            <surname>Slaats</surname>
          </string-name>
          .
          <article-title>Flexible Process Notations for Cross-organizational Case Management Systems</article-title>
          .
          <source>PhD thesis</source>
          , IT University of Copenhagen,
          <year>January 2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <given-names>T.</given-names>
            <surname>Slaats</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R. R.</given-names>
            <surname>Mukkamala</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Hildebrandt</surname>
          </string-name>
          , and
          <string-name>
            <given-names>M.</given-names>
            <surname>Marquard</surname>
          </string-name>
          .
          <article-title>Exformatics declarative case management workflows as dcr graphs</article-title>
          .
          <source>In BPM '13</source>
          , volume
          <volume>8094</volume>
          <source>of LNCS</source>
          , pages
          <fpage>339</fpage>
          -
          <lpage>354</lpage>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>