<!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>
      <journal-title-group>
        <journal-title>Workshop ER-POIS, Hammamet, Tunisia, pp.</journal-title>
      </journal-title-group>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>Handling Events During Business Process Execution: An Empirical Test</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Barbara Weber</string-name>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Jakob Pinggera</string-name>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Stefan Zugal</string-name>
          <email>Stefan.Zugalg@uibk.ac.at</email>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Werner Wild</string-name>
          <email>Werner.Wild@evolution.at</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Barbara.Weber</institution>
          ,
          <addr-line>Jakob.Pinggera,Stefan.Zugal</addr-line>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Evolution Consulting</institution>
          ,
          <addr-line>Innsbruck</addr-line>
          ,
          <country country="AT">Austria</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Quality Engineering Research Group, University of Innsbruck</institution>
          ,
          <country country="AT">Austria</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2010</year>
      </pub-date>
      <volume>1</volume>
      <fpage>9</fpage>
      <lpage>30</lpage>
      <abstract>
        <p>Declarative approaches have been proposed to counter the limited exibility of the imperative modeling paradigm, but little empirical insights are available into their actual strengths and use. Our previous work has shown that end-users can e ectively model and execute a declarative process with a considerable spectrum of constraints. However, what is still unclear is how e ectively end-users are able to handle unforeseen events that can occur during run-time. This paper describes the design, execution, and results of a controlled experiment in which subjects have to execute a process with varying levels of events. The results suggest that our subjects, while being able to e ectively handle constraints, have di culties to handle unforeseen events during run-time. This outcome supports the argument that declarative processes require more experienced people, especially when dealing with unforeseen events.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <p>
        In today's dynamic business environment the economic success of an enterprise
depends on its ability to react to change, like shifts in customers' attitudes or the
introduction of new laws [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]. Process-aware information systems (PAISs) o er a
promising perspective on shaping this capability, resulting in a growing interest
to align information systems in a process-oriented way [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. Yet, a critical success
factor when applying a PAIS is the option to exibly deal with process changes
[
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]. To address the need for exible PAISs, competing paradigms enabling process
changes and process exibility have been developed, e.g., adaptive processes [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ],
case handling [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ], declarative processes [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ], and late binding and modeling [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]
{ for an overview see [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]. All of these approaches relax the strict separation of
build-time (i.e., modeling or planning) and run-time (i.e., execution), which is
typical for traditional work ow management systems following the imperative
paradigm. However, by closely interweaving planning and execution the above
mentioned approaches allow for a more agile way of planning. In particular,
users are empowered to defer decisions regarding the exact control- ow to
runtime, when more information is available. Depending on the concrete approach,
planning and execution are interwoven to di erent degrees, resulting in di erent
levels of decision deferral. The highest degree of decision deferral is enabled
by declarative processes, which describe activities that can be performed as
well as constraints preventing undesired behavior [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]. A declarative approach,
therefore, seems to be particularly promising for highly dynamic processes [
        <xref ref-type="bibr" rid="ref6 ref9">6, 9</xref>
        ].
The support for partial work ows [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ] allowing users to defer decisions to
runtime [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ], the absence of over-speci cation [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ], and more maneuvering room for
end-users [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] are all advantages commonly attributed to declarative processes.
      </p>
      <p>
        Although the bene ts of declarative approaches seem rather evident, such
approaches are not yet widely adopted in practice. In addition, there is a lack
of empirical evidence on how well declarative approaches perform in real-world
settings. In our previous work we have shown that end-users can e ectively
model and execute declarative processes even with a considerable spectrum of
constraints, especially when appropriate tool support is in place [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ]. However,
it is still unclear how well end-users can handle unforeseen events during the
execution of declarative processes.
      </p>
      <p>
        The goal of this paper is to pick up on the demand for more empirical insights
into the use of declarative approaches. Speci cally, we aim to investigate how
the occurrence of exceptional situations may impede end-users' success when
using a declarative approach for handling a particular business case (i.e., process
instance). Proponents of declarative approaches argue that they are especially
suited to support dynamic processes and that handling of unforeseen events is
one of the strengths of the declarative approach [
        <xref ref-type="bibr" rid="ref6 ref9">6, 9</xref>
        ]. Due to its high exibility
the declarative approach provides maneuvering room for end-users to react upon
unforeseen events without necessarily having to deviate from the process model.
However, following literature on agile methods one could also argue that talent
and skills are among the critical people-factors [
        <xref ref-type="bibr" rid="ref11 ref12">11, 12</xref>
        ] and declarative processes
tend to necessitate a richer mix of higher-skilled people than traditional
imperative approaches.
      </p>
      <p>This paper reports on the results of a controlled experiment investigating
how well inexperienced users can handle unforeseen events during the execution
of declarative processes. Its ndings are based on an experiment conducted in
December 2008 at the Management Center Innsbruck with 20 students. The
structure of this paper is as follows. After providing necessary background
information in Section 2, Section 3 describes the experimental de nition and Section
4 deals with the execution of the experiment and presents the results. Related
work is listed in Section 5, Section 6 concludes the paper with a summary and
an outlook.
2</p>
    </sec>
    <sec id="sec-2">
      <title>Background</title>
      <p>This section introduces declarative processes as well as the software used for the
experiment, the Alaska Simulator.
2.1</p>
      <sec id="sec-2-1">
        <title>Declarative Processes</title>
        <p>
          There is a long tradition of modeling business processes in an imperative way.
Process modeling languages supporting this paradigm, like BPMN, BPEL and
UML Activity Diagrams, are widely used. Recently, declarative approaches have
received increased interest and suggest a fundamentally di erent way of
describing business processes [
          <xref ref-type="bibr" rid="ref13">13</xref>
          ]. While imperative models specify exactly how things
have to be done, declarative approaches only focus on the logic that governs the
interplay of actions in the process by describing (1) the activities that can be
performed, as well as (2) constraints prohibiting undesired behavior. An example
of a constraint in a travel process would be that between a Diving activity and
a Flightseeing activity there must be a resting period of two days to prevent
aeroembolism. Imperative models take an `inside-out' approach by requiring all
execution alternatives to be explicitly speci ed in the model. Declarative models,
in turn, take an `outside-in' approach: constraints implicitly specify execution
alternatives, as all valid alternatives have to satisfy the constraints [
          <xref ref-type="bibr" rid="ref14">14</xref>
          ]. Adding
more constraints means discarding some execution alternatives (cf. Fig. 1). This
results in a coarse up-front speci cation of a process, which can then be re ned
iteratively during run-time. Typical constraints described in literature can be
roughly divided into three classes (e.g., [
          <xref ref-type="bibr" rid="ref13 ref7">7, 13</xref>
          ]): constraints restricting the
selection of activities (e.g., the minimum or maximum occurrence of activities,
mutual exclusion, co-requisite), the ordering of activities (e.g., pre-requisite or
response constraints) and the use of resources (e.g., execution time of activities,
time di erence between activities, budget, etc.).
        </p>
        <sec id="sec-2-1-1">
          <title>Desired Forbidden behavior behavior</title>
        </sec>
        <sec id="sec-2-1-2">
          <title>Deviations from the prescribed model</title>
        </sec>
        <sec id="sec-2-1-3">
          <title>Imperative</title>
        </sec>
        <sec id="sec-2-1-4">
          <title>Model</title>
        </sec>
        <sec id="sec-2-1-5">
          <title>Imperative</title>
          <p>con</p>
          <p>straint
constraint</p>
        </sec>
        <sec id="sec-2-1-6">
          <title>Declarative</title>
          <p>
            constraint
cons
traint
The Alaska Simulator1 [
            <xref ref-type="bibr" rid="ref15">15</xref>
            ] fosters the comparison of di erent approaches to
process exibility, e.g., declarative processes, by using a journey as metaphor
for a business process. The similarities being exploited here are that regardless
of whether a journey or a business process is executed, various steps must be
planned and carried out, even if the actual execution of those steps may be
di erent from what is initially foreseen. Furthermore, journey planning is an
attractive context for many people to become engaged in, which highly improves
their willingness to participate in experiments.
          </p>
          <p>The actions of a journey, like travel activities, routes and overnight stays
correspond to activities in the business process. When conducting a journey, the
1 Developed at the University of Innsbruck, http://www.alaskasimulator.org
goal is to maximize the travel experience (i.e., the overall \business value" of
the journey), typical goals for business processes are the minimization of cost,
cycle time or the optimization of quality or customer satisfaction. For optimizing
the execution of a particular business case, information about the bene ts (i.e.,
business value), cost and duration of activities is essential. Furthermore, both
journeys and highly exible business processes are characterized by incomplete
information prior to execution. The business value for executing a particular
activity within a business process is usually uncertain, likewise the outcome of
a travel activity is not prede ned and varies with the weather conditions
encountered. The degree of variation is de ned by the activity's reliability, i.e., low
reliability indicates that the outcome of the activity is highly weather dependent.
The overall business value of a journey (i.e., a numeric value representing the
travel experience) is calculated as the sum of business values of all performed
activities. Prior to performing the journey only the expected business value for
each activity as well as its reliability (see below) are known. During the journey
the activity's actual business value is calculated based on the weather conditions
encountered. In addition to changing weather conditions, unforeseen events (e.g.,
a tra c jam resulting in delays) create uncertainty in a journey, while changing
requirements or new laws complicate the modeling and execution of business
processes. When composing a concrete business case, di erent constraints like
selection constraints, ordering constraints or resource constraints have to be
considered (cf. Section 2.1), similar constraints also exist when planning a journey
(e.g., mandatory activities, dependencies between activities). To assess the last
responsible moment for committing to an action, users must consider both its
availability and reliability. By rmly booking an action its availability can be
guaranteed, but the cost of the action must be paid immediately. If the booking
is canceled during the journey, a cancelation penalty might apply, thus making
too early commitments costly. Furthermore, booking is only possible up to a
certain time before executing the action, as speci ed by the booking deadline.</p>
          <p>Fig. 2 depicts the graphical user interface of the Alaska Simulator. Users
can compose their individual travel plan by dragging available actions from the
Available Actions View (3) onto the Itinerary (1). Actions are only available at
a particular location on the Map (4). Existing constraints are displayed in the
Constraint Overview (2) and have to be considered when composing a concrete
journey. After each user (inter-)action, the journey is validated and the user is
informed about any constraint violations and inconsistencies in the plan (5).
3</p>
        </sec>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Experimental De nition and Planning</title>
      <p>The main goal of the experiment is to evaluate the e ects of unforeseen events
on process outcomes (i.e., business value and number of failed journeys). Section
3.1 describes the setup of the experiment, the design is elaborated in Section
3.2. Finally, Section 3.3 discusses possible risks threatening the validity of the
experiment as well as countermeasures taken.
Subjects: We conducted the experiment with 20 students of the study program
\Management, Communication &amp; IT" at the Management Center Innsbruck.
Objects: Two journeys representing two di erent business processes are used
as objects, subsequently referred to as Con guration California (ConfCA) and
Con guration Alaska (ConfAK). The con gurations de ne the journey settings,
like actions to be executed, constraints restricting their execution, events that
might occur during run-time and weather conditions (cf. Section 2). For each of
the con gurations, two variants are created: A and B, di ering in the number
of events only. While Variant A contains no events, Variant B comprises many
unforeseen events (e.g., event increasing the action's duration, temporary road
closure). An overview of the di erent variant characteristics is given in Fig. 3.
Factor and Factor Levels: The number of unforeseen events that occur during
run-time is the considered factor with levels \no events" and \many events".
Variant A of a con guration corresponds to factor level \no events" and variant
B to factor level \many events".
Response Variable: The achieved business value when planning and executing
a given con guration with a given level of events is the response variable (cf.
Section 2 for a description on how the business value is calculated). In addition, the
number of failed journeys, i.e., journeys which could not be completed without
constraint violations, is considered. To ensure comparability of results, weather
conditions are the same for each subject.</p>
      <p>Hypothesis Formulation: Goal of the experiment is to investigate the impact
of unforeseen events on the response variables business value and number of
failed journeys. Accordingly, we postulate the following hypotheses:
{ Null Hypothesis H0;0: There is no signi cant di erence in the mean
business values between con gurations irrespective of the number of events.
{ Null Hypothesis H1;0: There is no signi cant di erence in the number of
failed journeys between con gurations irrespective of the number of events.
Instrumentation: To ensure precise measurement of business value, the Alaska
Simulator provides a mechanism for logging each relevant step the user
undertakes while planning and executing a journey.
3.2</p>
      <sec id="sec-3-1">
        <title>Experimental Design</title>
        <p>
          The experimental setup is based on the guidelines for designing experiments in
[
          <xref ref-type="bibr" rid="ref16">16</xref>
          ]. Following these guidelines a randomized balanced single factor experiment
is conducted with repeated measurements. The experiment is called randomized,
since subjects are assigned to groups randomly. We denote the experiment as
balanced as each factor level is used by each subject, i.e., each student plans
and executes two journeys, one without and one with events. As only a single
factor is manipulated (i.e., the level of events), the design is called single factor.
Due to the balanced nature of the experiment, each subject generates data for
both factor levels and thus provides repeated measurements. Fig. 4 depicts the
design following the aforementioned criteria. The subjects are randomly assigned
to two groups of equal size, subsequently referred to as Group 1 and Group
2. To provide a balanced experiment with repeated measurements, the overall
procedure consists of two runs. In the rst run Group 1 applies factor level no
events to object ConfCA, Group 2 factor level many events to the same object. In
the second run, factor levels are switched and Group 1 applies factor level many
events on ConfAK, Group 2 factor level no events to the same object. Since no
subject deals with an object more than once, this design avoids learning e ects.
        </p>
        <p>Handling Events During Business Process Execution: An Empirical Test 25
Group 1
n/2 Participants</p>
        <p>Group 2
n/2 Participants</p>
        <p>Factor Level 1:
No Events
Factor Level 2:
Many Events</p>
        <p>First Run</p>
        <p>Configuration</p>
        <p>California
Configuration</p>
        <p>California</p>
        <p>Group 1
n/2 Participants</p>
        <p>Group 2
n/2 Participants</p>
        <p>Factor Level 2:
Many Events
Factor Level 1:
No Events</p>
        <p>Second Run</p>
        <p>Configuration</p>
        <p>Alaska
Configuration</p>
        <p>Alaska
In this section risks threatening the validity of the experiment are discussed.
Individual Planning Experience: Di erences of participating students in
respect to planning experience and productivity might have an impact on the
students' performance, i.e., the business value achieved. This issue can be
balanced by conducting the experiment with a su ciently large and representative
set of students or by replicating the experiment. The relatively low number of
subjects (19 out of 20 could be used for data analysis) certainly constitutes a
threat to the validity of this experiment.</p>
        <p>
          Suitability of Metaphor: Whether or not the results of this experiment can
be generalized to business process modeling and execution highly depends on
the suitability of the chosen metaphor. However, due to the similarities of
business process modeling and traveling planning and their respective execution (cf.
Section 2), we assume the suitability of the metaphor. To further increase
condence in our view we plan testing whether travel planning serves as a good
proxy for business process modeling and execution in future experiments.
Students instead of Professionals: In our experiment undergraduate
students with limited planning experience were the subjects for investigating how
well inexperienced users are able to model and execute declarative processes with
varying numbers of events. While students can be regarded as suitable proxies
for inexperienced users [
          <xref ref-type="bibr" rid="ref17">17</xref>
          ], it is arguable whether the results of this
experiment can be generalized to professionals with signi cant planning experience.
When replicating the experiment with experienced professionals we expect them
to clearly obtain better process outcomes (i.e., higher business value and lower
number of failed journeys).
        </p>
        <p>Choice of Object: To be able to generalize results gained from this experiment,
the con gurations must be representative for a wide range of business process
settings. Although the con gurations used in this experiment do not have the
complexity of real-world processes, they range well beyond the size of toy
examples and include 22 and 26 activities, each of them varying in terms of expected
business value, reliability and availability as well as their constraints and events.
Team Planning: In our experiment planning and execution was done on an
individual basis, not in teams. Since planning often involves interactions among
domain experts, system analysts and stakeholders, it has to be investigated how
far our results can be transferred to team planning. For this we plan to replicate
the experiment in a team setting.
4</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>Performing the Experiment</title>
      <p>Section 4.1 describes the experiment's preparation and execution. Then, Section
4.2 presents the analysis of data for our experiment, followed by a discussion of
the results in Section 4.3.
4.1</p>
      <sec id="sec-4-1">
        <title>Experimental Operation</title>
        <p>Experimental Preparation: The preparation of the experiment included the
elaboration of the experimental design, implementation of the Alaska Simulator
and devising the two travel con gurations, i.e., ConfCA and ConfAK. To ensure
that each con guration is correct and can be executed in the available amount
of time, we performed pre-tests with several persons of di erent backgrounds.
Experimental Execution: The experiment was conducted in December 2008
at the Management Center Innsbruck. For organizational reasons, the execution
of the experiment was split into two distinct sessions with 10 students each. At
the beginning of each session, an introductory lecture was given to familiarize
everyone with the Alaska Simulator and to clarify the experiment's rules and goals.
For this, the students received a \starter kit" consisting of screencasts explaining
the main features of the Alaska Simulator. Having watched the screencasts, the
students were then randomly assigned to one of the two groups. As pointed out
in Section 3.2, the experiment was executed in two subsequent runs, each taking
about one hour. During the rst 25 minutes of each run students could explore
the con guration (i.e., ConfCA for the rst run, ConfAK for the second run) to
gather relevant domain knowledge. In the remaining 35 minutes students had to
plan and execute the journey with the goal of optimizing the business value.
Data Validation: After having conducted the experiment, logged data was
analyzed. We discarded data from one student since he did not follow the
experiment setup (i.e., he adopted the same planning approach twice). Thus, 19
subjects remained for data analysis.
4.2</p>
      </sec>
      <sec id="sec-4-2">
        <title>Data Analysis</title>
        <p>In the following we describe the analysis and interpretation of data.
Descriptive Analysis: Based on data obtained from the logs of the Alaska
Simulator, descriptive statistics for response variables business value and number
of failed journeys were calculated.</p>
        <p>Configuration Approach N Failed Journeys
California No Events 9
California Many Events 10
Alaska No Events 10
Alaska Many Events 9</p>
        <p>MinBV MaxBV MeanBV Standard Deviation BV
0 5925 7492 6581 573
4 4815 7289 5883 693
1 2895 5497 4114 827
6 1045 4907 2826 1179</p>
        <p>Fig. 5 shows that for both ConfCA and ConfAK, Variant A (no events) yields
a higher mean business value and a lower number of failed journeys compared</p>
        <p>Handling Events During Business Process Execution: An Empirical Test 27
to Variant B (many events). The question is whether the observed di erences in
mean business values and number of failed journeys are statistically signi cant.
Data Plausibility: Fig. 6 shows a box-whisker-plot diagram as used for
analyzing data plausibility. It visualizes data distribution and detects outliers. For
ConfAK (many events) a single outlier exists. Since this is the only outlier,
plausible data distributions seem to be in e ect.</p>
        <p>8000,00
6000,00
e
u
l
a
V
s
s
e
in4000,00
s
u
B
2000,00
,00</p>
        <p>13
Alaska A</p>
        <p>Alaska B California A</p>
        <p>Configuration</p>
        <p>California B
Testing for Di erences in Business Value: Since the expected business
values of ConfAK and ConfCA di er, hypothesis testing is performed for each
con guration separately. For ConfCA preconditions for the t-test for
homogeneous variances are ful lled (i.e., data is normally distributed and the Levene
test con rmed equal variances). With an obtained signi cance of 0.013 (&lt; 0.05)
hypothesis H0;0 can be rejected at a con dence level of 95%. ConfAK also ful lls
all prerequisites for the t-test for homogeneous variances. The resulting signi
cance of 0.030 (&lt; 0.05) also leads to a rejection of hypothesis H0;0 at a con dence
level of 95%.</p>
      </sec>
      <sec id="sec-4-3">
        <title>Testing for Di erences in Number of Failed Journeys: To test for di er</title>
        <p>
          Page 1
ences in the number of failed journeys we used Fisher's exact test [
          <xref ref-type="bibr" rid="ref18">18</xref>
          ]; the Chi
Square test was not applicable due to the small sample size. For ConfCA, with
an obtained signi cance of 0.017 (&lt; 0.05) hypothesis H1;0 can be rejected at a
con dence level of 95%. For ConfAK, in turn, the obtained p-value of 0:054 (&gt;
0.05) is slightly above the cut-o point. Consequently, hypothesis H1;0 cannot
be rejected for ConfAK.
4.3
        </p>
      </sec>
      <sec id="sec-4-4">
        <title>Discussion of Results</title>
        <p>
          The major nding from our data analysis is that unforeseen events have a
statistically signi cant impact on the outcome of journeys. Furthermore, the results
obtained in this experiment seem to con rm the ndings reported in [
          <xref ref-type="bibr" rid="ref10">10</xref>
          ],
suggesting that handling constraints causes little di culties for end-users, especially
if appropriate tool support is provided. The constraints used in our experiment
show a similar level of complexity as those used in [
          <xref ref-type="bibr" rid="ref10">10</xref>
          ]. As only one out of 19
journeys without unforeseen events was not completed successfully, we conclude
that only when combined with events, constraints have a signi cant impact on
the business value of a journey.
        </p>
        <p>A manual analysis of our data showed that some events were more critical
for the the process outcome (i.e., business value and number of failed journeys)
than others. Especially, events that occurred in combination with mandatory
actions were causing di culties. For example, one of the events our subjects
had to handle was a tra c jam on a route to a location with a single mandatory
activity. This mandatory activity had a low availability and a restricted execution
time. To handle this event, our subjects could not simply move the action, but
usually had to rearrange major parts of the journey to ful ll the constraints and
use the remaining time as e ectively as possible.</p>
        <p>
          Our results also support the argument that talent and skills are among the
critical people-factors for agile methods as enabled by declarative processes [
          <xref ref-type="bibr" rid="ref11 ref12">11,
12</xref>
          ]. In fact, only few students were able to e ectively handle events and to fully
exploit the exibility provided by the declarative approach. As stated in [
          <xref ref-type="bibr" rid="ref10">10</xref>
          ], tool
support was essential for the successful dealing with constraints. Analogously, we
assume that tools supporting the user's decision making, e.g., recommendation
systems [
          <xref ref-type="bibr" rid="ref19">19</xref>
          ], might be bene cial for the journey's outcome.
5
        </p>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>Related Work</title>
      <p>
        Most existing work about exibly dealing with exceptions, changes, and
uncertainty in the context of PAISs and related technologies is strongly
designcentered, i.e., aiming at the development of tools, techniques, and methodologies.
For overviews and discussions of these approaches, see [
        <xref ref-type="bibr" rid="ref20 ref21 ref8">8, 20, 21</xref>
        ].
      </p>
      <p>
        Only few empirical investigations exist that aim to establish the suitability
of the various proposed artifacts. Closely related to this paper is our previous
work, which investigates how well end-users can cope with the gained
exibility provided by declarative approaches, especially when processes become rather
complex [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ]. While [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ] focuses on the impact of constraints, this paper
investigates the impact of unforeseen events. Also closely related is our work on
the comparison of agile and plan-driven approaches to business process
modeling and execution [
        <xref ref-type="bibr" rid="ref22">22</xref>
        ]. A theoretical discussion on declarative versus imperative
approaches is provided in [
        <xref ref-type="bibr" rid="ref23">23</xref>
        ]. In [
        <xref ref-type="bibr" rid="ref24">24</xref>
        ], the results of a controlled experiment
comparing a traditional work ow management system and case-handling are
described. The systems are compared with respect to their associated
implementation and maintenance e orts. In turn, the impact of work ow technology
on PAIS development and PAIS maintenance is investigated in [
        <xref ref-type="bibr" rid="ref25">25</xref>
        ]. However,
these works primarily focus on traditional work ow technology, while this
paper puts its emphasize on declarative approaches. Other empirical works with
      </p>
      <p>
        Handling Events During Business Process Execution: An Empirical Test 29
respect to PAISs mainly deal with establishing their contribution to business
performance improvement, e.g. [
        <xref ref-type="bibr" rid="ref26 ref27">26, 27</xref>
        ], and the way end-users appreciate such
technologies, e.g., [
        <xref ref-type="bibr" rid="ref28 ref29">28, 29</xref>
        ].
6
      </p>
    </sec>
    <sec id="sec-6">
      <title>Summary and Outlook</title>
      <p>The advantages attributed to declarative processes are manifold, e.g., support
for partial work ows allowing users to defer decisions to run-time, the absence
of over-speci cation as well as more room for end-users to maneuver. However,
their practical application requires the ability to resolve uncertainty and exploit
learning outcomes. This raises the question whether inexperienced users are able
to execute declarative processes especially when unforeseen events occur during
run-time. This work picks up on this demand and contributes a controlled
experiment comparing the process outcome for inexperienced users depending on
the number of events.</p>
      <p>While previous work shows that end-users can e ectively handle varying
levels of constraints when executing a declarative process, this paper demonstrates
that unforeseen events are more problematic. The major result of our experiment
is that process outcomes of inexperienced planners are signi cantly a ected by
unforeseen events which have to be handled during run-time. In particular, the
combination of constraints and events turned out to be challenging for our
subjects. These ndings support the argument that declarative approaches require
experienced users to fully exploit its bene ts.</p>
      <p>For further research we aim to investigate di erent techniques for improving
understandability and maintainability of declarative process models to facilitate
their application by less experienced users. Furthermore, we plan to run
experiments in settings where planning is done in small teams, not individually, and
replicate the experiment with more experienced users.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Poppendieck</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Poppendieck</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          :
          <article-title>Implementing Lean Software Development: From Concept to Cash</article-title>
          . Addison-Wesley (
          <year>2006</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Weske</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <source>Business Process Management: Concepts</source>
          , Methods, Technology. Springer (
          <year>2007</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Mutschler</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Reichert</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bumiller</surname>
          </string-name>
          , J.:
          <article-title>Unleashing the e ectiveness of processoriented information systems: Problem analysis, critical success factors and implications</article-title>
          .
          <source>IEEE Trans. on Systems, Man, and Cybernetics</source>
          <volume>38</volume>
          (
          <year>2008</year>
          )
          <volume>280</volume>
          {
          <fpage>291</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Reichert</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Dadam</surname>
            ,
            <given-names>P.:</given-names>
          </string-name>
          <article-title>ADEPTflex { Supporting Dynamic Changes of Workows Without Losing Control</article-title>
          .
          <source>JIIS 10</source>
          (
          <year>1998</year>
          )
          <volume>93</volume>
          {
          <fpage>129</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Van der Aalst</surname>
          </string-name>
          , W.,
          <string-name>
            <surname>Weske</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          , Grunbauer, D.:
          <article-title>Case handling: A new paradigm for business process support</article-title>
          .
          <source>Data and Knowledge Engineering</source>
          .
          <volume>53</volume>
          (
          <year>2005</year>
          )
          <volume>129</volume>
          {
          <fpage>162</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Pesic</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Schonenberg</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sidorova</surname>
          </string-name>
          , N.,
          <string-name>
            <surname>van der Aalst</surname>
          </string-name>
          , W.:
          <article-title>Constraint-Based Work ow Models: Change Made Easy</article-title>
          .
          <source>In: Proc. CoopIS'07</source>
          . (
          <year>2007</year>
          )
          <volume>77</volume>
          {
          <fpage>94</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Sadiq</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sadiq</surname>
            ,
            <given-names>W.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Orlowska</surname>
            ,
            <given-names>M.:</given-names>
          </string-name>
          <article-title>A Framework for Constraint Speci cation and Validation in Flexible Work ows</article-title>
          .
          <source>Information Systems</source>
          <volume>30</volume>
          (
          <year>2005</year>
          )
          <volume>349</volume>
          {
          <fpage>378</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Weber</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Reichert</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rinderle-Ma</surname>
          </string-name>
          , S.:
          <article-title>Change patterns and change support features -enhancing exibility in process-aware information systems</article-title>
          .
          <source>Data and Knoweldge Engineering</source>
          (
          <year>2008</year>
          )
          <volume>438</volume>
          {
          <fpage>466</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Wainer</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bezerra</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Barthelmess</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          :
          <article-title>Tucupi: a exible work ow system based on overridable constraints</article-title>
          .
          <source>In: Proc. SAC '04</source>
          . (
          <year>2004</year>
          )
          <volume>498</volume>
          {
          <fpage>502</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Weber</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Reijers</surname>
            ,
            <given-names>H.A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zugal</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wild</surname>
            ,
            <given-names>W.:</given-names>
          </string-name>
          <article-title>The declarative approach to business process execution: An empirical test</article-title>
          .
          <source>In: Proc. CAiSE'09</source>
          . (
          <year>2009</year>
          )
          <volume>470</volume>
          {
          <fpage>485</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Highsmith</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Cockburn</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <source>Agile Software Development: The Business of Innovation. IEEE Computer</source>
          <volume>34</volume>
          (
          <year>2001</year>
          )
          <volume>120</volume>
          {
          <fpage>122</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Lindvall</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <article-title>Empirical Findings in Agile Methods</article-title>
          . In: Proc. XP/Agile Universe '
          <fpage>02</fpage>
          . (
          <year>2002</year>
          )
          <volume>197</volume>
          {
          <fpage>207</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>van der Aalst</surname>
          </string-name>
          , W.,
          <string-name>
            <surname>Pesic</surname>
            ,
            <given-names>M.:</given-names>
          </string-name>
          <article-title>DecSerFlow: Towards a Truly Declarative Service Flow Language</article-title>
          .
          <source>Technical report</source>
          , BPMcenter.org (
          <year>2006</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Pesic</surname>
            ,
            <given-names>M.:</given-names>
          </string-name>
          <article-title>Constraint-Based Work ow Management Systems: Shifting Control to Users</article-title>
          .
          <source>PhD thesis</source>
          , Eindhoven University of Technology (
          <year>2008</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <surname>Weber</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zugal</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Pinggera</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wild</surname>
            ,
            <given-names>W.</given-names>
          </string-name>
          :
          <article-title>Experiencing Process Flexibility Patterns with Alaska Simulator</article-title>
          .
          <source>In: Proc. BPMDemos '09</source>
          . (
          <year>2009</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <surname>Wohlin</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Runeson</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Halst</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ohlsson</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Regnell</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wesslen</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Experimentation in Software Engineering: an Introduction</article-title>
          . Kluwer (
          <year>2000</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          17.
          <string-name>
            <surname>Runeson</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          :
          <article-title>Using students as experiment subjects: An analysis on graduate and freshmen student data</article-title>
          .
          <source>In: Proc. EASE'03</source>
          . (
          <year>2003</year>
          )
          <volume>95</volume>
          {
          <fpage>102</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          18.
          <string-name>
            <surname>Fleiss</surname>
            ,
            <given-names>J.L.</given-names>
          </string-name>
          :
          <article-title>Statistical Methods for Rates and Proportions</article-title>
          . Wiley (
          <year>1981</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          19.
          <string-name>
            <surname>Schonenberg</surname>
            , H.,
            <given-names>B.</given-names>
          </string-name>
          <string-name>
            <surname>Weber</surname>
            ,
            <given-names>B.F. van Dongen</given-names>
          </string-name>
          ,
          <string-name>
            <surname>W.</surname>
          </string-name>
          v.d.A.:
          <article-title>Supporting exible processes through recommendations based on history</article-title>
          .
          <source>In: Proc. BPM'08</source>
          . (
          <volume>51</volume>
          -
          <fpage>66</fpage>
          )
          <year>2008</year>
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          20.
          <string-name>
            <surname>Kammer</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bolcer</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Taylor</surname>
          </string-name>
          , R.,
          <string-name>
            <surname>Hitomi</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bergman</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <article-title>Techniques for Supporting Dynamic and Adaptive Work ow</article-title>
          .
          <source>Computer Supported Cooperative Work</source>
          <volume>9</volume>
          (
          <year>2000</year>
          )
          <volume>269</volume>
          {
          <fpage>292</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          21.
          <string-name>
            <surname>Reijers</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rigter</surname>
          </string-name>
          , J., van der Aalst, W.:
          <article-title>The case handling case</article-title>
          .
          <source>International Journal of Cooperative Information Systems</source>
          .
          <volume>12</volume>
          (
          <year>2003</year>
          )
          <volume>365</volume>
          |
          <fpage>391</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          22.
          <string-name>
            <surname>Weber</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Reijers</surname>
            ,
            <given-names>H.A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zugal</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wild</surname>
            ,
            <given-names>W.:</given-names>
          </string-name>
          <article-title>The Declarative Approach to Business Process Execution: An Empirical Test</article-title>
          .
          <source>In: Proc. CAiSE '09</source>
          . (
          <year>2009</year>
          )
          <volume>270</volume>
          {
          <fpage>285</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref23">
        <mixed-citation>
          23.
          <string-name>
            <surname>Fahland</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mendling</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Reijers</surname>
            ,
            <given-names>H.A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Weber</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Weidlich</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zugal</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          :
          <article-title>Declarative versus Imperative Process Modeling Languages: The Issue of Understandability</article-title>
          .
          <source>In: Proc. EMMSAD '09</source>
          . (
          <year>2009</year>
          )
          <volume>353</volume>
          {
          <fpage>366</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref24">
        <mixed-citation>
          24.
          <string-name>
            <surname>Mutschler</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Weber</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Reichert</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <article-title>Work ow management versus case handling - results from a controlled software experiment</article-title>
          .
          <source>In: Proc. SAC'08</source>
          . (
          <year>2008</year>
          )
          <volume>82</volume>
          {
          <fpage>89</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref25">
        <mixed-citation>
          25.
          <string-name>
            <surname>Kleiner</surname>
          </string-name>
          , N.:
          <article-title>Supporting usage{centered work ow design: Why and how?</article-title>
          .
          <source>In: Proc. BPM'04</source>
          . (
          <year>2004</year>
          )
          <volume>227</volume>
          {
          <fpage>243</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref26">
        <mixed-citation>
          26.
          <string-name>
            <surname>Oba</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Onoda</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Komoda</surname>
          </string-name>
          , N.:
          <article-title>Evaluating the quantitative e ects of work ow systems based on real case</article-title>
          .
          <source>In: Proc. HICSS'00</source>
          . (
          <year>2000</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref27">
        <mixed-citation>
          27.
          <string-name>
            <surname>Reijers</surname>
          </string-name>
          , H., van der Aalst, W.:
          <article-title>The e ectiveness of work ow management systems: Predictions and lessons learned</article-title>
          .
          <source>International Journal of Information Management</source>
          <volume>25</volume>
          (
          <year>2005</year>
          )
          <volume>458</volume>
          {
          <fpage>472</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref28">
        <mixed-citation>
          28.
          <string-name>
            <surname>Bowers</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Button</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sharrock</surname>
            ,
            <given-names>W.</given-names>
          </string-name>
          :
          <article-title>Work ow from within and without: technology and cooperative work on the print industry shop oor</article-title>
          .
          <source>In: Proc. CSCW'95</source>
          . (
          <year>1995</year>
          )
          <volume>51</volume>
          {
          <fpage>66</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref29">
        <mixed-citation>
          29.
          <string-name>
            <surname>Poelmans</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          :
          <article-title>Workarounds and distributed viscosity in a work ow system: a case study</article-title>
          .
          <source>ACM SIGGROUP Bulletin</source>
          <volume>20</volume>
          (
          <year>1999</year>
          )
          <volume>11</volume>
          {
          <fpage>12</fpage>
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>