<!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 Flexibility in Virtual Organizations</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Pnina Soffer</string-name>
          <email>spnina@is.haifa.ac.il</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Johny Ghattas</string-name>
          <email>ghattasjohny@gmail.com</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>University of Haifa, Carmel Mountain 31905</institution>
          ,
          <addr-line>Haifa</addr-line>
          ,
          <country country="IL">Israel</country>
        </aff>
      </contrib-group>
      <fpage>188</fpage>
      <lpage>197</lpage>
      <abstract>
        <p>Virtual organizations are perceived as a means for achieving flexibility. However, shared inter-organizational business processes may pose additional constraints on the internal processes of an organization and reduce their flexibility. The paper builds on a conceptual model of business processes in a virtual organization. The model aimes at identifying a minimal process definition to support the collaborative process while allowing flexibility of the internal processes. The model is informally presented through a case study of an inter-library loan process, and its implications on flexibility are discussed.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1 Introduction</title>
      <sec id="sec-1-1">
        <title>Virtual organizations are perceived as a means for achieving flexibility. The</title>
        <p>
          formation of a virtual organization allows a partner organization to focus on core
competencies while outsourcing various operations [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ]. Flexibility is achieved by the
ability to expand the variety of products and services offered to the customer, the
ability to switch partners and select the appropriate partners for a given task.
        </p>
      </sec>
      <sec id="sec-1-2">
        <title>However, shared business processes may pose additional constraints on the internal processes of an organization. The necessity to perform in coordination with other organizations and the resulting obligations may lead to a higher rigidity of the possible processes.</title>
      </sec>
      <sec id="sec-1-3">
        <title>Various mechanisms at various levels of detail have been proposed for achieving</title>
        <p>
          interoperability or shared business processes among organizations. Most of them
focus on implementation details (e.g., [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ]). We claim that an implementation solution
must rely on a solid conceptual model, depicting the essence of shared business
processes and interoperability.
        </p>
        <p>
          A key issue discussed in the literature with respect to virtual organizations and
inter-organizational processes is the required balance between trust and control,
visibility and privacy. Addressing this delicate balance, solutions vary from complete
central control to pure distribution. [
          <xref ref-type="bibr" rid="ref11">11</xref>
          ][
          <xref ref-type="bibr" rid="ref12">12</xref>
          ][
          <xref ref-type="bibr" rid="ref13">13</xref>
          ][
          <xref ref-type="bibr" rid="ref21">21</xref>
          ][
          <xref ref-type="bibr" rid="ref14">14</xref>
          ][
          <xref ref-type="bibr" rid="ref10">10</xref>
          ] propose models where
an inter-organizational workflow is defined as part or as result of a contract between
organizations. The organizations are then contractually committed to the defined
workflow (or to a partial definition). Different levels of visibility of a partner’s
internal process by the other partners at run time are also proposed and supported. In
general, a high degree of central control and required visibility imposes constraints on
the internal operations of an organization, thus reduces its flexibility.
        </p>
        <p>
          This paper builds on a conceptual model of shared processes in a virtual
organization, proposed by [
          <xref ref-type="bibr" rid="ref8">8</xref>
          ]. The conceptual model aims at identifying the minimal
definition required to enable a smooth operation of shared processes, while allowing
the partners a maximal degree of privacy and flexibility. The model is based on the
formal Generic Process Model (GPM) and Bunge’s ontology. In this paper we
informally present it through a case study of an inter-library loan process, and discuss
its implications on business process flexibility.
        </p>
      </sec>
      <sec id="sec-1-4">
        <title>The remainder of the paper is structured as follows: Section 2 briefly introduces the main concepts of GPM, as a basis for the analysis of the case study, which is presented in Section 3. Section 4 discusses the model with respect to the flexibility it enables, and conclusions are presented in Section 5.</title>
      </sec>
    </sec>
    <sec id="sec-2">
      <title>2 The Generic Process Model</title>
      <sec id="sec-2-1">
        <title>GPM is based on Bunge’s ontology [3][4], as adapted for information systems modeling (e.g., [18][20]), for conceptual modeling, and for modeling business process concepts.</title>
        <p>According to the ontological framework, the world is made of things that possess
properties. Properties are perceived by humans in terms of attributes, which can be
represented as functions on time. The state of a thing is the set of values of all its
attribute functions (also termed state variables). When properties of things change,
these changes are manifested as state changes or events. State changes can happen
either due to internal transformations in things (self action of a thing) or due to
interactions among things. The rules governing possible states and state changes are
termed state laws and transition laws, respectively. States can be classified as being
stable or unstable, where an unstable state is a state that must change by law, and a
stable state is a state that can only change as a result of an action of something
external to the thing or the domain.</p>
        <sec id="sec-2-1-1">
          <title>A domain is a part of the world, namely, a set of things and their interactions. It is</title>
          <p>represented by a set of state variables, whose values represent the state of the domain
at a moment in time. A sub-domain is a part of the domain, represented by a subset of
the domain state variables. A sub-domain may be in a stable state while the entire
domain is in an unstable state, meaning that a different part of the domain is currently
subject to changes.</p>
        </sec>
        <sec id="sec-2-1-2">
          <title>A process is a sequence of unstable states, transforming by law until a stable state</title>
          <p>is reached. A process is defined over a domain, which sets the boundaries of what is in
a stable or an unstable state. Events that occur outside the domain are external events
and they can activate the domain when it is in a stable state.</p>
          <p>A process model in GPM is a quadruple &lt;S, L, I, G&gt;, where S is a set of states
representing the domain of the process; L is the law, specified as mapping between
subsets of states; I is a subset of unstable states, which are the initial states of the
process after a triggering external event has occurred; G is a subset of stable states,
which are the goal of the process. Subsets of states are specified by conditions over
the state variables of the domain. Hence, a process starts when a certain condition on
the state of the domain holds, and ends when its goal is reached, i.e., when another
condition specified on the state of the domain holds.</p>
        </sec>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>3 The Inter-Library Loan Case Study</title>
      <sec id="sec-3-1">
        <title>This section presents a case study of an inter-library loan process, as an example of a virtual organization (VO) business process.</title>
      </sec>
      <sec id="sec-3-2">
        <title>Libraries partner with each other in order to share items, collections, journals and thus provide their customers maximum accessibility to interesting items. This process must be as transparent as possible to all customers (except for inevitable costs and delivery time issues).</title>
        <p>The Inter Library Loan (ILL) process is triggered by customers, i.e., students or
researchers in research centers, universities, colleges etc. The customer asks for an
item from a virtual catalogue that includes all available items locally and within the
association. If the item is available locally, it is provided by the local library. If not,
the information system of the local library shall search for tentative providers through
the catalogue and rank them according to a set of parameters, such as delivery time,
quality, price, etc. The system sends a request to the first ranked tentative provider
and waits for response. Different scenarios may occur: the provider may accept the
request and notify the requester, who should pay for the service before delivery is
made by the provider. An alternative scenario is when the tentative provider does not
respond within a given period of time. The request is timed-out and the requester may
initiate a request to another tentative provider. All this process logic is normally
established at the level of the consortium / association and each partner that joins the
consortium agrees to comply with it.</p>
      </sec>
      <sec id="sec-3-3">
        <title>Every partner library can play one of two roles in each occurrence of the ILL</title>
        <p>process: a requester or a provider. Figure 1 and Figure 2 present example state flows
of a requester and a provider in the ILL process, respectively.</p>
        <p>
          Each of the parties has its own private process that takes place within its domain of
control, and has a defined (local) goal. These private processes entail states where
interaction with a partner takes place. Figures 1 and 2 distinguish “internal” from
interaction states, where each can be stable or unstable. We take a special interest in
the interaction states. In GPM terms, a stable interaction state is a discontinuity point
[
          <xref ref-type="bibr" rid="ref16">16</xref>
          ], where the process domain is in a stable state waiting for an external event to
reactivate it so it can progress towards its goal. Specifically, the expected external
event should be a result of an action of the other party. An unstable interaction state is
a state that follows an external event, originated by the other party. Note that every
stable interaction state in one of the figures has a corresponding unstable interaction
state in the other figure.
        </p>
        <p>Customer
confirms
receipt
Requester
cancels
request
Delivery
Waiting
Timeout</p>
        <p>Provider’s
delivery
notification</p>
        <p>Item delivered</p>
        <p>Delivery to
customer</p>
        <p>Item
Receiving
Confirmed
Request
Timeout</p>
        <p>Requester cancels
request
Request
response
timer’s event
Legend:</p>
        <p>Unstable
internal states
Stable internal
states
Stable
Interaction
states
Unstable
Interaction
states</p>
        <p>Request
Rejected
Payment
Enquiry
Received
Request
received
from end-user</p>
        <p>Select tentative providers</p>
        <p>Customer Requests an Item</p>
        <p>Pick next
tentative
Provider
Provider confirms
cancellation</p>
        <p>Tentative
Providers
selected</p>
        <p>Idle
Provider
confirms
cancellation
Select Next
Tentative
Provider</p>
        <p>RequesterCustomer cancellation
sends request
to provider
Process states
(requester side)</p>
      </sec>
      <sec id="sec-3-4">
        <title>In order to streamline the overall VO process and to assure its validity as well as</title>
        <p>the validity of the private processes of each partner, these interaction points need to be
defined and coordinated. Coupling the corresponding interaction states of Figures 1
and 2 yields the states specified in Figure 3, which are the shared states of the
requester and the provider.</p>
        <p>Request
Sent to
provider
Request
rejected</p>
        <p>Request
cancelled</p>
        <p>Shared state definition</p>
      </sec>
      <sec id="sec-3-5">
        <title>The specification of the shared states is intended to define the state variables that</title>
        <p>are known to both parties and their required values. In fact, it sets the format of the
message to be passed between the parties. For example, the shared state of Request
sent to provider is specified by the following state variables: Request status whose
value is “sent to tentative provider”, state variables holding the provider details and
the details of the request, which are Order ID, Order issuing time, Item details,
Customer details, Required delivery options, and a state variable indicating the status
of the Request response timer, which is initiated once the order is sent. The values of
these state variables are set by the requester. This definition includes all the
information needed for the provider to process the request and respond to it. The
provider is expected to respond by changing the value of the Request status state
variable (to “rejected” or “accepted”).</p>
        <p>A complete definition and agreement of both parties regarding the shared states is
necessary in order to facilitate the collaboration between the organizations. Consider,
for example, a situation where the request is for a soft-copy of an item to be sent by
email, but the provider’s process does not consider the Required delivery options state
variable, and is capable only of sending hard copies. Including this state variable in
the shared state definition and specifying its possible values should be a result of the
negotiation between the parties during the VO formation.</p>
        <p>Constraints on Quality of Service parameters</p>
        <p>While the above discussed definition of the shared states is necessary for achieving
the goal of the overall process (and of the internal processes of the parties), it is not
enough for this process to achieve a desired quality of service. QoS relates to state
variables which can indicate the desirability of different states where the process has
achieved its goal. For example, consider two possible states where the customer has
confirmed receiving the item, namely the process has reached its goal. However, one
state is where the customer has received the item within two days, and the other is
where it took a month for the item to arrive.</p>
      </sec>
      <sec id="sec-3-6">
        <title>Setting constraints on the QoS of the entire process constrains the values of</title>
        <p>specific state variables in the internal processes of the parties. These constraints
should be negotiated and agreed upon. As well, the definition of the shared states
should include state variables which are relevant for these constraints.</p>
      </sec>
      <sec id="sec-3-7">
        <title>In the ILL case study, the main QoS parameter identified is order processing time.</title>
        <sec id="sec-3-7-1">
          <title>Hence, an upper threshold, Max order processing time, was defined, depending on</title>
          <p>possible service levels offered to the customers. As a result, constraints were defined
with respect to time taken for specific parts of the process. In particular, these
constraints relate to phases where one party is in a stable “waiting” state while the
other party is active. Furthermore, both parties share the overall constraint on the
order processing time.</p>
        </sec>
      </sec>
      <sec id="sec-3-8">
        <title>Note that in this case no penalty was set for not meeting the constraint. However, it</title>
        <p>is possible to define such penalty as part of the shared state definition.</p>
        <p>Table 1 specifies the shared states of Figure 3, including QoS constraints and their
related state variables. The table specifies the relevant state variables, their required
values, the party responsible for achieving them, the party triggered to action as a
result, and QoS constraints (where T1 – T5 are defined time thresholds). Note that the
last two states (Item received by requester and Item delivered to customer) are
identical in their shared definition, but different in the internal state variables of the
requester, whose expected action in response to each state is different.
Obligations</p>
      </sec>
      <sec id="sec-3-9">
        <title>The overall VO process, spanning at least two parties, is not centrally mandated, nor can it be entirely viewed by a single party. The partner organizations of the VO should commit themselves to their required parts of the process in order to establish</title>
        <p>Request status = canceled</p>
        <p>Requester
State definition
Request status =sent to
tentative provider;
Provider details;
Request details (order ID,
Order issuing time, customer
details, delivery options);
Required service level (Max
order processing time, item
quality);
Request response Timer=
Initiated;
Request status = rejected
Request status = accepted;
Payment waiting timer=
initiated;
Order processing elapsed
time= updated
Payment status = completed;
Delivery waiting timer=
initiated
Order processing elapsed
time= updated
Payment status= enquiry;
Payment waiting Timer=
initiated;
Delivery status= enquiry;
Delivery waiting Timer=
initiated;
Order processing elapsed
time updated
the necessary trust among the partners, so a commitment to an end-customer can be
made. Once negotiation and shared state definitions are completed, including
agreement on QoS constraints, the partners should make an obligation to these states.
State
Request
sent to
provider
Request
rejected
Request
canceled
Request
accepted
Payment
done
Payment
enquiry
Delivery
enquiry</p>
      </sec>
      <sec id="sec-3-10">
        <title>In GPM terms, an obligation means that the law operating in each private organizational domain is designed to achieve the agreed upon states. Based on the</title>
        <p>obligations made, although an observer cannot see the details of the entire end-to-end
VO process, he has some information about it, which reduces uncertainty. An
observer knows the entire process is designed so that certain events will take place,
complying with certain constraints, leading to the obliged shared states, and
eventually to the goal of the process. This is in spite of the fact that the internal
process of each partner is completely private, and independently of the means by
which the obligation is made (e.g., contract, human agreement).</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>4 Discussion</title>
      <sec id="sec-4-1">
        <title>The proposed model, as demonstrated through the ILL case study, provides a minimal definition that facilitates the operation of a VO business process. At the same time it allows maximal privacy and flexibility in the internal processes of the participating organizations.</title>
        <p>
          The literature dealing with inter-organizational business processes addresses both
infrastructure and process models. Infrastructures, such as XRL/flower [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ], may
support flexibility and autonomy of the participating organizations. However, a
specific process model should be designed and operated on top of the infrastructure,
and constraints may be formed through this design. Comparing our model to other
models proposed for inter-organizational processes in general and VO processes in
particular, most of these models impose stricter constraints on the internal processes
of the participants.
        </p>
        <p>
          [
          <xref ref-type="bibr" rid="ref11">11</xref>
          ][
          <xref ref-type="bibr" rid="ref12">12</xref>
          ][
          <xref ref-type="bibr" rid="ref13">13</xref>
          ][
          <xref ref-type="bibr" rid="ref21">21</xref>
          ] address legal contracts between parties (organizations), and show
how a detailed workflow can be derived from a contract. They also provide rules for
matching the contract-based workflow with the existing organizational business
processes. The contract-based workflow relates to the entire process, thus it allows no
flexibility to a single organization for changing the process or deviating from it in
specific cases.
        </p>
      </sec>
      <sec id="sec-4-2">
        <title>In [14] privacy of organizational processes is maintained at run time, limiting the</title>
        <p>visibility of the internal process. However, the entire workflow has to be defined at
build time, when a contract between the parties is established. Being contractually
obligated to the workflow model, the flexibility of the parties is limited.</p>
      </sec>
      <sec id="sec-4-3">
        <title>In [10], the contract specifies the internal process of the “service provider” party and required interface between the organizations, and allows limited visibility of the provider process. Here the process flexibility is reduced only for the “provider” party, and not for the other side.</title>
      </sec>
      <sec id="sec-4-4">
        <title>The PRODNET project [5] is aimed at facilitating autonomy and heterogeneity of</title>
        <p>the organizations. However, their solution is based on a central mandating and
coordinating party, to whom all parties must report. This requirement forms a
limitation on the privacy and autonomy of the participants.</p>
      </sec>
      <sec id="sec-4-5">
        <title>A model that facilitates the autonomy of partners through workflow views and inheritance is proposed by [1]. This model allows a relatively high level of flexibility to the partners. However, our model, unlike [1], addresses QoS parameters and constraints as well as the process flow.</title>
      </sec>
      <sec id="sec-4-6">
        <title>Autonomy of the partners is also facilitated by the ebXML BPSS model [7].</title>
        <p>
          However, this model is more detailed and less generic than ours. Its evaluation on the
basis of Bunge’s ontology [
          <xref ref-type="bibr" rid="ref9">9</xref>
          ] indicates a lack of ontological completeness as well as
clarity, which may lead to modeling and interpretation difficulties. Specifically, the
identified construct redundancy may imply that some ebXML BPSS constructs can be
generalized and yield a more concise and clear model. The over-specification of
ebXML can also be viewed as being rigid. For example, specific QoS parameters are
part of the model, while there is no construct that allows the inclusion of others.
        </p>
        <p>
          Clearly, when more constraints are imposed by the inter-organizational process,
less flexibility can exist in the internal processes of an organization [
          <xref ref-type="bibr" rid="ref18">18</xref>
          ]. This rigidity
applies to both process types and process instances [
          <xref ref-type="bibr" rid="ref15">15</xref>
          ]. The rigidity of the process
type relates to (a) process design, when a new process type is designed in
collaboration with the other parties; (b) the transformation of an existing process to an
inter-organizational one, which requires matching the process details with the
agreedupon process [
          <xref ref-type="bibr" rid="ref21">21</xref>
          ]; and (c) modifications made to an existing process type, which
must be coordinated with the other partners. The rigidity of the process instances is a
result of the lack of freedom to deviate from the agreed upon process in exceptional
situations, besides predefined agreed-upon exceptions.
        </p>
      </sec>
      <sec id="sec-4-7">
        <title>Our model, in contrast, allows a partner organization to design and modify its</title>
        <p>
          internal process type and to deviate in specific instances, as long as the obligation to
the shared states is kept. Within the boundaries of the obligations, any kind of change
is possible, relating to all possible subjects (perspectives [
          <xref ref-type="bibr" rid="ref15">15</xref>
          ]) and having different
properties (e.g., extent, duration [
          <xref ref-type="bibr" rid="ref15">15</xref>
          ]).
        </p>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>5 Conclusion</title>
      <sec id="sec-5-1">
        <title>Flexibility, among many other benefits, is frequently associated with the formation</title>
        <p>of a virtual organization. However, shared inter-organizational processes may impose
constraints on the internal processes of an organization and reduce their flexibility.</p>
      </sec>
      <sec id="sec-5-2">
        <title>The case study presented in the paper demonstrates a minimal definition of a VO</title>
        <p>collaboration. It facilitates the achievement of the VO process goal, while allowing
maximal flexibility in the partner’s internal processes. We show that a process
definition is possible despite the complete privacy and autonomy of the partner
processes.</p>
      </sec>
      <sec id="sec-5-3">
        <title>The underlying model to our approach is GPM, whose formality enables a precise</title>
        <p>definition of the terms involved, and process analysis possibilities.</p>
      </sec>
      <sec id="sec-5-4">
        <title>Future research will address the implications of our models in terms of possible implementation solutions and systems supporting inter-organizational processes.</title>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <surname>Aalst</surname>
          </string-name>
          , W. M. P, van der.
          <source>and Weske</source>
          ,
          <string-name>
            <surname>M.</surname>
          </string-name>
          ,
          <year>2001</year>
          ,
          <article-title>The P2P Approach to Interorganizational Workflows</article-title>
          ,
          <source>Proceedings of CAiSE'01 (LNCS</source>
          <year>2068</year>
          ), Springer-Verlag Berlin p.
          <fpage>140</fpage>
          -
          <lpage>156</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <surname>Aalst</surname>
          </string-name>
          , W. M. P, van der. And
          <string-name>
            <surname>Kumar</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <year>2003</year>
          ,
          <article-title>XML-Based Schema Definition for Support of Interorganizational Workflow</article-title>
          ,
          <source>Information Systems Research</source>
          <volume>14</volume>
          (
          <issue>1</issue>
          ), p.
          <fpage>23</fpage>
          -
          <lpage>46</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <surname>Bunge</surname>
            ,
            <given-names>M..</given-names>
          </string-name>
          ,
          <year>1977</year>
          , Treatise on Basic Philosophy: Volume
          <volume>3</volume>
          :
          <article-title>Ontology 1: The furniture of the world</article-title>
          . Reidel, Boston.
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <surname>Bunge. M.</surname>
          </string-name>
          ,
          <year>1979</year>
          , Treatise on Basic Philosophy: Vol.
          <volume>4</volume>
          ,
          <string-name>
            <surname>Ontology</surname>
            <given-names>II</given-names>
          </string-name>
          : A World of Systems, Reidel, Boston.
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <surname>Camarinha-Matos</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          <article-title>M; Afsarmanesh</article-title>
          ,
          <string-name>
            <surname>H.</surname>
          </string-name>
          <source>(Ed.s)</source>
          ,
          <year>1999</year>
          ,
          <article-title>Infrastructures for virtual enterprises -Networking industrial enterprises</article-title>
          , Kluwer Academic Publishers.
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <surname>Chesbrough</surname>
            ,
            <given-names>H.W.</given-names>
          </string-name>
          , and
          <string-name>
            <surname>Teece</surname>
            ,
            <given-names>D.J.</given-names>
          </string-name>
          ,
          <year>1996</year>
          ,
          <article-title>When is virtual virtuous? Organizing for innovation</article-title>
          ,
          <source>Harvard Business Review</source>
          ,
          <volume>74</volume>
          (
          <issue>1</issue>
          ), p.
          <fpage>65</fpage>
          -
          <lpage>73</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          <article-title>[7] EbXML BPSS specification, www</article-title>
          .ebXML.org, Feb.
          <year>2006</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <surname>Ghattas</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <year>2006</year>
          ,
          <string-name>
            <surname>Business</surname>
          </string-name>
          <article-title>Processes in Virtual organizations: an Ontology-Based Conceptual Model</article-title>
          , MA Thesis, University of Haifa
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <surname>Green</surname>
            ,
            <given-names>P. F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rosemann</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Indulska</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <year>2005</year>
          ,
          <article-title>Ontological Evaluation of Enterprise Systems Interoperability Using ebXML</article-title>
          ,
          <source>IEEE Transactions on Knowledge and Data Engineering</source>
          <volume>17</volume>
          (
          <issue>5</issue>
          ), p.
          <fpage>713</fpage>
          -
          <lpage>725</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <surname>Grefen</surname>
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Abere</surname>
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Hoffner</surname>
            <given-names>Y</given-names>
          </string-name>
          . And
          <string-name>
            <surname>Ludwig H</surname>
          </string-name>
          .,
          <year>2000</year>
          , CrossFlow: CrossOrganizational Workflow Management in Dynamic Virtual Enterprises,
          <source>International Journal of Computer Systems Science &amp; Engineering</source>
          ,
          <volume>15</volume>
          (
          <issue>5</issue>
          ), p.
          <fpage>277</fpage>
          -
          <lpage>290</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <surname>Kabilan</surname>
            <given-names>V.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Johannesson</surname>
            <given-names>P.</given-names>
          </string-name>
          ,
          <year>2003</year>
          ,
          <article-title>Semantic Representation of Contract Knowledge using Multi Tier Ontology</article-title>
          ,
          <source>Proceedings of Semantic Web and Databases Workshop</source>
          , (SWDB
          <year>2003</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <surname>Kabilan</surname>
            <given-names>V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Johannesson</surname>
            <given-names>P.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Rugaimukammu</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <year>2003</year>
          ,
          <article-title>Business Contract Obligation Monitoring through Use of Multi-tier contract ontology</article-title>
          ,
          <source>Proceedings of Workshop on Regulatory Ontologies (Worm Core</source>
          <year>2003</year>
          ), Italy,
          <source>(LNCS 2889)</source>
          , Springer-Verlag, Berlin
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <surname>Kabilan</surname>
            <given-names>V.</given-names>
          </string-name>
          ,
          <year>2005</year>
          ,
          <string-name>
            <given-names>Contract</given-names>
            <surname>Workflow Model Patterns Using</surname>
          </string-name>
          <string-name>
            <surname>BPMN</surname>
          </string-name>
          ,
          <source>EMMSAD'05, Proceedings of CAiSE'05</source>
          workshops Vol.
          <volume>1</volume>
          ,
          <string-name>
            <surname>Porto</surname>
          </string-name>
          , Portugal, p.
          <fpage>557</fpage>
          -
          <lpage>568</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <surname>Kafeza</surname>
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Chiu D. K</surname>
          </string-name>
          .W. and
          <string-name>
            <surname>Kafeza</surname>
            <given-names>I.</given-names>
          </string-name>
          ,
          <year>2001</year>
          ,
          <article-title>View-Based Contracts in an E-Service Cross-Organizational Workflow Environment</article-title>
          ,
          <source>Proceedings of TES 2001 (LNCS 2193)</source>
          , Springer-Verlag, Berlin, p.
          <fpage>74</fpage>
          -
          <lpage>88</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <surname>Regev</surname>
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Soffer</surname>
            <given-names>P.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Schmidt</surname>
            <given-names>R.</given-names>
          </string-name>
          ,
          <year>2006</year>
          , Taxonomy of Flexibility in Business Processes, http://lamswww.epfl.ch/conference/bpmds06/taxbpflex.
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          [16]
          <string-name>
            <surname>Soffer</surname>
            <given-names>P.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Wand</surname>
            <given-names>Y.</given-names>
          </string-name>
          ,
          <year>2004</year>
          ,
          <article-title>Goal-driven Analysis of Process Model Validity</article-title>
          ,
          <source>Advanced Information Systems Engineering (CAiSE'04) (LNCS 3084)</source>
          , p.
          <fpage>521</fpage>
          -
          <lpage>535</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          [17]
          <string-name>
            <surname>Soffer</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          , and
          <string-name>
            <surname>Wand</surname>
            ,
            <given-names>Y.</given-names>
          </string-name>
          ,
          <article-title>On the Notion of Soft Goals in Business Process Modeling</article-title>
          ,
          <source>Business Process Management Journal</source>
          <volume>11</volume>
          (
          <issue>6</issue>
          ), p.
          <fpage>663</fpage>
          -
          <lpage>679</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          [18]
          <string-name>
            <surname>Soffer</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <year>2005</year>
          ,
          <article-title>On the Notion of Flexibility in Business Processes</article-title>
          ,
          <source>Proceedings of the CAiSE'05 Workshops</source>
          , p.
          <fpage>35</fpage>
          -
          <lpage>42</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          [19]
          <string-name>
            <surname>Wand</surname>
            ,
            <given-names>Y.</given-names>
          </string-name>
          and.
          <string-name>
            <surname>Weber</surname>
            ,
            <given-names>R</given-names>
          </string-name>
          ,
          <year>1990</year>
          ,
          <article-title>An Ontological Model of an Information System</article-title>
          ,
          <source>IEEE Transactions on Software Engineering</source>
          , Vol.
          <volume>16</volume>
          , No.
          <volume>11</volume>
          , pp.
          <fpage>1282</fpage>
          -
          <lpage>1292</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          [20]
          <string-name>
            <surname>Wand</surname>
            <given-names>Y</given-names>
          </string-name>
          , and
          <string-name>
            <surname>Weber</surname>
            <given-names>R</given-names>
          </string-name>
          ,
          <year>1993</year>
          ,
          <article-title>On the ontological expressiveness of information systems analysis and design grammars</article-title>
          .
          <source>J. Inform. Syst</source>
          .
          <year>1993</year>
          ;
          <volume>3</volume>
          :
          <fpage>217</fpage>
          -
          <lpage>237</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          [21]
          <string-name>
            <surname>Zdravkovic</surname>
            <given-names>J.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Kabilan</surname>
            <given-names>V.</given-names>
          </string-name>
          ,
          <year>2005</year>
          ,
          <string-name>
            <given-names>Enabling</given-names>
            <surname>Business Process Interoperability Using Contract Workflow Models</surname>
          </string-name>
          ,
          <article-title>On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and</article-title>
          <string-name>
            <surname>ODBASE: OTM Confederated International</surname>
            <given-names>Conferences</given-names>
          </string-name>
          , Cyprus (LNCS 3760) Springer-Verlag, Berlin, p.
          <fpage>77</fpage>
          -
          <lpage>93</lpage>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>