<!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>Modeling and Monitoring Processes exploiting Semantic Reasoning</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Piergiorgio Bertoli</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Francesco Corcoglioniti</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Chiara Di Francescomarino</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Mauro Dragoni</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Chiara Ghidini</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Michele Nori</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Marco Pistore</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Roberto Tiella</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>FBK-IRST</institution>
          ,
          <addr-line>Trento</addr-line>
          ,
          <country>Italy corcoglio</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>SayService</institution>
          ,
          <addr-line>Trento</addr-line>
          ,
          <country>Italy bertoli</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Data about process executions has witnessed a notable increase in the last decades, due to the growing adoption of Information Technology systems able to trace and store this information. Meanwhile, Semantic Web methodologies and technologies have become more and more robust and able to face the issues posed by a variety of new domains, taking advantage of reasoning services in the “big data” era. In this demo paper we present ProMo, a tool for the collaborative modeling and monitoring of Business Process executions. Specifically, by exploiting semantic modeling and reasoning, it enables the reconciliation of business and data layers as well as of static and procedural aspects, thus allowing business analysts to infer knowledge and use it to analyze process executions.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1 Introduction</title>
      <p>
        The last decades have witnessed a rapid and widespread adoption of Information
Technology (IT) to support business activities in all phases. As a side effect, IT systems
have made available huge quantities of data about process executions, thus enabling
(i) to monitor the actual execution and the progress of (instances of) Business Processes
(BPs); (ii) to provide statistical analysis; (iii) to detect deviations of process executions
from process models (e.g., [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]); and (iv) to identify problems in process executions.
      </p>
      <p>Meanwhile, Semantic Web technologies have known an important growth and have
made available powerful reasoning services able to reason on complex domains, as well
as technologies able to deal with huge quantities of data. This opens the way to the use
of Semantic Web technologies for process modeling and monitoring and for the analysis
of processes characterizing complex scenarios as those of large organizations.</p>
      <p>In these complex scenarios, knowledge can be classified in two orthogonal ways.
First, we distinguish between a dynamic dimension, which concerns the procedures
and the activities carried out by the organization for realizing specific objectives, and
a static dimension, which concerns the organization structure (e.g., the role hierarchy),
the data structure (e.g., the document organization), and the relationships among these
and other domain entities. Then, knowledge can be ascribed to two layers: the IT layer,
which concerns the actual data items processed by IT systems; and the business layer,
which concerns the models of the dynamic and static aspects of the organization
domain. Given this frame, two main challenges need to be faced: (i) bridging the
unavoidable gap between the business and the data layer; and (ii) reconciling the static and
dynamic dimensions so to make them available for monitoring and analysis purposes.</p>
      <p>In this demo we present and showcase ProMo, a tool that exploits Semantic Web
technologies to address the above challenges through an integrated representation of
knowledge, enabling the collaborative modeling, monitoring and analysis of business
processes. By reconciling all these different dimensions and layers, ProMo overcomes
existing approaches. In the remainder we describe how ProMo reconciles the business
and IT layers and the static and dynamic dimensions, introducing the ProMo main
components that will be demonstrated live during the Posters and Demo session.
2</p>
    </sec>
    <sec id="sec-2">
      <title>Reconciling Business and IT layers</title>
      <p>Aligning the business and IT layers is a difficult task. For example, process monitoring
at the IT layer cannot observe data exchanged on paper documents or user activities not
mediated by IT systems, and thus brings only partial information on which activities
were executed and what data or artifacts they produced. Even when IT data exists, it is
not easy to associate it to a specific process instance. Indeed, IT services can be shared
by process classes and instances, and traced information can be hard to disambiguate.</p>
      <p>ProMo solution to this problem is based on the introduction of an intermediate layer
(Figure 1), which enables the communication between the business and the IT
layers through an intermediate model. Such a model formalizes the relationships between
business models and information extracted at the IT layer and relies on the integrated
representation of all the information collected about a process execution (the IT-trace).</p>
      <p>
        To accomplish its goal, ProMo integrates a modeling component and a monitoring
component. At the business level, the modeling component provides MoKi-ProMo, a
customized version of the MediaWiki-based3 tool MoKi [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] for the collaborative
modeling of processes and ontologies. At the intermediate layer ProMo provides (i) mapping
      </p>
      <sec id="sec-2-1">
        <title>3 http://www.mediawiki.org</title>
        <p>
          and monitoring editors that allow IT Experts (taking advantage of the Domain Experts
modeling) to specify, respectively, aggregation/monitoring rules and the relationships
between business models and the information extracted at IT level; and (ii) an editor
for defining interesting Key Performance Indicators (KPIs) to be monitored.
Specifically, the input required at the intermediate layer is provided by experts by using the
DomainObject language [
          <xref ref-type="bibr" rid="ref3">3</xref>
          ] for defining mapping properties, an ad-hoc rule language
for monitoring rules, and SPARQL queries for business KPIs.
        </p>
        <p>
          At run-time, whenever an IT-level event occurs, it is captured and handled by the
monitoring component. In detail, the event is managed by the monitoring engine, which,
based on the specification and rules defined at design-time, correlates and aggregates
events, produces new control events, monitors and maps the events to the
corresponding one(s) at the business layer and eventually produces the IT-trace. The information
in the IT-trace, which in many cases is only partial with respect to a complete
execution flow of a designed process model, is hence passed to a reasoning engine. Such
an engine, by taking advantage of the business knowledge, reconstructs missing
information by applying model-driven satisfiability rules [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ] and the reconstructed trace is
then visualized by the BP monitoring and analysis component. Figure 2 shows how a
reconstructed (partial) execution trace is visualized in MoKi-ProMo, pointing out the
path possibly taken by the process execution and distinguishing between monitored and
reconstructed (with some certainty degree) activities. The reconstructed IT-trace is then
recorded in a semantic-based knowledge store, which is then queried by the BP
monitoring and analysis component in order to provide monitoring services at business level.
An implementation built on top of current Semantic Web technologies aims at coping
with large quantities of data and high data rates typical of real application scenarios.
3
        </p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Reconciling Static and Dynamic Dimensions</title>
      <p>Although different in their nature, static and dynamic knowledge about an organization
domain are strictly related and should be jointly considered in order to obtain a
comprehensive view of the organization processes. Importantly, reconciliation of these two
dimensions should be done both at the business layer, allowing an explicit
representation of the links between static and dynamic model elements (e.g., the fact that a process
activity operates on a certain document), and at the data layer, allowing the collection,
integration and comprehensive querying of static and procedural data.</p>
      <p>At the business layer, ProMo solution is represented by the modeling component
of MoKi-ProMo, which allows different experts (e.g., Business Designers, Knowledge
Engineers and Domain Experts) to collaboratively model the different static and
dynamic aspects describing the domain (see Figure 1). Specifically, MoKi-ProMo allows
Domain Experts and Knowledge Engineers to collaboratively model the static aspects
of the domain in form of OWL 2 ontologies. Concerning the dynamic aspects,
MoKiProMo customizes the Oryx editor4 for the BPMN modeling of business processes by
introducing symbol variations (e.g., special data objects for explicitly capturing data
structures). Moreover, MoKi-ProMo also provides an interface allowing Business
Analysts and Domain Experts to edit KPIs of interest, thus enabling them to access IT data
from a (static and dynamic) business perspective.</p>
      <p>
        At the IT layer, ProMo solution consists in exploiting a Domain ontology [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ],
consisting of an upper-level cross-domain core and a domain-dependent extension, and a
BPMN [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] ontology to build an integrated semantic model combining static and
procedural knowledge acquired at modeling time, together with knowledge about IT-data.
By leveraging scalable Semantic Web technologies for data storage, reasoning and
querying, the semantic model enables Business Analysts to query asserted and inferred
knowledge and bring execution data analysis at business level. In particular, analytical
SPARQL queries combining static and dynamic dimensions with data derived from the
IT-layer can be formulated and evaluated, such as the number of times a path is followed
or an actor instance executes a business activity, or the average time spent by an actor of
a given category to complete the process. Experiments carried out in the context of an
Italian use case have shown the applicability of the approach in realistic scenarios [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ].
      </p>
      <sec id="sec-3-1">
        <title>4 http://bpt.hpi.uni-potsdam.de/Oryx/</title>
      </sec>
    </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>
          : Process Mining: Discovery,
          <source>Conformance and Enhancement of Business Processes. 1st edn</source>
          . Springer Publishing Company, Inc. (
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Ghidini</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rospocher</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Serafini</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          :
          <article-title>Conceptual modeling in wikis: a reference architecture and a tool</article-title>
          .
          <source>In: 4th Int. Conf. on Information, Process, and Knowledge Management (eKNOW)</source>
          .
          <article-title>(</article-title>
          <year>2012</year>
          )
          <fpage>128</fpage>
          -
          <lpage>135</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Bertoli</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kazhamiakin</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Nori</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Pistore</surname>
            ,
            <given-names>M.:</given-names>
          </string-name>
          <article-title>SMART: Modeling and monitoring support for business process coordination in dynamic environments</article-title>
          .
          <source>In: 15th Int. Conf. on Business Inf. Systems (BIS) - Workshops</source>
          . Volume
          <volume>127</volume>
          of LNBIP., Springer (
          <year>2012</year>
          )
          <fpage>243</fpage>
          -
          <lpage>254</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Bertoli</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Di Francescomarino</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Dragoni</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ghidini</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          :
          <article-title>Reasoning-based techniques for dealing with incomplete business process execution traces</article-title>
          .
          <source>In: 13th Conf. of Italian Association for Artificial Intelligence (AI*IA)</source>
          .
          <article-title>Volume 8249 of LNCS</article-title>
          ., Springer (
          <year>2013</year>
          )
          <fpage>469</fpage>
          -
          <lpage>480</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <given-names>Di</given-names>
            <surname>Francescomarino</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            ,
            <surname>Corcoglioniti</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            ,
            <surname>Dragoni</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            ,
            <surname>Bertoli</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            ,
            <surname>Tiella</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            ,
            <surname>Ghidini</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            ,
            <surname>Nori</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            ,
            <surname>Pistore</surname>
          </string-name>
          ,
          <string-name>
            <surname>M.</surname>
          </string-name>
          :
          <article-title>Semantic-based process analysis</article-title>
          .
          <source>In: 13th Int. Semantic Web Conference</source>
          (ISWC)
          <article-title>- In-use track</article-title>
          . (
          <year>2014</year>
          )
          <article-title>(to appear).</article-title>
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Rospocher</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ghidini</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Serafini</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          :
          <article-title>An ontology for the Business Process Modelling Notation</article-title>
          .
          <source>In: 8th Int. Conf. on Formal Ontology in Inf. Systems (FOIS)</source>
          .
          <article-title>(</article-title>
          <year>2014</year>
          )
          <article-title>(to appear).</article-title>
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>