Results 141 to 150 of about 3,352 (169)

Orchestrations with BPEL

2013
In previous chapters, particularly in Chaps. 8 and 9, we have studied a wide range of constructs that can be used to design the flow of an orchestration. These constructs have been represented graphically by means of certain shapes, but more important than being able to represent them, it is fundamental to understand the concepts that underlie those ...
openaire   +1 more source

Orchestrating Web Services with BPEL

IEEE Software, 2008
Effective Web services demand careful synchronization on various abstraction levels. The Business Process Execution Language supports modeling and executing business processes from both the user and systems perspectives. In this way, Web services application developers can use BPEL to orchestrate service interactions in a global system view and to ...
openaire   +2 more sources

A BPEL Observability Enhancement Method

2010 IEEE International Conference on Web Services, 2010
WS-BPEL processes are usually overlapped in large Business applications composed of several Web Services. Such applications are more and more developed with respect of quality processes. Testability is an important quality degree, which evaluates the fault detection coverage during the testing process and the testing cost.
Sébastien Salva, Issam Rabhi
openaire   +1 more source

Visualization of Complex BPEL Models

2010
In this work, we present our approach for producing layouts of complex workflows given in the Business Process Execution Language (BPEL) [1]. BPEL is a verbose, hierarchical workflow language containing nested, alternative and concurrent execution paths.
Benjamin Albrecht, Philip Effinger, Markus Held, Michael Kaufmann 0001, Stephan Kottler   +4 more
openaire   +1 more source

A model for BPEL-like languages

Frontiers of Computer Science in China, 2007
Web service is increasingly being applied in solving many universal interoperability problems. Business Process Execution Language (BPEL) is a de facto standard for specifying the behavior of business processes. It contains several interesting features, including scope-based compensation, fault handling and shared-labels for synchronization.
Jifeng He 0001, Huibiao Zhu, Geguang Pu
openaire   +1 more source

BPEL Engines

2007
This report summarizes the results of a hands-on survey on Business Process Execution Language (BPEL) execution engines.BPEL is one of the most promising new languages intended for automatic business process execution.BPEL supports implementation of both intra- and extra enterprise processes.The form of BPEL most often associated with the Service ...
Kanniainen, Jenni, Haajanen, Jyrki
openaire   +1 more source

Design of a BPEL Verification Tool

2012
The objective of this paper is to define a formal framework for expressing a BPEL transformation based semantics of BPEL constructs. Our main contribution is twofold. First, the transformation patterns are specified in a language close to the target's realtime verification language FIACRE.
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali   +2 more
openaire   +1 more source

A Probabilistic BPEL-Like Language

2010
Exception and failure are the typical phenomena of the execution of long-running transactions. To capture the random features of internet-based computing, this paper investigates a BPEL-like language which is enriched with probabilistic choice operator.
openaire   +1 more source

AO4BPEL: An Aspect-oriented Extension to BPEL

World Wide Web, 2007
Mira Mezini, Anis Charfi
exaly  

Model-Checking Behavioral Specification of BPEL Applications

Electronic Notes in Theoretical Computer Science, 2006
Shin Nakajima
exaly