<!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>Integrating the Internet of Things with Business Process Management: A Process-aware Framework for Smart Ob jects</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Giovanni Meroni</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Supervisor: Pierluigi Plebani</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Dipartimento di Elettronica, Informazione e Bioingegneria Piazza Leonardo da Vinci</institution>
          ,
          <addr-line>32 - 20133 Milano</addr-line>
          ,
          <country country="IT">Italy</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Politecnico di Milano</institution>
        </aff>
      </contrib-group>
      <abstract>
        <p>Due to the achievements in the Internet of Things (IoT) eld, Smart Objects are often involved in business processes. However, the integration of IoT with Business Process Management (BPM) is far from mature: problems related to process compliance and Smart Objects con guration with respect to the process requirements have not been fully addressed yet; also, the interaction of Smart Objects with multiple business processes that belong to di erent stakeholders is still under investigation. My PhD thesis aims to ll this gap by extending the BPM lifecycle, with particular focus on the design and analysis phase, in order to explicitly support IoT and its requirements.</p>
      </abstract>
      <kwd-group>
        <kwd>Business Process Management System</kwd>
        <kwd>Internet of Things</kwd>
        <kwd>Process compliance</kwd>
        <kwd>Process monitoring</kwd>
        <kwd>Smart Object</kwd>
        <kwd>Business Process Management</kwd>
        <kwd>Multimodal Transportation</kwd>
        <kwd>Smart Container</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>During the last years, the growing interest for the Internet of Things (IoT) has
been manifested by both the academic and industrial world. The IoT is based
on the idea of Smart Objects, which are devices that decentralize computation
and data acquisition by moving them into the physical world. Because of their
di usion, solutions for executing business processes relying on Smart Objects
are becoming more and more common.</p>
      <p>
        However, as stated by Haller et al. [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], the integration of IoT with business
processes is far from trivial: data collected by sensors may be unavailable or have
inconsistent quality and, since part of the process execution is delegated to Smart
Objects and often involves multiple actors, it is di cult to assess the compliance
of a process. It is also worth noting that Smart Objects di er from traditional
services as they have reduced computational power and limited battery life.
In such a scenario, mechanisms for con guring Smart Objects according to the
process requirements and the capability of assessing the compliance of the control
and data ows with respect to the process de nition would signi cantly ease
integration tasks.
      </p>
      <p>
        According to Weske [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ], the Business Process Management lifecycle can be
divided into four phases: (i) design and analysis, where business processes are
modeled according to real world requirements; (ii) con guration, where business
processes are implemented by a software solution; (iii) enactment, where business
processes are instantiated and their executions logged; (iv) evaluation, where
process logs are analyzed to assess the consistency between process models and
their execution.
      </p>
      <p>During my PhD I aim to investigate the integration of the Internet of Things
with business processes by developing process-aware Smart Objects and by
extending the Business Process Management lifecycle in order to explicitly support
Smart Objects.</p>
      <p>The rest of this document is structured as follows. Section 2 outlines the main
research questions that I want to answer. Section 3 focuses on the multimodal
trasport domain to show the importance of the research questions for a signi cant
application domain. Section 4 proposes a solution that will support process-aware
Smart Objects. Section 5 analyzes the state of the art. Finally, Section 6 outlines
a tentative schedule for my research activities.
2</p>
    </sec>
    <sec id="sec-2">
      <title>Research Questions</title>
      <p>The adoption of the IoT can impact all the phases of the Business Process
Management lifecycle:
Design and analysis The process model will allow the user to de ne for each
business activity which data will be collected by Smart Objects, which
conditions will determine the start and end of the activities, and which constraints
on sensor data must be satis ed to consider activities successfully completed.
Con guration Smart Objects will be con gured to collect data related to
process activities with the speci ed quality level, according to the process model
de nition.</p>
      <p>Execution Smart Objects will be process-aware by being able to identify and
log the execution order of business activities thank to their starting and
ending condition. They will also constantly check data constraints in order
to log whenever they are not satis ed.</p>
      <p>Evaluation The process compliance will be assessed by analyzing the process
trace logged by Smart Objects to identify control and data ow violations.</p>
      <p>Initially, I will focus on the design and analysis phase by enriching current
process modeling notations with constructs able to explicitly de ne Smart
Objects, their roles, and their needs inside business processes. Subsequently, I will
also extend the other phases to support, take advantage of, and validate the
newly introduced process model notations.</p>
      <p>To reach such achievements, I will investigate the following research
questions:
RQ1 - How can we monitor the process execution? I aim to monitor the
process execution ow by determining which activities are running. I also
want to reach such achievement without relying on explicit start and
termination messages addressed to speci c activities, but instead inferring such
conditions by analyzing events captured by Smart Objects (i.e., when their
position is within a speci c area).</p>
      <p>RQ2 - How can we de ne requirements on activity data? I aim to
support the de nition of requirements on sensor data related to process
activities. In this way, the business process will drive the con guration of sensors,
thus guaranteeing that sensor data needed for the correct execution of
activities will be available and with a quality matching the requirements. If
sensors are managed by external gateways (i.e., other embedded computing
devices), requirements could also a ect the computation done at node level.
RQ3 - How can we identify process execution violations? I aim to
identify process violations by both checking the correct execution order of process
activities and the compliance of activity-related data with constraints
specied during the process design phase. I also want to do that directly on each
Smart Object.</p>
      <p>RQ4 - How can we support multiple actors? I aim to support the
concurrent execution of processes that are designed by multiple actors and could
partially or totally overlap during execution. Such a question is not trivial,
since di erent actors might have di erent process de nitions, constraints,
and/or requirements on activities running at the same time. Therefore, I
will de ne process merge and con ict resolution mechanisms.
3</p>
    </sec>
    <sec id="sec-3">
      <title>Case Study: Multimodal Transportation</title>
      <p>My main case study, which I will use for the problem identi cation and
motivation, refers to multimodal transportation, since most of the research questions
will directly address the currently unful lled needs of the stakeholders involved
in such a domain.</p>
      <p>Multimodal transportation concerns the planning and enactment of
transportation of goods via multiple means of transport, each one typically belonging
to di erent shipping companies, for each single shipping. Moreover, goods often
belong to di erent manufacturers and/or are addressed to di erent customers.
Such a task is far from trivial, since each stakeholder needs to track the
status of the goods (i.e. position, conditions, etc.) during each shipping phase that
involves its participation.</p>
      <p>To ful ll these needs, research e orts have been spent in putting some
intelligence into shipping containers, which are often used to aggregate goods during
multimodal shipping, turning them into Smart Containers, that is, Smart
Objects. Such Smart Containers are usually equipped with sensor networks, a
Single Board Computing (SBC) device, and a communication device for exchanging
data with information systems.</p>
      <p>However, such solutions are usually based on a static approach: the sensor
network con guration does not change during the transportation process, the
nature of shipped goods is not taken into account, and they are usually tailored
to a speci c business process often involving a single stakeholder. In the real
world this is not the typical case. Several factors, such as the content of the
container, the capabilities of the sensor network, and the current phase of the
shipping process may determine a variation on the requirements on sensed data.
Moreover, as previously said, the nature of multimodal shipping involves the
active participation of multiple stakeholders. Each party has its own business
processes with di erent requirements on sensor data according to each speci c
process activity. Therefore, the compliance of each shipping process with respect
to the data and control ows de ned by stakeholders in their business processes
cannot be taken for granted, and its assessment is far from trivial.
4</p>
    </sec>
    <sec id="sec-4">
      <title>Solution</title>
      <p>As discussed in the previous section, with particular focus on the multimodal
transportation, current solutions based on Smart Objects lack the capability
of dynamically con guring sensors with the precision required. Each activity of
the business process must take into account the currently involved stakeholders.
Moreover, mechanisms able to assess process compliance have not been
introduced yet.</p>
      <p>I envision a scenario in which Smart Objects are autonomous elements able to
communicate with external entities. These external entities are the stakeholders
that can: ask for the status of a Smart Object, and inform the Smart Object
about the process in which it is involved. In order to do so, Smart Objects must
be aware of the currently running process activities, and, for each activity, they
must know the requirements on sensor data that have to be ful lled.</p>
      <p>To support this scenario, a Smart Object have to be equipped with: (i) a
sensor network, (ii) a Single Board Computing (SBC) unit, and (iii) a
communication interface. The sensor network collects information concerning the
environment in which the Smart Object operates; the SBC executes a complete
software stack, and di erent applications are installed; nally, the
communication interface allows the interaction with external systems.</p>
      <p>Among the others, the SBC will run a lightweight Business Process
Management System (BPMS), a sensor con guration manager, a sensor data evaluator,
and sensor interface modules, as shown in Figure 1.</p>
      <p>The BPMS is the core of the solution: it will be responsible for keeping
track of all processes belonging to each involved stakeholder, thus allowing them
to orchestrate the Smart Object. In order to do so, it will be able to gure
out which activities are currently running, to activate a proper con guration
of the monitoring system. However, as conditions that determine the execution
of activities rely on events that can be external, the BPMS will also deal with
process choreography. It is worth noting that in many application contexts, such
as multimodal transportation, some of the actual involved stakeholders and their
business processes are known only at run-time. For this reason, each time a new
stakeholder is involved, its business process de nitions have to be downloaded
and taken into account. Such a component will therefore answer RQ1 and RQ4.</p>
      <p>The sensor con guration manager, on the other hand, will be responsible
for determining stakeholders' requirements on sensor data. It will extract and
interpret requirements from the process de nition provided by the BPMS, and
it will opportunely instruct the sensor interfaces to provide data that meet such
requirements. Such a component will answer RQ2.</p>
      <p>Finally, the sensor data evaluator will be responsible for verifying the
compliance of sensor data to the constraints de ned for the currently running activities,
and for reporting violations of such constraints. Such a component will answer
RQ3.</p>
      <p>In order for these modules to automatically understand the process de
nitions and their speci cations on data, I propose to extend such business process
de nitions with the following annotations on activities:
Start and termination conditions Such annotations will specify which
conditions on process data determine the beginning or the end of a speci c
activity. This will allow the BPMS to implicitly infer the process trace (i.e.
the sequence of activities carried out during process execution), and therefore
to identify violations in the control ow.</p>
      <p>Data requirements Such annotations will instruct the sensor con guration
manager to provide data with the speci ed quality requirements, thus
enforcing process compliance with respect to the data ow.</p>
      <p>Data constraints Such annotations will impose constraints on data by
specifying which conditions should or should not happen, thus allowing the sensor
data evaluator to detect violations related to process data.</p>
    </sec>
    <sec id="sec-5">
      <title>Related Work</title>
      <p>
        Some research e orts have been spent on integrating the Internet of Things with
business processes. Meyer et al. [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] propose to extend the BPMN 2.0 notation
to model smart devices as process components. This approach keeps the process
knowledge on the information system, and no process fragments are introduced
on smart devices.
      </p>
      <p>
        Thoma et al. [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ] propose to model the interaction with Smart Objects in
BPMN 2.0 as activity invocations for simple objects, or as message exchanges
with pools representing the whole Smart Object for more complex ones. This
way one can distribute parts of the process on Smart Objects. The limitation of
this work is the lack of details concerning how to deal with data uncertainty or
how to de ne data requirements.
      </p>
      <p>
        Tranquillini et al. [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] propose a framework that employs BPMN for driving
the con guration of a Wireless Sensor Network (WSN). Since BPMN is used
only at design time for de ning the business process, and then it is converted
into binary code executable by the WSN, introducing changes in the process
definition at runtime is di cult. Also, simultaneously supporting multiple processes
within the WSN is not feasible with this framework.
      </p>
      <p>
        Schief et al. [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] propose a centralized framework that extends the process
design and execution phases of BPM by taking into account events generated by
Smart Objects. Furthermore, this framework provides data quality mechanisms
for evaluating events and sensor data. My proposal di ers from this contribution
by distributing process knowledge, which will be directly embedded in Smart
Objects, and by explicitly de ning requirements on sensor data, to better enforce
and validate process compliance with respect to both the process execution and
the data ows.
      </p>
      <p>
        Concerning process compliance, such a topic has been widely studied
during the last decade. However, as stated by Kharbili et al. [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ], very few process
compliance solutions exist that extend compliance checking beyond control ow.
They do not consider data ows and the timeliness of activity data, aspects that
are critical for the research questions. Awad et al. [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ] try to address these open
issues by proposing an extension of the BPMN notation, named BPMN-Q, able
to de ne constraints also on the data exploited by business process activities.
Ly et al. [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ] consider the usage of data ow constraints in their framework for
checking compliance during the whole business process lifecycle.
      </p>
      <p>
        Some process compliance solutions determine the execution status of each
activity by means of explicit noti cations by the activity itself. Other solutions
try instead to assess the execution status by analyzing the message ow between
the business process and the activities, often considering the execution of an
activity as a service invocation. Weidlich et al. [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ], on the other hand, propose a
framework for detecting process execution violations that exploits complex event
processing techniques on process data to infer the execution order of process
activities.
      </p>
      <p>These solutions address the research questions only partially, since no solution
covers all of them. In particular, the support for multiple actors is absent or very
limited: no solution support the de nition of processes belonging to multiple
actors, the overlapping of di erent processes having activities in common and,
more importantly, concurrent and possibly con icting constraints on the same
activity data de ned by di erent actors.</p>
      <p>
        Concerning the freight transportation domain, during recent years research
e orts have been put in developing Smart Container solutions ([
        <xref ref-type="bibr" rid="ref11">11</xref>
        ], [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ], and
[
        <xref ref-type="bibr" rid="ref13">13</xref>
        ] just to name a few). However, all these solutions are based on the
requirements and business processes of a single stakeholder, and are not thought to
promptly react to changes in the involved stakeholders and/or in their business
processes, requirements, and data. Such limitations are particularly important
for the multimodal transportation, since changes in the involved stakeholders
or in the business process de nition are frequent and can happen during the
shipment enactment phase, thus requiring a proper recon guration of the Smart
Container.
6
      </p>
    </sec>
    <sec id="sec-6">
      <title>Research Methodology</title>
      <p>
        During the PhD, I plan to carry on design and research activities in parallel,
as suggested by Wieringa et al [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ]. More in detail, the design activity will deal
with requirements analysis and de nition of a possible solution. The research
activity, on the other hand, will deal with the review of the literature to be
aware of the state of the art in current technologies and use that as starting
point for my work. Research activity will also deal with the validation of the
results with respect to case studies to prove their soundness.
      </p>
      <p>Concerning the research methods, for RQ1, RQ3 and RQ4 I plan to follow an
experimental research approach. In fact, to validate the solution answering such
research questions, I will build a prototype and test it possibly in the real world
or in a simulated environment. For RQ2, on the other hand, I plan to follow an
empirical research approach. Indeed, I will collect and analyze case studies to
better understand requirements on sensor data and, having done this, I will use
them as input to properly design a model that addresses all such requirements.</p>
      <p>In order to achieve my goals, I plan to structure the research work around
the following phases:
1. I will concentrate on answering RQ1 and RQ3 rst. The output of this phase
will be a process modeling notation that will allow one to model the start and
termination of activities, and conditions that violate their execution based
on events generated by activity data. I will also propose a methodology for
integrating Smart Objects with traditional business processes by
generating IoT process models from traditional process de nitions, and a tool for
modeling processes with the proposed notation.
2. I will then try to answer RQ2 by extending the notation de ned in the
previous phase, to support the de nition of requirements on activity data. The
output of this phase will be an extension of the process modeling notation,
a BPMS capable of running processes modeled with such notation, and a
prototype of the sensor con guration manager module. The BPMS will also
be able to produce a process trace that will allow one to assess process
compliance with respect to both process and data ows.
3. I will nally try to answer RQ4 by investigating problems related to the
simultaneous execution of multiple business processes having con icting
requirements. The output of this phase will be a prototype of the proposed
framework that will support multiple actors and will run on a SBC device.</p>
      <p>Currently, the rst phase of the research work has started, and I plan to
conclude it by the end of 2015. I then plan to start the second phase and conclude
it by the fourth quarter of 2016. Finally, I plan to start the third phase and
conclude the whole research work by the end of 2017 with the publication of my
PhD thesis.</p>
    </sec>
    <sec id="sec-7">
      <title>Acknowledgments</title>
      <p>This work has been partially funded by the Italian Project ITS Italy 2020 under
the Technological National Clusters program.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Haller</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Magerkurth</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          :
          <article-title>The real-time enterprise: Iot-enabled business processes</article-title>
          .
          <source>In: IETF IAB Workshop on Interconnecting Smart Objects with the Internet. (March</source>
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Weske</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <string-name>
            <surname>Business Process Management - Concepts</surname>
          </string-name>
          ,
          <source>Languages, Architectures, 2nd Edition</source>
          . Springer (
          <year>2012</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3. Meyer, S.,
          <string-name>
            <surname>Ruppen</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Magerkurth</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          :
          <article-title>Internet of things-aware process modeling: Integrating iot devices as business process resources</article-title>
          .
          <source>In: CAISE 2013. LNCS 7908</source>
          . Springer Berlin Heidelberg (
          <year>2013</year>
          )
          <volume>84</volume>
          {
          <fpage>98</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Thoma</surname>
          </string-name>
          , M., Meyer, S.,
          <string-name>
            <surname>Sperner</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Meissner</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Braun</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          :
          <article-title>On iot-services: Survey, classi cation and enterprise integration</article-title>
          .
          <source>In: IEEE GreenCom</source>
          <year>2012</year>
          . (Nov
          <year>2012</year>
          )
          <volume>257</volume>
          {
          <fpage>260</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Tranquillini</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Spie</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Daniel</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Karnouskos</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Casati</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Oertel</surname>
            ,
            <given-names>N.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mottola</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Oppermann</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Picco</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          , Romer,
          <string-name>
            <given-names>K.</given-names>
            ,
            <surname>Voigt</surname>
          </string-name>
          ,
          <string-name>
            <surname>T.</surname>
          </string-name>
          :
          <article-title>Process-based design and integration of wireless sensor network applications</article-title>
          .
          <source>In: Proc. BPM</source>
          <year>2012</year>
          , Berlin, Heidelberg, Springer-Verlag (
          <year>2012</year>
          )
          <volume>134</volume>
          {
          <fpage>149</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Schief</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kuhn</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rsch</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Stoitsev</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          :
          <article-title>Enabling business process integration of iot-events to the bene t of sustainable logistics</article-title>
          .
          <source>Technical report</source>
          , Darmstadt Technical University (
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Kharbili</surname>
          </string-name>
          , M.E.,
          <string-name>
            <surname>de Medeiros</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Stein</surname>
          </string-name>
          , S., van der Aalst, W.:
          <article-title>Business process compliance checking: Current state and future challenges</article-title>
          .
          <source>In: Modellierung betrieblicher Informationssysteme - Modellierung zwischen SOA und Compliance Management. (Nov</source>
          <year>2008</year>
          )
          <volume>107</volume>
          {
          <fpage>113</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Awad</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Weidlich</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Weske</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <article-title>Speci cation, veri cation and explanation of violation for data aware compliance rules</article-title>
          .
          <source>In: Proc. of ICSOC-ServiceWave '09</source>
          , Berlin, Heidelberg, Springer-Verlag (
          <year>2009</year>
          )
          <volume>500</volume>
          {
          <fpage>515</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Ly</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rinderle-Ma</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gser</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Dadam</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          :
          <article-title>On enabling integrated process compliance with semantic constraints in process management systems</article-title>
          .
          <source>Information Systems Frontiers</source>
          <volume>14</volume>
          (
          <issue>2</issue>
          ) (
          <year>2012</year>
          )
          <volume>195</volume>
          {
          <fpage>219</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Weidlich</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ziekow</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mendling</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gnther</surname>
            ,
            <given-names>O.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Weske</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Desai</surname>
          </string-name>
          , N.:
          <article-title>Eventbased monitoring of process execution violations</article-title>
          .
          <source>In: Business Process Management. LNCS 6896</source>
          . Springer Berlin Heidelberg (
          <year>2011</year>
          )
          <volume>182</volume>
          {
          <fpage>198</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Lang</surname>
            ,
            <given-names>W.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Jedermann</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mrugala</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Jabbari</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Krieg-Bruckner</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Schill</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          :
          <article-title>"the intelligent container" - a cognitive sensor network for transport management</article-title>
          .
          <source>Sensors Journal, IEEE</source>
          <volume>11</volume>
          (
          <issue>3</issue>
          ) (
          <year>March 2011</year>
          )
          <volume>688</volume>
          {
          <fpage>698</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Kim</surname>
            ,
            <given-names>S.J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Deng</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gupta</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Murphy-Hoye</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <article-title>Intelligent networked containers for enhancing global supply chain security and enabling new commercial value</article-title>
          .
          <source>In: Intl. Conf. on Comm. Systems Software and Middleware and Workshops</source>
          ,
          <year>2008</year>
          . (Jan
          <year>2008</year>
          )
          <volume>662</volume>
          {
          <fpage>669</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>Baresi</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Braga</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Comuzzi</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Paci ci</surname>
          </string-name>
          , F.,
          <string-name>
            <surname>Plebani</surname>
            ,
            <given-names>P.:</given-names>
          </string-name>
          <article-title>A service-based infrastructure for advanced logistics</article-title>
          .
          <source>In: IW-SOSWE Workshop</source>
          , ESEC/FSE Joint Meeting, New York, NY, USA, ACM (
          <year>2007</year>
          )
          <volume>47</volume>
          {
          <fpage>53</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Wieringa</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Heerkens</surname>
          </string-name>
          , H.:
          <article-title>Design science, engineering science and requirements engineering</article-title>
          .
          <source>In: RE '08. 16th IEEE. (Sept</source>
          <year>2008</year>
          )
          <volume>310</volume>
          {
          <fpage>313</fpage>
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>