<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>The Model Judge - A Tool for Supporting Novices in Learning Process Modeling</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Luis D</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Llu´ıs P</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>ro´ [</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Computer Science Department Universitat Polite`cnica de Catalunya Barcelona</institution>
          ,
          <country country="ES">Spain</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Process models are a fundamental element in the BPM lifecycle. Hence, it is of paramount importance for organizations to rely on high-quality, accurate and up-to-date process models, to avoid taking decisions on the basis of a wrong picture of the reality. In this demo we present modeljudge.cs.upc.edu, a platform to boost the training of novice modelers when confronted with the task of translating a textual description into a process model in BPMN notation. The platform is integrated with Natural Language Processing (NLP) analysis and textual annotation, together with a novel model-to-text alignment technique. By using this platform, a novice modeler will receive diagnostics in real-time, which may contribute to a more satisfactory modeling experience.</p>
      </abstract>
      <kwd-group>
        <kwd>Process Modeling</kwd>
        <kwd>Natural Language Processing</kwd>
        <kwd>Education</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>Due to the wide usage of process models in organizations, correctness and quality of
models have a direct influence in the execution of business processes. However, research
has shown that industrial process models often contain errors, which can lead to many
problems, like increased costs in production.</p>
      <p>
        Automating the detection of syntactic errors is a common feature in modeling
software. However, the error types more closely related to the natural language sections
of the model are usually not checked, due to the difficulties in the automatic analysis
of such elements. Model Judge is a web platform supporting students in the creation
of business process models by automatically detecting and reporting the most common
sources of semantic and pragmatic errors in modeling. The algorithm for the
computation of diagnostics is based on the technique for automatic computation of alignments
between process model and textual descriptions presented in [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ].
      </p>
      <p>
        Significance of the tool for the BPM field. As it is pointed out in [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], process
models play a central role in the management of processes within organizations. Although
recent automated techniques can help into the discovery of a process model [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ], the
process of process modeling it is still a crucial element in the BPM lifecycle [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ].
Frameworks integrating different modeling notations, like the one presented in this paper for
F. Casati et al. (Eds.): Proceedings of the Dissertation Award and Demonstration, Industrial Track at BPM 2018,
CEUR-WS.org, 2018. Copyright c 2018 for this paper by its authors. Copying permitted for private and academic
purposes. This volume is published and copyrighted by its editors.
textual descriptions and BPMN, will help into narrowing the gap between processes
and their representations within organizations.
2
      </p>
    </sec>
    <sec id="sec-2">
      <title>Tool Description and Features</title>
      <p>The Model Judge is presented as a web-based platform, that can be accessed through
any web browser at http://modeljudge.cs.upc.edu. It is designed both for
helping students in the process of creating a process model and instructors in the task
of designing modeling activities in an agile way.</p>
      <p>Working with the Model Judge is very much like creating a process model using
any BPMN editor. What makes the platform special is the underlying engine to provide
automatic feedback (see below). When modeling, a textual description of the process
model is available on the left part, while the modeling editor is shown in the right part.
Fig. 1 shows the workspace.</p>
      <p>
        With the goal of providing an accurate evaluation of students’ models, and inspired
by the success of judges to support learning to program ([
        <xref ref-type="bibr" rid="ref2 ref4">2,4</xref>
        ] among many others),
we have established a set of diagnostics that are suitable for being computed
automatically. We have split these diagnostics in three different categories: Syntactic diagnostics
consider the model well-formedness and control flow. Pragmatic diagnostics verify the
phrasing of the process model labels and enforce certain grammatical rules. Finally,
semantic diagnostics check for coverage (there is no missing information from the
underlying process) and for relevance (no irrelevant information is included in the model).
Fig. 2 provides different types of diagnostics reported for a particular example.
      </p>
      <p>Two different types of feedback can be provided to the student, depending on the
granularity of the information required:
– Validation: returns an aggregated diagnostic that reflects if the model has some
errors of the types explained before, but it does not say what or where is exactly</p>
      <p>the problem. The motivation for this check is to allow for a mild test to guide the
students without giving away the whole solution. The feedback provided in Fig. 2
is a validation.
– Complete Validation: apart from the overall information provided by the
Validation, this check also provides a detailed list of all the problems detected, and
individually explained. The motivation for this check is to allow an assessment similar
to the one obtained if a teacher was correcting the model, and would be typically
provided once the student finishes and hands over the exercise.</p>
      <p>In order to use the platform, a user (either student or instructor) needs an account,
with its associated storage space. This space acts as a cloud drive for models, allowing
to manually save multiple versions of an exercise. Moreover, the students enrolled in
a particular course, may enable the platform to record a history of their modeling
session. This can be used for analyzing their behavior, which can be reported back to the
instructor to get a clearer picture of the modeling process of their students.</p>
      <p>Currently, there are 9 different exercises available in the platform. Any modeler can
register into the platform and practice with them. Instructors can also design a course,
by selecting the exercises that must be included. Fig. 3 shows the main page for defining
a course as instructor. Once a course is created, a unique code will be created that can
be shared with the students of this course.</p>
      <p>Support for adding new exercises is restricted to the developers of the platform.
However, support is planned to allow instructors to create their own exercises. In order
to create a new exercise for the Model Judge, a textual description of a process is
required. This textual description will be used as the problem statement for the students
so they can understand the process to be modeled. Instructors will then have to
annotate the relevant parts of the process: Actions, Entities and Conditions as well as their
relations: Agent, Patient. This annotation process is partially performed by a Natural
Language Processing algorithm, which provides an initial annotation to be refined.
Figure 4 shows a fragment of a text annotation corresponding to one of the exercises in the
platform.</p>
      <p>A screencast of the Model Judge which shows a typical session working with the
model judge can be found in https://youtu.be/xJ3TeKlvIfo.</p>
    </sec>
    <sec id="sec-3">
      <title>Architechture, Libraries Used and Maturity of the Tool</title>
      <p>
        Model Judge is built as a web application. A distributed server manages several
instances of the application and balances the load between them. The front-end of it is
built using the PrimeFaces Java framework, which internally communicates with the
core Java application, responsible for the generation of diagnostics. Several
functionalities in Model Judge rely on external libraries: FreeLing [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] is used for all the Natural
Language Processing tasks and the Gurobi ILP solver is used to compute optimal
alignments, as described in [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]. Additionally, the BRAT [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ] text annotation software is used
as an external tool in order to create new exercises for the platform.
      </p>
      <p>The Model Judge has been tested in two separate modeling courses. The first was
performed on the Technical University of Denmark (DTU) during February 2018. The
second course was performed at the Catholic University of Santa Mar´ıa (UCSM) in Peru
during March 2018. For every student of these courses, we stored periodically (every
minute) information for the whole modeling session. Additionally, information was also
saved each time the user performed a simple or complete validation. In particular, we
recorded a total of 8410 intermediate models for 72 students.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <given-names>Marlon</given-names>
            <surname>Dumas</surname>
          </string-name>
          , Marcello La Rosa,
          <string-name>
            <given-names>Jan</given-names>
            <surname>Mendling</surname>
          </string-name>
          , and
          <string-name>
            <surname>Hajo</surname>
            <given-names>A.</given-names>
          </string-name>
          <string-name>
            <surname>Reijers</surname>
          </string-name>
          .
          <source>Fundamentals of Business Process Management</source>
          . Springer,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <given-names>Adrian</given-names>
            <surname>Kosowski</surname>
          </string-name>
          , Michal Malafiejski, and
          <string-name>
            <given-names>Tomasz</given-names>
            <surname>Noinski</surname>
          </string-name>
          .
          <article-title>Application of an online judge &amp; contester system in academic tuition</article-title>
          .
          <source>In Advances in Web Based Learning - ICWL</source>
          <year>2007</year>
          , 6th International Conference, Edinburgh,
          <string-name>
            <surname>UK</surname>
          </string-name>
          ,
          <year>August</year>
          15-
          <issue>17</issue>
          ,
          <year>2007</year>
          ,
          <string-name>
            <given-names>Revised</given-names>
            <surname>Papers</surname>
          </string-name>
          , pages
          <fpage>343</fpage>
          -
          <lpage>354</lpage>
          ,
          <year>2007</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Llu</surname>
          </string-name>
          <article-title>´ıs Padro´</article-title>
          and
          <string-name>
            <given-names>Evgeny</given-names>
            <surname>Stanilovsky</surname>
          </string-name>
          .
          <article-title>Freeling 3.0: Towards wider multilinguality</article-title>
          .
          <source>In Proceedings of the Eighth International Conference on Language Resources and Evaluation</source>
          , LREC, pages
          <fpage>2473</fpage>
          -
          <lpage>2479</lpage>
          , Istanbul, Turkey, May
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <given-names>Jordi</given-names>
            <surname>Petit</surname>
          </string-name>
          , Omer Gime´nez, and Salvador Roura.
          <article-title>Jutge.org: An educational programming judge</article-title>
          .
          <source>In Proceedings of the 43rd ACM Technical Symposium on Computer Science Education, SIGCSE '12</source>
          , pages
          <fpage>445</fpage>
          -
          <lpage>450</lpage>
          , New York, NY, USA,
          <year>2012</year>
          . ACM.
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <given-names>Jakob</given-names>
            <surname>Pinggera</surname>
          </string-name>
          , Pnina Soffer, Dirk Fahland, Matthias Weidlich, Stefan Zugal, Barbara Weber,
          <string-name>
            <given-names>Hajo A.</given-names>
            <surname>Reijers</surname>
          </string-name>
          , and
          <string-name>
            <given-names>Jan</given-names>
            <surname>Mendling</surname>
          </string-name>
          .
          <article-title>Styles in business process modeling: an exploration and a model</article-title>
          .
          <source>Software and System Modeling</source>
          ,
          <volume>14</volume>
          (
          <issue>3</issue>
          ):
          <fpage>1055</fpage>
          -
          <lpage>1080</lpage>
          ,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <given-names>Josep</given-names>
            <surname>Sa</surname>
          </string-name>
          <article-title>`nchez-</article-title>
          <string-name>
            <surname>Ferreres</surname>
          </string-name>
          ,
          <article-title>Josep Carmona, and Llu´ıs Padro´. Aligning textual and graphical descriptions of processes through ILP techniques</article-title>
          .
          <source>In Advanced Information Systems</source>
          Engineering - 29th International Conference, CAiSE
          <year>2017</year>
          , Essen, Germany, June 12-16,
          <year>2017</year>
          , Proceedings, pages
          <fpage>413</fpage>
          -
          <lpage>427</lpage>
          ,
          <year>2017</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <given-names>Pontus</given-names>
            <surname>Stenetorp</surname>
          </string-name>
          , Sampo Pyysalo, Goran Topic´,
          <string-name>
            <surname>Tomoko</surname>
            <given-names>Ohta</given-names>
          </string-name>
          , Sophia Ananiadou, and
          <article-title>Jun'ichi Tsujii. Brat: a web-based tool for nlp-assisted text annotation</article-title>
          .
          <source>In Proceedings of the Demonstrations at the 13th Conference of the European Chapter of the Association for Computational Linguistics</source>
          , pages
          <fpage>102</fpage>
          -
          <lpage>107</lpage>
          . Association for Computational Linguistics,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Wil M. P. van der Aalst</surname>
          </string-name>
          .
          <source>Process Mining - Data Science in Action, Second Edition</source>
          . Springer,
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>