<!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>Business Process Composition. Planning with Constraints (Extended Abstract)</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Piotr Wiśniewski</string-name>
          <email>wpiotr@agh.edu.pl</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>AGH University of Science and Technology al. A. Mickiewicza 30</institution>
          ,
          <addr-line>30-059 Krakow</addr-line>
          ,
          <country country="PL">Poland</country>
        </aff>
      </contrib-group>
      <kwd-group>
        <kwd>business processes</kwd>
        <kwd>BPMN</kwd>
        <kwd>automated planning</kwd>
        <kwd>constraint programming</kwd>
        <kwd>business process composition</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <p>Modeling business processes is a way to describe organizational workflows which
aim to achieve required goals, understood as products or services delivered to
a final customer. Providing an understandable representation of a process helps
to establish a common link between technical and business people. This, in turn,
gives an opportunity to optimize the process structure. As a consequence, the
company may achieve its business objectives in a more efficient way.</p>
      <p>
        It is proved that manually created process representations usually suffer from
various modeling errors, such as inconsistent connections or deadlocks [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]. Thus,
automating the modeling phase could be beneficial for obtaining process models
of higher quality and in a shorter time compared to manual modeling.
      </p>
      <p>
        Business Process Composition refers to twenty Business Process Management
use cases proposed by van der Aalst [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ], which were defined to classify the area
of research related to business processes. As there is no explicit use case related
to the automated generation of process models, the "Compose model" use case
has been considered. According to the cited paper, "Use case compose model
refers to the situation where different models are combined into a larger model ".
In the case of the proposed method, parts of the process specification may be
regarded as subprocesses or components of other models.
      </p>
      <p>
        The concept of participatory process modeling consists in splitting the
creation of the model among the participants of the process. The goal of this
approach is to simplify and automate the task of collecting data and merging it into
a process model. In contrast to collaborative modeling (e.g., using an interactive
display board [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] or dedicated software on mobile devices [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]), the presented
approach does not require the contributors to co-ordinate their actions. Figure 1
illustrates the difference between these two methodologies.
      </p>
      <p>According to the main principle of the method proposed in the dissertation,
process participants are given a task to prepare descriptions of activities they are
responsible for. The specification of a process produced in such a way includes</p>
      <p>input and output parameters of each activity. The generated process model needs
to fulfill the data requirements, e.g. which data entities have to be available when
a process instance is completed. This goal may be achieved only by a limited
number of task sequences, not necessarily using all the activities included in the
original specification.</p>
      <p>O
Timeline</p>
      <p>P1</p>
      <sec id="sec-1-1">
        <title>Collaborative Modeling</title>
        <p>O</p>
      </sec>
      <sec id="sec-1-2">
        <title>Participatory Modeling</title>
        <p>P1
P2
P2</p>
        <p>O</p>
        <p>The next step of the proposed methodology is related to Automated
Planning, which is an area of research that aims to generate a chain of actions oriented
at achieving desired goals. A definition of a planning problem and its solution
is therefore closely related to Business Process Management, since a plan can
also represent a single instance of a particular workflow. However, every
business process can be executed in a limited number of ways, each of which refers to
a different process instance. The upper limit of this number depends on different
factors, such as the occurrence of specific events, resource availability, or other
external conditions. All of these aspects can be represented by particular pieces
of data and form a part of preconditions or effects for the executed activity. In
other words, an activity can be executed only if a given set of constraints is
satisfied. Thus, planning of a business process must be accompanied by constraints
that determine the conditions needed for every activity to be executed, as well
as the potential outcomes caused by this activity.
2</p>
      </sec>
    </sec>
    <sec id="sec-2">
      <title>Scope of the Thesis and Research Results</title>
      <p>The first part of the dissertation gives an overview of Business Process
Management and its primary concepts, such as the BPM life cycle and modeling
notations. It also includes a review of state-of-the-art process model generation
techniques. Moreover, Automated Planning and main points of Constraint
Programming together with a review of Constraint Satisfaction Problems and their
applications were discussed.</p>
      <p>
        The second part of the dissertation begins with a presentation of
motivations and challenges related to business process composition. It also introduces
the concept of participatory process modeling, which is the main basis for the
proposed method. In addition, based on the existing solutions for the automated
generation of process models [
        <xref ref-type="bibr" rid="ref5 ref6 ref7 ref8">5,6,7,8</xref>
        ], a set of requirements and constraints
needed to generate a process model was collected.
      </p>
      <p>As the next step, the algorithm for model composition was presented. The
method uses activity descriptions provided by stakeholders of the process. These
descriptions are then merged to obtain a declarative process specification, which
serves as an input to a constraint solver. The Constraint Satisfaction Problem
consists in finding a set of admissible workflow traces (execution plans) of the
process. In the last phase of the method, the generated traces are merged into an
activity graph, which is later transformed into a BPMN model. Figure 2 shows
an illustrative overview of the proposed method with a distinction of its phases
and the scope of the technical solution presented in the dissertation.
loP aeaenLLn</p>
      <p>?
alldifferent(P)
length(P) &lt;= 4*|T|</p>
      <sec id="sec-2-1">
        <title>Requirements definition</title>
        <p>Output:   Initial/Goal states</p>
      </sec>
      <sec id="sec-2-2">
        <title>Data collection</title>
        <p>Input:      Manually-inserted data
Output:   Structured files</p>
      </sec>
      <sec id="sec-2-3">
        <title>Specification merge</title>
        <p>Input:      Structured files
Output:   Validated specification</p>
      </sec>
      <sec id="sec-2-4">
        <title>CSP Solving</title>
        <p>Input:      Validated specification
Output:   Synthetic workflow log</p>
      </sec>
      <sec id="sec-2-5">
        <title>Model Construction</title>
        <p>Input:      Synthetic workflow log
Output:   BPMN model</p>
        <p>Semi-Automated Toolkit
0
IV</p>
        <p>The algorithms developed to solve the problems stated in this work served
as an input to the conceptual and functional design of a process modeling
software. The designed application consists of two modules: Specification Editor
for creating declarative process specifications and Process Composer for process
composition based on prepared specifications.</p>
        <p>Finally, the performance of the methods presented in the dissertation was
analyzed by using a dedicated methodology, as well as existing metrics for business
process models. The evaluation consisted of the following steps:
– introducing a novel methodology to verify the correctness of a generated
model with respect to its admissible execution sequences,
– defining the composition accuracy metric and verifying the proposed
approach based on a set of example process models,
– conducting a survey among business and academic users to assess the
applicability of the proposed declarative specification.</p>
        <p>The results show that the proposed method of acquiring process data is
efficient by being convenient also for users who are less experienced with Business
Process Management. In addition, the model construction algorithm generates
a prototype diagram that can be further enriched in one of the available editors.</p>
        <p>The following results are considered the main contribution of the dissertation:
1. The taxonomy of automated process generation methods.
2. The concept of participatory process modeling.
3. The phases needed to generate BPMN models based on activity descriptions.
4. The concept of an activity graph synthesized based on a generated log.
5. The algorithm to construct a BPMN model, including the formalization of
the process model and constraint-based identification of logical structures.
6. The prototype of a software system implementing the proposed approach.
7. The implementation of the Process Composer module, which is used to
generate a BPMN model based on a declarative process specification.
3</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Published Papers</title>
      <p>
        During the development of this dissertation, several research works have been
published in different journals, conferences, and workshops. The research
presented in these publications served as a basis to obtain the results presented in
the thesis and support its scientific quality. The published research ideas include:
– a comparative overview of process model generation techniques [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ],
– the concept of business process modeling based on spreadsheets [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ] and the
use of spreadsheet as an interoperability standard for process modeling [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ],
– the basis of the method to generate a synthetic workflow log based on an
unordered list of activities [
        <xref ref-type="bibr" rid="ref13 ref14">13,14</xref>
        ],
– the concept of process model decomposition into reusable sub-diagrams [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ],
– the definition of a method to evaluate generated models based on a synthetic
set of workflow traces [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ],
– the basic concept of BPMN model construction based on a workflow log [
        <xref ref-type="bibr" rid="ref17 ref9">9,17</xref>
        ].
      </p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Leopold</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mendling</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Günther</surname>
            ,
            <given-names>O.</given-names>
          </string-name>
          :
          <article-title>Learning from quality issues of BPMN models from industry</article-title>
          .
          <source>IEEE Software 33(4)</source>
          (
          <year>2016</year>
          )
          <fpage>26</fpage>
          -
          <lpage>33</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>van der Aalst</surname>
          </string-name>
          , W.M.:
          <article-title>Business Process Management: A Comprehensive Survey</article-title>
          .
          <source>ISRN Software Engineering</source>
          <year>2013</year>
          (
          <year>2013</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Nolte</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Brown</surname>
          </string-name>
          , R.,
          <string-name>
            <surname>Poppe</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Anslow</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          :
          <article-title>Towards collaborative modelling of business processes on large interactive touch display walls</article-title>
          .
          <source>In: 2015 International Conference on Interactive Tabletops &amp; Surfaces</source>
          , ACM (
          <year>2015</year>
          )
          <fpage>379</fpage>
          -
          <lpage>384</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Kammerer</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kolb</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ronis</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Reichert</surname>
            ,
            <given-names>M.:</given-names>
          </string-name>
          <article-title>Collaborative process modeling with tablets and touch tables-a controlled experiment</article-title>
          .
          <source>In: 2015 IEEE 9th International Conference on Research Challenges in Information Science (RCIS)</source>
          ,
          <source>IEEE</source>
          (
          <year>2015</year>
          )
          <fpage>31</fpage>
          -
          <lpage>41</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <given-names>Barba</given-names>
            <surname>Rodriguez</surname>
          </string-name>
          ,
          <string-name>
            <surname>I.</surname>
          </string-name>
          :
          <article-title>Constraint-based Planning and Scheduling Techniques for the Optimized Management of Business Processes</article-title>
          .
          <source>PhD thesis</source>
          , Universidad de Sevilla (
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Heinrich</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bewernik</surname>
            ,
            <given-names>M.A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Henneberger</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Krammer</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Lautenbacher</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          :
          <article-title>SEMPA-Ein Ansatz des Semantischen Prozessmanagements zur Planung von Prozessmodellen</article-title>
          .
          <source>Wirtschaftsinformatik</source>
          <volume>50</volume>
          (
          <issue>6</issue>
          ) (
          <year>2008</year>
          )
          <fpage>445</fpage>
          -
          <lpage>460</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Parody</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gómez-López</surname>
            ,
            <given-names>M.T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gasca</surname>
            ,
            <given-names>R.M.:</given-names>
          </string-name>
          <article-title>Hybrid business process modeling for the optimization of outcome data</article-title>
          .
          <source>Information and Software Technology</source>
          <volume>70</volume>
          (
          <year>2016</year>
          )
          <fpage>140</fpage>
          -
          <lpage>154</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Qin</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Fahringer</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Prodan</surname>
            ,
            <given-names>R.:</given-names>
          </string-name>
          <article-title>A novel graph based approach for automatic composition of high quality grid workflows</article-title>
          .
          <source>In: Proceedings of the 18th ACM International Symposium on High Performance Distributed Computing. HPDC '09</source>
          ,
          <string-name>
            <surname>ACM</surname>
          </string-name>
          (
          <year>2009</year>
          )
          <fpage>167</fpage>
          -
          <lpage>176</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Wiśniewski</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kluza</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ligęza</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>An Approach to Participatory Business Process Modeling: BPMN Model Generation Using Constraint Programming and Graph Composition</article-title>
          .
          <source>Appl. Sci. 8</source>
          (
          <issue>9</issue>
          ) (
          <year>2018</year>
          )
          <fpage>1428</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Wiśniewski</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kluza</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Jobczyk</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Stachura-Terlecka</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ligęza</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Overview of generation methods for business process models</article-title>
          .
          <source>In: International Conference on Knowledge Science, Engineering and Management</source>
          , Springer (
          <year>2019</year>
          )
          <fpage>55</fpage>
          -
          <lpage>60</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Kluza</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wiśniewski</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          :
          <article-title>Spreadsheet-based business process modeling</article-title>
          .
          <source>In: 2016 Federated Conference on Computer Science and Information Systems</source>
          , IEEE (
          <year>2016</year>
          )
          <fpage>1355</fpage>
          -
          <lpage>1358</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Wiśniewski</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kluza</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kucharska</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ligęza</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Spreadsheets as interoperability solution for business process representation</article-title>
          .
          <source>Appl. Sci. 9</source>
          (
          <issue>2</issue>
          ) (
          <year>2019</year>
          )
          <fpage>345</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>Wiśniewski</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kluza</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ligęza</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Towards automated process modeling based on BPMN diagram composition</article-title>
          .
          <source>In: BPM 2018 Workshop Proceedings</source>
          , Cham, Springer (
          <year>2018</year>
          )
          <fpage>507</fpage>
          -
          <lpage>513</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Wiśniewski</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kluza</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ślażyński</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ligęza</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Constraint-based composition of business process models</article-title>
          .
          <source>In: Business Process Management Workshops, Cham</source>
          , Springer (
          <year>2018</year>
          )
          <fpage>133</fpage>
          -
          <lpage>141</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <surname>Wiśniewski</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          :
          <article-title>Decomposition of business process models into reusable subdiagrams</article-title>
          .
          <source>In: ITM Web of Conferences</source>
          . Volume
          <volume>15</volume>
          ., EDP Sciences (
          <year>2017</year>
          )
          <fpage>01002</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <surname>Wiśniewski</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kluza</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ligęza</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Suchenia</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Generation of synthetic business process traces using Constraint Programming</article-title>
          .
          <source>In: 2018 Federated Conference on Computer Science and Information Systems</source>
          , IEEE (
          <year>2018</year>
          )
          <fpage>445</fpage>
          -
          <lpage>453</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          17.
          <string-name>
            <surname>Wiśniewski</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ligęza</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Constraint-based identification of complex gateway structures in business process models</article-title>
          .
          <source>In: International Conference on Artificial Intelligence and Soft Computing</source>
          , Springer (
          <year>2018</year>
          )
          <fpage>788</fpage>
          -
          <lpage>798</lpage>
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>