<!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>An MDA Approach for Process-Based Collaborative Systems Development</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Khoutir bouchbout USTBH</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Algiers</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Algeria kbouchbout@gmail.com</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Nassim Ikhlef USTHB</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Algiers</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Algeria</string-name>
        </contrib>
      </contrib-group>
      <pub-date>
        <year>2014</year>
      </pub-date>
      <fpage>2</fpage>
      <lpage>4</lpage>
      <abstract>
        <p>- Since some years ago, an increased competition forces organizations to concentrate on core competencies and to collaborate closely with other organizations. The paper proposes a model-driven approach to design collaborative systems. This approach focuses on the collaborative business process modelling and the generation of the partner's private process models. To do so, we propose a framework with three layers: an organizational layer, that focuses on collaborative business, a conceptual layer, to define the business process, and a technology layer, aimed at process execution. To this aim, inter-organizational interactions (information exchanges) are modelled based on business processes and Web services. Finally, we validate our proposition with implementation of an e-ordering system.</p>
      </abstract>
      <kwd-group>
        <kwd>- Collaborative business process</kwd>
        <kwd>MDA approach</kwd>
        <kwd>Web services</kwd>
        <kwd>E-ordering system</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. INTRODUCTION</title>
      <p>
        Modern business process management
expands to cover the partner organizations’
business processes across organizational
boundaries [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ], and thereby supports
organizations to coordinate the flow of
information among organizations and link their
business processes, forming a Collaborative
Business Processes (CBP). Henceforth, there
is a need for supporting and modelling CBP
enabling the joint execution of business
collaboration. Moreover, in order to enable
CBPs, information exchanges must increase
among all business applications involved to
achieve visibility of collaborative systems.
      </p>
      <p>
        Business-to-Business (B2B) interactions
are declined under different ways and using
different technologies, listed from old to recent
as follows: (1) exchanging data via traditional
means such as fax, phone, and mail; (2) using
Electronic Data Interchange or email for data
interchange; (3) utilizing private or public
exchanges to share business process
information; and (4) deploying Web services
and business process management (BPM)
tools to coordinate loosely coupled services
into integrated cross-organizational processes
with real-time data sharing [
        <xref ref-type="bibr" rid="ref3 ref9">3,9</xref>
        ].
Consequently, designing such collaborative
system has raised growing interest among
information systems researchers. This is a
hard work task and must be based on
standards and open technologies to support
loose coupling, autonomy, flexibility, and
ensuring trust and security [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ].
      </p>
      <p>In this work, we mainly focus on the use
of business process modelling and Web
services standards in support of B2B
collaborations. So, we propose a design
framework in a top-down manner, beginning
with the collaborative (inter-enterprise) level as
main business process template and after the
private (intra-enterprise) level as their
subprocesses.</p>
      <p>The structure of this document is as
follows. In section 2, we discuss the basic
concepts of collaborative business process.
Section 3 analyses the current literature on
B2B collaboration design frameworks.
Subsequently, section 4 is the main
contribution of this paper, as it presents the
details of our framework. Next, section 5
assesses the capabilities of proposed solution.
Finally, section 6 draws some conclusions and
outlines some further research activities.
Seller ‘s
Private
Process
Seller ‘s
Public
Process
2. COLLABORATIVE BUSINESS PROCESS
Recently, CBP are turning to be an important
issue of contemporary BPM. To explain
specifics of CBP modelling, we will discuss
their requirements.
2.1. Characteristics of Collaborative</p>
      <p>
        Business Process
CBP comprise activities executed by different
organizations that are working together to
reach a common business objective. So, CBP
usually do not have a centralized control
instance or process owner [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]. Besides, it
depicts the different roles involved in the
collaboration and their specific responsibilities
with regard to the collaboration scenario.
Hence, it requires an agreement on how to
interact and exchange information, business
documents and messages between business
partners.
      </p>
      <p>In addition, the privacy and autonomy
requirements are at the top priority of
participant’s organizations. Having this
concern in mind, each involved organization
has to implement not only its private
processes but also its external behavior,
allowing better separation of the information
density of different areas of concern. So, three
different concepts are defined: Private
(internal), Public (abstract or view) and
Collaborative (cross- or inter-organizational)
processes. In order to illustrate these different
process categories, Figure 1 presents
Business Process Modeling Notation (BPMN)
activities of an ordering process where buyer
and seller businesses collaborating together.
2.2. Collaborative Business Process</p>
      <p>
        Modelling Languages
Although modeling CBP is a complex task,
many research efforts have been based on
approaches for distributed Workflow
management, e.g. [
        <xref ref-type="bibr" rid="ref1 ref10 ref11 ref17 ref3 ref8">1,3,8,10,17</xref>
        ], current
extensions of process language [
        <xref ref-type="bibr" rid="ref22">22</xref>
        ], and B2B
standards like ebXML- electronic business
using eXtensible Markup Language [
        <xref ref-type="bibr" rid="ref10 ref11">10</xref>
        ], but
has been limited to a single view point at time
(e.g. process layer) and they do not fulfill the
collaborative interactions issues with multiple
view points (both business and technological
levels). This is so because they should
represent multiple actors participating in each
collaborative task while keeping consistency of
the overall processes. Hence, most of the
process languages such as UML AD – UML
Activity Diagrams [
        <xref ref-type="bibr" rid="ref10 ref11 ref7">7,10</xref>
        ], EPC – Event-driven
Process Chain, BPMN [
        <xref ref-type="bibr" rid="ref19">19</xref>
        ], BPEL – Business
Process Execution Language [
        <xref ref-type="bibr" rid="ref21">21</xref>
        ] and Web
Service Choreography Description Language
[
        <xref ref-type="bibr" rid="ref10 ref11">10</xref>
        ] provide insufficient support for modelling
CBP and do not offer a collaborative and
integrated modelling framework comprising all
levels of abstraction.
      </p>
      <p>
        Having these considerations in mind,
our approach provides an UML profile [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]
ensuring more expressive power for CBP
modeling. It provides a high level of
abstraction on which the partners first agree
on the business goals of their collaboration. It
should cover comprehensive aspects of CBP
specifics such as interaction flow, partner’s
role, message exchanges, public and private
activities.
      </p>
    </sec>
    <sec id="sec-2">
      <title>3. RELATED WORK</title>
      <p>
        The recent years brought a vast number of
publications around the collaborative systems
topic. We will briefly refer to some of them
which are achieved in the field of
interorganizational Workflows or B2B
collaborations [
        <xref ref-type="bibr" rid="ref1 ref13 ref15 ref16 ref17 ref22 ref23">1,13,17,23,15,16,22</xref>
        ]. However,
in contrast to this paper, they miss some
research clearly addressing holistically the
collaborative systems design at business,
process and technological levels. They are
also rather vague.
      </p>
      <p>
        Legner et al. [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ] have presented a
method for modelling inter-organizational
processes and deriving business services in
three steps. A framework of conceptual
interorganizational business modelling is then
defined containing a public process model
which serves as reference for the participating
organizations (Step 1). Then, the existing
private processes have to be assigned and
eventually aligned to the agreed public
process model (Step 2). After that, the public
process interface is realized by business
services leveraging web service technology
(Step 3). The business process model is used
to derive XML-based business documents that
are exchanged between business services. In
addition, private process modules are
transformed into workflows for business
process automation which can be
implemented using BPEL.
      </p>
      <p>
        Another relevant contribution in this
area is the proposal made by Huemer et al.
[
        <xref ref-type="bibr" rid="ref15">15</xref>
        ]. They have developed a methodology
dealing with collaborative processes called
United Nations/CEFACT Modelling
Methodology (UMM). UMM specifies
collaborative business processes involving
information exchange in a technology neutral,
implementation-independent manner. UMM is
a UML modelling approach for global
choreographies of B2B scenarios. It is a
topdown approach that makes use of worksheets
to capture domain requirements. UMM do not
provide a complete development process to
generate CBP executions. It only provides a
development process for modelling
technology-independent CBP.
      </p>
      <p>
        The work of Touzi et al. [
        <xref ref-type="bibr" rid="ref22">22</xref>
        ], has
proposed a model-driven approach to design a
collaborative information system (CIS)
dedicated to deal with exchanged data, shared
services and collaborative processes. The CIS
design crosses the different abstraction layers
(business, logic and technological) and
exploits at each level the associated models to
build the models of the next level. The model
of a CBP is BPMN-oriented and based on the
SOA (Service Oriented Architecture). Its
metamodel has been defined by referencing the
BPMN specifications as well as the CBP
aspects.
      </p>
      <p>
        The framework proposed by Ziemann et al.
[
        <xref ref-type="bibr" rid="ref23">23</xref>
        ] presents a method for the creation of
collaborative process on a conceptual level.
They described how cross-organizational
business processes can be modelled and
transformed to technical process models in the
form of Web Service protocols. Their
framework can be instantiated using EPCs
(design phase) and BPEL (implementation
phase) to describe models in different life
cycle phases and demonstrated the transitions
between these phases. However, a
description of how organizational roles can be
communicated to partners is missed.
      </p>
      <p>
        Greiner et al.’s work [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ] describes the
designing and the implementing of
crossorganizational business processes including
different levels of technical detail: the business
level, the technical level and the execution
level. They identify how the mappings and the
transformations are needed among private
process, view process and CBP among the
different levels. The business level models
illustrate the organizational business aspects.
The technical model secures the technical
realization of the process integration and
represents the bridge to the process
execution.
      </p>
      <p>Though significant research efforts,
collaborative systems design is neither taken
up broadly nor can it be considered a solved
problem. Yet, while the proposed solutions
strive to enable the operation of a CBP, no
explicit consideration of generic business
process requirements, as viewed by the
different involved stakeholders (business
analysts, process designers and IT
specialists), is made to relate to generic
collaborative scenarios by combining business
process and Web services. To the best of our
knowledge, generic business process
modeling and execution as Web services in
the realm of collaborative systems design as
given in this paper have not been published
before.
4. THE PROPOSED MDA-BASED</p>
      <p>FRAMEWORK
In order to establish B2B collaborations one
may start “bottom-up” from the private
processes or “top-down” from the CBP. In
topdown design approach, we note that the
business requirements drive the technology. It
starts with a global view on the collaboration
efforts. This requires that the agreed CBP was
defined jointly, before, by the partners.</p>
      <p>
        In this work, we follow the top-down
approach because it is more appropriate for
an e-Ordering system. Hence, our approach
helps to develop partner’s public processes
that are compliant to each other. This is
guaranteed by the fact that each partner
derives its public process consistently to a
commonly agreed CBP. It enables a
processbased collaborative systems development at
both business and technological levels, based
on a MDA (Model-Driven Architecture)
approach [
        <xref ref-type="bibr" rid="ref12 ref5">5,12</xref>
        ]. To define a valid separation
between business, software and technological
platforms in the information systems, MDA
uses different kind of models: (1) Computation
Independent Model (CIM); (2) Platform
Independent Model (PIM); (3) Platform
Specific Model (PSM).
      </p>
      <p>
        In addition, MDA approach is characterized
by a set of vertical transformations across
different phases (PIM to PSM and PSM to
Code) using model transformation languages
like ATL - Atlas Transformations Language [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ].
A transformation definition is a set of rules
that, all together, describe how a model,
expressed in a source language, can be
mapped into a model in a target language.
      </p>
      <p>
        Therefore, in Figure 2 we depict the
proposed framework which supports: the
design of CBP independent of particular
process model standard; and the automatic
generation of each partner’s side
specifications based on a process model
standard (in our case the generation of BPMN
and BPEL) from CBP models (using UML AD
profile). It is mainly based on the technique of
meta-model transformations [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ].The
proposed framework is organized into three
levels from the abstract conceptual level
(collaborative interactions) to the technical
execution level (Web services executed via
partner’s web portals).
      </p>
      <p>The main benefits of our holistic framework
are: increase of the abstraction level, since the
focus is on the design of
technologyindependent CBP; reduction of development
costs and time and guarantee of alignment of
a business solution with a technological
solution, since process executions are
generated automatically from process models.
We present below in detail the different design
phases composing our framework.
4.1. Collaborative Business Agreement</p>
      <p>Definition Phase
The collaborative business requirements
phase at CIM level consists in analyzing the
problem domain and identifying the
collaborative business requirements. This is
jointly carried out by the involved enterprises.
CBP usually do not have a centralized control
instance or process owner. Hence, it depicts
the different roles involved in the collaboration
and their specific responsibilities with regard to
the collaboration scenario. So, it needs close
coordination among networking partners which
requires an agreement (common objective that
partners agree on) on how to interact and
exchange information, business documents
and messages.
4.2. Collaborative Process Modelling</p>
      <p>
        Phase
Modeling CBP follows an MDA approach,
proposing a set of models at different levels of
abstraction and model transformations to
connect them. At the PIM level, we model
CBP using an UML AD profile based on
extended process meta-model [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. The use of
this meta-model and UML profile add
semantics and constraints to the UML AD
meta-model (with stereotypes, constraints and
tagged values) and provide a vocabulary more
suitable to model CBP. In addition, this
language encourages a top-down approach to
model CBP and provides the conceptual
elements to support the modelling of CBP
main aspects:
- Definition of the participants (partners and
their collaboration roles) of a CBP with their
communication relationships with description
of the common objective that partners agree
on.
- Definition of collaborative business
processes (interorganizational) as informal
specifications of a set of activities performed
by partners.
- Representation of business documents to be
exchanged in CBP with providing the concepts
to define their syntactic and semantics
structure.
- Description of the public interfaces of each
collaboration role performed by partners. A
public business process contains business
operations that support the asynchronous
message exchange of interactions between
partners.
      </p>
      <p>
        However, it is essential to enable partners to
make sure the correctness of the execution of
CBP. This formal verification task is concerned
to check the process model is free of logical
errors such as deadlocks, livelocks, etc. [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ].
Hence, in order to verify the correct execution
of the process models, we developed a formal
verification software tool using Petri Nets. So,
we can easily verify UML AD, BPMN and
BPEL business process models.
      </p>
      <p>Business</p>
      <p>level
Process</p>
      <p>level
Technology
level</p>
      <sec id="sec-2-1">
        <title>CSF for B2B collaboration adoption, collaborative requirements environnement, common objective, interactions protocol, informations exchange</title>
      </sec>
      <sec id="sec-2-2">
        <title>Collaborative Business P rocess model definition</title>
        <p>Enterprise A: Seller
1-BPMN public process:
public view, behaviour
2- BPMN private process:
private activities, internal
business logic
3- BPMN formal verification
1- SOA/WS-BPEL, WSDL:
internal techno. Standards
2- BPEL formal verification
3- Internal code execution,
4- Seller’s web application</p>
        <p>Transformation
Rules</p>
        <p>Derivation</p>
        <p>Rules
Message’s Exchange
Invocation of services</p>
        <p>Enterprise B: Buyer
1-BPMN public process:
public view, behaviour
2- BPMN private process:
private activities, internal
business logic
3- BPMN formal verification</p>
        <p>Transformation</p>
        <p>Rules
1- SOA/WS-BPEL, WSDL:
internal techno. Standards
2- BPEL formal verification
3- Internal code execution,
4- Buyer’s web application
CIM: Collaborative
business layer</p>
        <p>PIM:
Collaborative
process layer
PIM: Public &amp;
Private partner’s
processes layer
PSM: Partner’s
internal code
execution layer
4.3. Generation of Partner’s Public</p>
        <p>Processes Phase
As we are shown before, CBPs are not
executable. Hence, CBP requires the
definition of public and private processes each
organization has to implement for executing
collaborative process. A public process
defines the public behavior of the role an
organization performs in a CBP at PIM layer. It
defines the externally visible behavior of a
business partner in terms of the activities that
support the receiving and sending of
messages and business documents with each
other. By deriving public process from the
CBP, we ensure that the semantics of each
CBP element (where UML AD model applies
UML AD profile as depicted in Figure 3) is
represented in terms of the elements and
semantics provided by BPMN from one
partner’s viewpoint (e.g. seller or buyer) as
depicted before in Figure 2.</p>
      </sec>
      <sec id="sec-2-3">
        <title>Ecore</title>
        <p>conforms-to</p>
      </sec>
      <sec id="sec-2-4">
        <title>Eclipse UML2</title>
      </sec>
      <sec id="sec-2-5">
        <title>Metamodel</title>
        <p>UML2 Activity
Diagram Model</p>
        <p>UML2 Activity</p>
      </sec>
      <sec id="sec-2-6">
        <title>DiagraEmcoPrroecurement</title>
        <p>edit
Eclipse UML2
Editor</p>
      </sec>
      <sec id="sec-2-7">
        <title>Eclipse UML2</title>
      </sec>
      <sec id="sec-2-8">
        <title>Profile</title>
        <p>ATL</p>
      </sec>
      <sec id="sec-2-9">
        <title>Metamodel</title>
        <p>Eclipse BPMN</p>
      </sec>
      <sec id="sec-2-10">
        <title>Metamodel</title>
        <p>BPEL &amp; WSDL
metamodels
applies
model-to-model
transformation</p>
        <p>UML2BPMN.atl</p>
        <p>Eclipse
BPMN Model</p>
        <p>Seller.bpmn</p>
        <p>Buyer.bpmn
Intalio BPMN</p>
        <p>Editor</p>
        <p>BPMN2BPEL
.atl</p>
        <p>BPEL Model</p>
        <p>WSDL Model
Buyer &amp; Seller.bpel
Buyer &amp; Seller.wsdl
BPEL &amp; WSDL</p>
        <p>Editor
edit
conforms-to
applies
model-to-model transformation</p>
        <p>For this purpose, we define automated
process model transformation engine (see
Figure 3). Henceforth, UML Activity Diagram
and BPMN models have some elements share
the same semantic meaning. These elements
are transformed directly without considering
about the element context or neighbourhood
elements (one-to-one transformation rule). In
addition, some UML Activity Diagram element
types cannot be transferred directly to BPMN
elements. To be able to remain the same
semantic meaning, two or more elements in
UML Activity Diagram will be translated to one
BPMN element (many-to-one transformation
rule).
4.4. Definition of Partner’s Private</p>
        <p>Processes Phase
The private executable process is derived
from a public process at each partner’s side
(see Figure 3). It adds the private logic of the
enterprise required to achieve the role within a
global CBP. The internal business logic
includes the activities for producing and
processing the exchanged information/
documents as well as data transformations
and invocations to internal systems. Internal or
private activities (see the seller’s private
activities of Figure 1), which are required for
generating the information to be sent and
processing the information to be received from
partners, have to be added to the public
process to define the private process.</p>
        <p>
          In our case, in order to realize the
BPMN-to-BPEL process model transformation,
we implement an algorithm inspired from
Ouyang et al. [
          <xref ref-type="bibr" rid="ref20">20</xref>
          ], namely BPMN2BPEL. It
takes as input a BPD (BPMN Business
Process Diagram) represented in XML format
and produces the correspondent BPEL code
as an XML file.
        </p>
        <p>However, it is difficult to develop
complete translation rules, so the result of the
translation needs validation from process
modeler. Consequently, we can use the
transformation rules as a semi-automation
translation method to reduce the time for him
when translating the models manually.</p>
        <p>Beside the model transformation
engine, we consider the business processes
as the key focal point of Web services design.
Henceforth, each of the activities in the
process model must be implemented with one
or more services. Below we describe this task
in two steps:
Step1: Determine objectives and describe the
business process structure and functions: The
business process structure refers to the logical
flow or progression of the business process.
The functions of a business process are
expressed in terms of the activities or the
Internet</p>
        <p>To this aim, we use an Eclipse-based
integrated platform [11] to guarantee the
interoperability of the different plug-ins, tools
and ATL transformation languages. Thus, we
develop an Eclipse-based ATL code for the
building of process model transformations
(e.g. from collaborative to specific BPMN). In
this way, the derivation of the private process
(e.g. seller) from the CBP ordering process is
carried out with this ATL tool.</p>
        <p>In this work, we implement the basic
collaborative process scenario, where a buyer
(University) makes an online order to a seller
(Suppliers), who processes and fulfils the
order, as shown in Figure 4. Hence, we
implemented an e-Ordering application for
each partner’s side, representing activities of
executable business processes as Web
services. So, interactions between seller and
buyer are achieved as invocation of partner’s
services.</p>
        <p>Figure 5 shows the university’s ordering web
application (buyer side) where we make an on
line order by choosing the products from the
seller’s catalogues.</p>
        <p>In addition, we have developed in parallel a
software tool implementing formal verification
techniques which have to be applied to
corresponding Petri Nets representation of
business process. This tool is applied at the
three framework levels (verification of UML
AD, BPMN and BPEL business process
models). Four verification properties
(Deadlock, bounded, liveness and
quasiliveness) are implemented as shown in the
right side of Figure 6 of the process of the
example depicted before in Figure 1.</p>
        <p>e-Ordering system platform architecture
University’s procurement dept. Suppliers
Procurement</p>
        <p>Agents
services that need to be performed by a
specific business process.</p>
        <p>Step2: Describe business activity
responsibilities (roles): Each activity within a
business process is associated with a
particular Web service provider who fulfils a
defined role (responsibility) within the process.
Each service provider is expected to properly
fulfill the business responsibility of
implementing the Web service, or set of Web
services, which perform that activity within the
process under the role that the provider is
expected to undertake.
4.5. Code Execution and User Interfaces</p>
        <p>
          Phase
CBP provides a global or public view on
participants collaborating in a peer-to-peer
fashion by offering distributed Web services in
order to achieve a common business goal.
This step deals with the user interface
applications development for the “seller” and
the “buyer” roles in an e-ordering system.
Furthermore, on the execution layer these
internal processes are used e. g. for the
orchestration of Web services [
          <xref ref-type="bibr" rid="ref21">21</xref>
          ]. It consists
on the generation of the XML-based
specifications of business processes and the
collaborative systems’ interfaces of an
organization from its platform-specific IT
model, which contains the necessary
information for the code generation.
        </p>
        <p>To this aim, we have implemented a
direct connection with the business
applications of the buyer organization
communicating directly with a seller's web
application to send and receive information.
After collaborating, both of the two partners’
applications progress independently.
5</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>IMPLEMENTATION OF A COLLABORATIVE SYSTEM</title>
      <p>In order to validate our approach, a tool
support is essential. For this purpose, we have
implemented an e-Ordering system. The main
objective of the order fulfillment process that
buyer expected is supplier can deliver
qualified products to fulfill its orders at the right
time and right place. So, buyer and supplier
have to collaborate by sharing and exchanging
business information.
HTML</p>
      <p>Solicitation
Automation
E-Procurement</p>
      <p>Requests
Responses</p>
      <p>F
I
R
E
W
A
L
L
6</p>
    </sec>
    <sec id="sec-4">
      <title>CONCLUSION</title>
      <p>In the frame of this work, we have proposed a
MDA-based framework for designing
collaborative systems. It combines the
concepts of BPM and Web services
technologies. We defined collaborative
business process model. Thereafter, the
specific partner’s processes are derived from
the collaborative process. Moreover, the
collaborative B2B interactions between
partners are represented, using Web services
technology, at executable level.</p>
      <p>Finally, there are several open issues to
address in the future. Thus, we plan to
evaluate our framework through a scenario
with three business partners (enterprise,
supplier and shipper) in order to verify the
completeness and generality of the proposed
concepts and artifacts. Another aspect that
requires further research is to investigate the
explicit support of heterogeneity of data
formats and messages using the ontology
concepts.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <surname>Aalst</surname>
            <given-names>Van der W.M.P.</given-names>
          </string-name>
          and
          <string-name>
            <surname>Weske</surname>
            <given-names>M.</given-names>
          </string-name>
          <year>2001</year>
          .
          <article-title>The P2P approach to Interorganizational Workflows</article-title>
          .
          <source>In Proc. of CAiSE'01</source>
          ,
          <string-name>
            <given-names>LNCS</given-names>
            <surname>Vol</surname>
          </string-name>
          .
          <year>2068</year>
          , pp.
          <fpage>140</fpage>
          -
          <lpage>156</lpage>
          . Springer.
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <surname>Aalst</surname>
            <given-names>van der W. M. P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Van Hee</surname>
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>ter Hofstede</surname>
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sidorova</surname>
            <given-names>N.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Verbeek</surname>
            <given-names>H.</given-names>
          </string-name>
          ,
          <year>2010</year>
          .
          <article-title>Soundness of Workflow Nets: classification, decidability, and analysis</article-title>
          .
          <source>Formal Aspects of Computing</source>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>31</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <surname>Adam</surname>
          </string-name>
          , Hofer, Zhang,
          <year>2004</year>
          .
          <article-title>CrossEnterprise Business Process Management Architecture - Methods and Tools for Flexible Collaboration</article-title>
          ,
          <source>In Proc. of MIOS.</source>
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <surname>Bauer</surname>
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Müller</surname>
            <given-names>P.</given-names>
          </string-name>
          , and
          <string-name>
            <surname>Roser</surname>
            <given-names>S.</given-names>
          </string-name>
          ,
          <year>2006</year>
          .
          <article-title>A Decentralized Broker Architecture for Collaborative Business Process Modelling and Enactment</article-title>
          ,
          <source>In Proc. of the 2nd Int. Conference IESA'2006</source>
          , pp.
          <fpage>115</fpage>
          -
          <lpage>126</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <surname>Bauer</surname>
            <given-names>B. Muller J.P .</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Roser</surname>
            <given-names>S.</given-names>
          </string-name>
          ,
          <year>2005</year>
          .
          <article-title>A model-driven approach to designing crossenterprise business processes</article-title>
          , Volume
          <volume>3292</volume>
          <source>of LNCS</source>
          , Springer,.
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <surname>Bézivin</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Dupé</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          , Jouault F.,
          <year>2003</year>
          .
          <article-title>First Experiments with the ATL Model Transf</article-title>
          .
          <article-title>Language: Transforming XSLT into XQuery</article-title>
          ,
          <source>In proc. of 2nd OOPSLA.</source>
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <surname>Bouchbout</surname>
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Akoka</surname>
            <given-names>J. Alimazighi Z.</given-names>
          </string-name>
          ,
          <year>2011</year>
          .
          <article-title>Inter-Organizational Business Process Modelling Framework</article-title>
          ,
          <source>In Proc. of ADBIS'</source>
          <year>2011</year>
          , Vienna, Austria.
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <surname>Chebbi</surname>
            <given-names>I.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Dustdar</surname>
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tata</surname>
            <given-names>S.</given-names>
          </string-name>
          ,
          <year>2006</year>
          .
          <article-title>The view-based approach to dynamic interorganizational workflow cooperation</article-title>
          ,
          <source>DKE</source>
          , Vol.
          <volume>56</volume>
          , pp.
          <fpage>139</fpage>
          -
          <lpage>173</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <surname>Chen</surname>
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <given-names>Zhang D.</given-names>
            ,
            <surname>Zhou</surname>
          </string-name>
          <string-name>
            <surname>L.</surname>
          </string-name>
          ,
          <year>2007</year>
          .
          <article-title>Empowering collaborative commerce with Web services enabled business process management systems, Decision Support Systems</article-title>
          , Vol.
          <volume>43</volume>
          , pp.
          <fpage>530</fpage>
          -
          <lpage>546</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <surname>Dorn</surname>
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Grün</surname>
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Werthner</surname>
            <given-names>H.</given-names>
          </string-name>
          , and
          <string-name>
            <surname>Zapletal</surname>
            <given-names>M.</given-names>
          </string-name>
          <year>2007</year>
          .
          <article-title>A Survey of B2B Methodologies and Technologies: From Business Models towards Deployment Artifacts</article-title>
          .
          <source>Proceedings of HICSS'07</source>
          , USA.
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [10]
          <string-name>
            <surname>Eclipse</surname>
            <given-names>Oranisation: Eclipse</given-names>
          </string-name>
          <string-name>
            <surname>Platform</surname>
          </string-name>
          , URL: http://www.eclipse.org ,
          <year>June 2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <surname>Frankel</surname>
            <given-names>D.S.</given-names>
          </string-name>
          ,
          <year>2003</year>
          . Model Driven Architecture - Applying MDA to Enterprise Computing. Wiley.
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <surname>Greiner</surname>
            ,
            <given-names>U.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Lippe</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kahl</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ziemann</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          <year>2006</year>
          .
          <article-title>Designing and implementing crossorganizational business processes</article-title>
          .
          <source>In Proc. of I-ESA</source>
          '
          <year>2006</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <surname>Hammoudi</surname>
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Alouini</surname>
            <given-names>W.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Lopes</surname>
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Huchard</surname>
            <given-names>M.</given-names>
          </string-name>
          <year>2010</year>
          .
          <article-title>Towards A SemiAutomatic Transformation Process in MDA: Architecture, Methodology and First Experiments</article-title>
          .
          <source>IJISMD</source>
          , Vol.
          <volume>1</volume>
          <issue>Iss 4</issue>
          , pp.
          <fpage>48</fpage>
          -
          <lpage>76</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <surname>Huemer</surname>
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Liegl</surname>
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Schuster</surname>
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Werthner</surname>
            <given-names>H.</given-names>
          </string-name>
          , and
          <string-name>
            <surname>Zapletal</surname>
            <given-names>M.</given-names>
          </string-name>
          ,
          <year>2008</year>
          .
          <article-title>Interorganizational Systems: From Business Values over Business Processes to Deployment</article-title>
          .
          <source>Proc. of DEST</source>
          '
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          [16]
          <string-name>
            <surname>Legner</surname>
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Vogel</surname>
            <given-names>Tobias</given-names>
          </string-name>
          , Löhe Jan,
          <year>2008</year>
          .
          <article-title>Transforming Inter-Organizational Business Processes into Service-Oriented Architectures. Method and Application</article-title>
          ,
          <source>In Proc. of KiVS'</source>
          <year>2007</year>
          , Switzerland.
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          [17]
          <string-name>
            <surname>Lippe</surname>
          </string-name>
          , Greiner, Barros,
          <year>2005</year>
          .
          <article-title>A Survey on State of the Art to Facilitate Modelling of Cross-Organisational Business Processes</article-title>
          .
          <source>In Proc. of XML4BPM</source>
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          [18]
          <string-name>
            <surname>Santos</surname>
            <given-names>N.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Duarte</surname>
            <given-names>F.J.</given-names>
          </string-name>
          ,
          <year>2013</year>
          .
          <article-title>A Transformation of Business Process Models into Software-Executable Models Using MDA</article-title>
          , LNBIP Vol.
          <volume>133</volume>
          , pp
          <fpage>147</fpage>
          -
          <lpage>167</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          <source>[19] OMG: BPMN 2.0</source>
          ,
          <year>2011</year>
          . available at: http://www.omg.org/BPMN/,
          <year>June 2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          [20]
          <string-name>
            <surname>Ouyang</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Dumas</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Aalst</surname>
            ,
            <given-names>W. M. P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ter</surname>
            <given-names>Hofstede</given-names>
          </string-name>
          ,
          <string-name>
            <surname>A.H.M.</surname>
          </string-name>
          ,
          <year>2009</year>
          . “
          <article-title>From business process models to processoriented software systems”</article-title>
          ,
          <source>ACM Trans. on Software Eng. Methodology</source>
          , Vol.
          <volume>19</volume>
          (
          <issue>1</issue>
          ), pp.
          <fpage>1</fpage>
          -
          <lpage>37</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          [21]
          <string-name>
            <given-names>Peltz</given-names>
            <surname>Chris</surname>
          </string-name>
          ,
          <year>2003</year>
          .
          <article-title>Web services Orchestration and Choreography</article-title>
          , IEEE Computer,
          <volume>36</volume>
          (
          <issue>10</issue>
          ), pp.
          <fpage>45</fpage>
          -
          <lpage>52</lpage>
          ,
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          [22]
          <string-name>
            <surname>Touzi</surname>
            <given-names>J.</given-names>
          </string-name>
          , Bénaben F.,
          <year>2009</year>
          .
          <article-title>A Modeldriven approach for collaborative serviceoriented architecture</article-title>
          ,
          <source>Int. J. of Production Economics</source>
          , Vol.
          <volume>121</volume>
          <issue>No 1</issue>
          , pp.
          <fpage>5</fpage>
          -
          <lpage>20</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref23">
        <mixed-citation>
          [23]
          <string-name>
            <surname>Ziemann</surname>
            <given-names>Jorg</given-names>
          </string-name>
          , Matheis Thomas,
          <string-name>
            <given-names>Freiheit</given-names>
            <surname>Jorn</surname>
          </string-name>
          ,
          <year>2007</year>
          .
          <article-title>Modelling of CrossOrganizational Business Processes</article-title>
          ,
          <string-name>
            <surname>Proceedings</surname>
            <given-names>EMISA</given-names>
          </string-name>
          '
          <year>2007</year>
          ,
          <string-name>
            <surname>LNI</surname>
          </string-name>
          , Vol.
          <volume>119</volume>
          , pp.
          <fpage>87</fpage>
          -
          <lpage>100</lpage>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>