<!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>SHAPEworks: A BPMS Extension for Complex Process Management</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Saimir Bala</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Giray Havur</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Simon Sperl</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Simon Steyskal</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Alois Haselbo¨ ck</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Jan Mendling</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Axel Polleres</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Siemens AG</institution>
          ,
          <country country="AT">Austria</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Vienna University of Economics and Business</institution>
          ,
          <country country="AT">Austria</country>
        </aff>
      </contrib-group>
      <fpage>50</fpage>
      <lpage>55</lpage>
      <abstract>
        <p>Complex engineering projects, such as the deployment of a railway infrastructure or the installation of an interlocking system, involve human safety and make use of heterogeneous data sources, as well as customized engineering tools. These processes are currently carried out in an ad-hoc fashion, relying on the experience of experts who need to plan, control, and monitor the execution of processes for delivering value to the customers. This setting makes an automated overarching-process a crucial step towards supporting engineers and project managers to deal with safety-critical constraints and the plethora of details entailed by the process. This paper demonstrates a tool that combines methods from automatic reasoning, ontologies and process mining, implemented on top of a real Business Process Management System (BPMS).</p>
      </abstract>
      <kwd-group>
        <kwd>Process Management</kwd>
        <kwd>Resource Management</kwd>
        <kwd>Ontologies</kwd>
        <kwd>Process Mining</kwd>
        <kwd>BPMS</kwd>
        <kwd>Compliance</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>Complex engineering projects involve a wide variety of tools, data-sources and specific
domain knowledge. This is the case, e.g., for the installation of a railway interlocking
system. Furthermore, these projects must respond to strict constraints imposed by safety
rules and regulations in the operating domain. Managing and monitoring these projects
in real life presents a number of challenges, especially in companies with a high focus
on optimizing their operations through Business Process Management (BPM).</p>
      <p>
        Three perspectives are of crucial importance in our setting. First, resources need to
be allocated optimally not only to optimize delivery times of the final product, but also
to comply with the safety rules in the domain, e.g., assign resources to tasks according
to their expertise level. Second, the engineers’ work must be traced in order to allow
internal or external auditors to verify it at a later stage. This work can be reflected by
generated artifacts, such as emails, word processor documents, and Version Control
System (VCS) logs, which result from the engineering tools used by the engineers to
accomplish their tasks. Third, the data from different software tools and engineering
Copyright ○ c 2016 for this paper by its authors. Copying permitted for private and academic
purposes.
workflows must be accessible in order to ease reporting and documentation of what work
has been done. To respond to these challenges, an overarching engineering process is
fundamental, along with a framework that supports its execution [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ].
      </p>
      <p>We have devised a framework for addressing the above mentioned perspectives
through a single automated solution. We demonstrate how automated reasoning can be
used for optimally scheduling resources and tasks. The resulting schedule is flexible
and can be customized by imposing soft constraints (e.g., optimization statements) or
hard constraints (e.g., compliance rules) on resources. We use ontologies to represent
organizational and other process data, e.g.,, rules and regulations. History logs are
frequently monitored and mined in order to update existing knowledge of the process
with new insights. Furthermore, we support document generation, which helps towards
reducing human errors and increasing compliance to documentation requirements.</p>
      <p>B
P
M
S</p>
      <p>R</p>
    </sec>
    <sec id="sec-2">
      <title>User(s)</title>
    </sec>
    <sec id="sec-3">
      <title>Process</title>
    </sec>
    <sec id="sec-4">
      <title>Model &amp;</title>
    </sec>
    <sec id="sec-5">
      <title>Instance</title>
    </sec>
    <sec id="sec-6">
      <title>Data</title>
    </sec>
    <sec id="sec-7">
      <title>Process</title>
    </sec>
    <sec id="sec-8">
      <title>Adapter</title>
      <p>R</p>
    </sec>
    <sec id="sec-9">
      <title>Process</title>
    </sec>
    <sec id="sec-10">
      <title>Monitor</title>
    </sec>
    <sec id="sec-11">
      <title>Organizational Infrastructure</title>
    </sec>
    <sec id="sec-12">
      <title>Data Data</title>
    </sec>
    <sec id="sec-13">
      <title>Engineering Domain Ontology</title>
    </sec>
    <sec id="sec-14">
      <title>Regulations &amp;</title>
    </sec>
    <sec id="sec-15">
      <title>Resource</title>
    </sec>
    <sec id="sec-16">
      <title>Constraints</title>
      <p>R
R
R</p>
    </sec>
    <sec id="sec-17">
      <title>Event</title>
    </sec>
    <sec id="sec-18">
      <title>Logs</title>
    </sec>
    <sec id="sec-19">
      <title>Reasoner</title>
    </sec>
    <sec id="sec-20">
      <title>Process</title>
    </sec>
    <sec id="sec-21">
      <title>Miner</title>
    </sec>
    <sec id="sec-22">
      <title>E-Mails VCS</title>
    </sec>
    <sec id="sec-23">
      <title>Document</title>
    </sec>
    <sec id="sec-24">
      <title>Generator</title>
    </sec>
    <sec id="sec-25">
      <title>Process</title>
    </sec>
    <sec id="sec-26">
      <title>Documents</title>
      <p>
        BMPS. We have extended the Camunda BPM engine, an extensible business process
engine which offers API access. The engine executes the defined engineering process,
and we interact with it by capturing the events about task completion, process start,
process end, etc, and by using historical information that is stored in its logs.
Reasoner. The reasoner module is in charge of both computing resource allocations
using Answer Set Programming (ASP) and validating Shapes Constraint Language
(SHACL) [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] constraints for potential violations of domain constraints. Details on the
resource allocation approach can be found in [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ].
2 http://www.fmc-modeling.org/
Process Monitor. This component listens to task completion or task starting events,
in order to actively check for process non-compliant behavior and to signal potential
anomalies. The process monitor uses results from the Miner to raise alerts in case the
process could not be executed according to the schedule.
      </p>
      <p>Miner. The Miner deals with historical data in order to infer useful information about
the process. In our use case, the focus is on gathering useful statistics about resources
and process activities.</p>
      <p>Document Generator. The Document Generator is able to create or fill in textual
documents from data that has been generated by users that complete their tasks. The
data includes user comments to tasks and process variables.</p>
      <p>Process Adapter This component is in charge of computing adaptations when slight
deviations occur. When the adaptation is not possible, it triggers an alert to the Reasoner
and the process must be stopped and re-planned.</p>
      <p>
        We use an ontology to represent the engineering domain and the organizational
(i.e., resource-related) knowledge, business processes, and regulations and policies.
Process relevant data are stored in RDF, which allows also to use SHACL to check
compliance constraints. The ontology can be used as a shared repository by the above
mentioned components to share data. Our framework also considers data from event
logs, emails and VCS, which can be further used for mining traditional processes, text,
and project-oriented processes [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ].
2
      </p>
      <p>
        Use Case and Tool Description
We have extended the Camunda3 BPMS with the components described in Sect. 1. Our
solution stems from a real industry scenario. The bigger context of the tool is the setting
described in [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. Here we show how our tool can be used to support a typical engineering
process.
2.1 Industry Scenario
A typical process in the railway domain aims at the release of a new engineering system
for a railway customer. The process starts when a new agreement with a client has been
signed by the project management team. A new repository is created for the customer
data and, at the same time, possible additional data are requested from the client. The
next step is the actual System engineering activity, where the new system is built. In turn,
the lab management team sets up the laboratory for executing possible required tests. If
test results are not satisfactory, the system must be re-engineered. Otherwise, a report is
generated and the work is handed over again to the project management team, which
then delivers a new release to the customer. Fig. 2 illustrates such a process, modeled in
Business Process Modeling Notation (BPMN).
      </p>
      <p>3 https://camunda.org/
u m
o
t
n
e
m
e
g
tin ana
noita jtecEnsgyinsteeemring
tm roPrequested
uaya ten
lw em
iaR anag
m
b
a
L</p>
      <sec id="sec-26-1">
        <title>Setup</title>
        <p>project
repository
Request
customer
data</p>
      </sec>
      <sec id="sec-26-2">
        <title>Engineer Documentation</title>
        <p>system</p>
      </sec>
      <sec id="sec-26-3">
        <title>Check need for lab setup</title>
      </sec>
      <sec id="sec-26-4">
        <title>Reports</title>
        <p>not needed
needed Sfeoturptelsatb</p>
      </sec>
      <sec id="sec-26-5">
        <title>Create</title>
        <p>release for
integration
Engineering
system
released</p>
      </sec>
      <sec id="sec-26-6">
        <title>Run test</title>
        <p>Check
test
results
not successful
successful Report
test
results</p>
      </sec>
      <sec id="sec-26-7">
        <title>Reports</title>
        <p>In this section we show a use case of our tool in the above mentioned scenario. Initially
the user logs in to the Camunda BPMS where they can see the task list. The users
with administrator privileges can start a new engineering process. When the process
is started and before the first activity is executed, the reasoner computes a schedule.
Afterwards, the user interacts with the results of the reasoner by confirming or modifying
the schedule. A Graphical User Interface (GUI), shown in Fig. 3, has been implemented
for this purpose. It shows the assignments of resources to activities. This is assisted by
lock icons on the GUI, providing constraints on the resources who must be assigned to
a particular task. For example, the project manager may enforce the Check test results
activity to a particular resource.
After the schedule is confirmed, the allocations take place and the resources can see
the tasks appearing in their tasklist. Then, the process can be executed while the
processmonitoring component continuously listens to events that occur during the execution of
the process. In particular, when a task is finished, the process monitor checks whether
the schedule is respected. At the same time, the mining-component updates statistical
information from the Camunda logs. For example, after a task is completed, a skill score
and an expertise score are updated for the allocated resource. Moreover, statistics are
collected, e.g., punctuality of task completion, standard deviation, average duration,
percentage of deviations, etc.
3</p>
        <p>Maturity and Future Work
SHAPEworks is our first implementation in the context of a BPM scenario which
demands for more complexity. Currently it is a prototype that serves mainly as a
proof-ofconcept. It shows the advantage of having an integrated solution of different approaches
implemented on top of a BPMS. We plan to further develop our extension by adding
more features, divided into three levels.</p>
        <p>Level 1 (current). SHAPEworks includes: i) resource (re-)allocation with data and
resources from Camunda; ii) ontology describing the organizational model; iii) process
monitoring that triggers alerts when the process risks running late and the process
execution does not respect the allocation; and iv) mining history of tasks and resources,
and updating ontology with mined data.</p>
        <p>Level 2. SHAPEworks includes: v) allocation of non-human resources, which are fully
synchronized with the data from the ontology; vi) delay prediction by mining history
logs; and vii) infrastructure model stored in the ontology.</p>
        <p>Level 3. SHAPEworks includes: viii) flexible resource (re-)allocation, i.e., allocating
resources up to the next decision point of the process, thus enabling a more dynamic
schedule; ix) mining XOR probabilities, i.e., the likelihood of particular choices made in
XOR gates; and x) feasibility check using XOR probabilities, i.e., given the likelihood
of the path to be executed in the business process and the resources, check if the
execution is possible in n amount of time.</p>
        <p>The Camunda BPMS along with our custom extensions has been deployed on a
server and can be used by following this link: http://camunda.ai.wu.ac.at:8080/camunda.
Credentials for project managers – administrative users with higher privileges – are
‘demo’ and ‘demo’, respectively user name and password; standard users can access with
username same as their name and the string ’password’ as password. A screencast of the
tool can be found in http://camunda.ai.wu.ac.at/shapeworks/video.html.
Acknowledgements. This work is funded by the Austrian Research Promotion Agency
(FFG) under grant 845638 (SHAPE): http://ai.wu.ac.at/shape-project/</p>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1. Bala,
          <string-name>
            <given-names>S.</given-names>
            ,
            <surname>Cabanillas</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            ,
            <surname>Mendling</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            ,
            <surname>Rogge-Solti</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            ,
            <surname>Polleres</surname>
          </string-name>
          ,
          <string-name>
            <surname>A.</surname>
          </string-name>
          :
          <article-title>Mining Project-Oriented Business Processes</article-title>
          . In: BPM. pp.
          <fpage>425</fpage>
          -
          <lpage>440</lpage>
          (
          <year>2015</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Cabanillas</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mendling</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Polleres</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          , Haselbo¨ck, A.:
          <article-title>Safety-critical human-and data-centric process management in engineering projects</article-title>
          .
          <source>In: 5th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA)</source>
          (
          <year>2015</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Dumas</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rosa</surname>
            ,
            <given-names>M.L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mendling</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Reijers</surname>
            ,
            <given-names>H.A.</given-names>
          </string-name>
          :
          <source>Fundamentals of Business Process Management</source>
          . Springer (
          <year>2013</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Havur</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Cabanillas</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mendling</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Polleres</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Automated resource allocation in business processes with answer set programming</article-title>
          .
          <source>In: 11th International Workshop on Business Process Intelligence</source>
          (
          <year>2015</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Knublauch</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ryman</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Shapes Constraint Language (SHACL). Working Draft (work in progress)</article-title>
          ,
          <source>W3C</source>
          (
          <year>2016</year>
          ), https://www.w3.org/TR/shacl/
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>