Registration
Please use the BPM page for the registration
Abstract
Following footsteps of the Parallel Computing and the Grid
Computing, the Cloud Computing has become the world noticed
advanced computing technology. The key elements that put the
Cloud into the spot light are 1) virtualization,
2) extremely large scale, 3) high availability, 4) high
reliability, 5) high scalability, 6) low cost,
7) pay-as-you-go etc. In the past few years, even though it
has passed the highest visibility point in Hype Cycle of
Technology, this new face of computing technology still keep
its momentum and is considered as major paradigm shift of the
computing technology. The Cloud market has encouraged all the
vendors, domestically and internationally alike, to devote
themselves into the three tiers of the Cloud Computing,
namely, Infrastructure-as-a-Service (IaaS),
Platform-as-a-Service (PaaS), and Software-as-a-Service
(SaaS).
Unavoidably, the Multi-tenancy is the present and future Cloud
environment presented to the users. Although various
technological issues have to be solved, for example, unified
fabric which is crucial to the connectivity within and outside
of the Data Center to keep the data flow smoothly, the unified
computing mechanism that keeps the computing transparent to
the users, ... etc. The vision of accessing Cloud Computing the
way we access the water and electricity in our daily live is
still to be accomplished.
In this presentation, we will not attempt to deliver answers
to all the existing technological questions. Instead, the
international efforts around the Pacific Rim area will be
introduced with important development issues exposed. For
example, with joint efforts of multiple participants from
different organization/entities, the effort of dealing with
the Cloud Interoperability issue is under investigation in
order to break the possible lock-in problem of the Cloud. The
efforts to lower the barrier and cost of VM image translate
between different Cloud environments and thus to speed up the
popularity of the Cloud will also be touched. The purpose of
the discussion of these efforts is not to deliver a full
solution to the Cloud environment, but to shade light on the
future development of Cloud technology.
Abstract A business process (BP) is an
assembly of work activities (automated or by human performers)
to accomplish a business goal. A collaborative business
process (CBP) coordinates participating BPs in order to
achieve a complex business objective. A CBP may employ a
"mediator" to ensure its business logic to be carried out
faithfully; such a "hub-and-spoke" approach is widely used in
practice, e.g., through the use of BPEL. The mediator is
often an apparent bottleneck in many aspects. As an
alternative, a participating BP in a "peer-to-peer" CBP
communicates only with its partners based on needs and there
is possibly no single participant BP that is aware of global
progress during execution. A "choreography" models a class of
similar peer-to-peer CBPs. While this is more desired,
existing choreography languages (1) are weak in modeling data
shared by participants and used in message sequence
constraints and (2) assume a fixed number of participants and
make no distinction between participant types and participant
instances.
In this
talk, we argue that the traditional concept of a choreography
needs to be augmented to support data and participant
instances. We present a new declarative language based on the
widely known artifact-centric BP modeling approach. Our
language has four ingredients: (1) Each participant type is an
artifact schema with its information model partially visible
to choreography specification. (2) Participant instance
correlations are supported explicitly and cardinality
constraints on such correlations can be defined. (3) Messages
have data contents to be used in choreography constraints.
(4) The language is declarative based on first-order and
linear time (LTL) logics. In particular, Skolem notations are
used to represent dependencies in a succinct manner. We will
also discuss some technical results concerning the properties
of this language.
Time | Title |
---|---|
13:45-14:00 | Opening (PC Chairs) |
14:00-15:00 | Invited talk: Weicheng Huang
National Center for High-Performance Computing, Taiwan
Introducing Cloud Activities Around Pacific Rim |
15:00-15:30 | Coffee Break |
15:30-16:30 | Session 1: Coordination
Chair: Wil M. P. van der Aalst
|
16:30-16:45 | Short Break |
16:45-17:45 | Session 2: Execution models
Chair: Dirk Fahland
|
18:00-20:00 | Workshop dinner at Xiyuan Restaurant, First Floor of Building No.1, Beijing Xijiao Hotel (with C-BPM and APBPM) |
Time | Title |
---|---|
09:00-10:00 | Invited talk:
Jianwen Su
U C Santa Barbara, USA
Choreography Revisited |
10:00-10:30 | Coffee Break |
10:30-11:30 | Session 3: Theoretical models
Chair: Mario Bravetti
|
11:30-11:45 | Short Break |
11:45-12:45 | Session 4: Distributed Transactions
Chair: Liang Zhang
|
12:45-13:00 | Closing & Lunch |