Results 111 to 120 of about 143 (139)

BPELscript: A Simplified Script Syntax for WS-BPEL 2.0

2009 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009
Business processes are usually modeled using graphical notations such as BPMN. As a first step towards execution as workflow, a business process is transformed to an abstract WS-BPEL process. Technical details required for execution are added by an IT expert.
Marc Bischof, Oliver Kopp, Tammo van Lessen, Frank Leymann   +3 more
openaire   +1 more source

Implementing Workflow Reconfiguration in WS-BPEL.

J. Internet Serv. Inf. Secur., 2012
This paper investigates the problem of dynamic reconfiguration by means of a workflow-based case study used for discussion. We state the requirements on a system implementing the workflow and its reconfiguration, and we describe the system’s design in BPMN.
Mazzara M, Dragoni N, Zhou M
openaire   +1 more source

Revisiting the Behavior of Fault and Compensation Handlers in WS-BPEL

2009
When automating work, it is often desirable to compensate completed work by undoing the work done by one or more activities. In the context of workflow, where compensation actions are defined on nested 'scopes' that group activities, this requires a model of nested compensation---based transactions.
Rania Khalaf, Dieter Roller 0001, Frank Leymann   +2 more
openaire   +1 more source

Dependable Workflow Reconfiguration in WS-BPEL

2011
This paper describes a work ow reconguration and how to implement it in WS-BPEL, a language that would not naturally support reconguration. We state the requirements on a system implementing the work ow and its reconguration, and we describe the system's de- sign in BPMN. The WS-BPEL recovery framework is then exploited to implement the reconguration.
Mazzara M, Dragoni N, Zhou M
openaire   +1 more source

Effective Message-Sequence Generation for Testing BPEL Programs

IEEE Transactions on Services Computing, 2013
Lu Zhang, Hong Mei
exaly  

WS-BPEL

2009
openaire   +1 more source

Model-Checking Behavioral Specification of BPEL Applications

Electronic Notes in Theoretical Computer Science, 2006
Shin Nakajima
exaly  

WS-BPEL

2011
openaire   +1 more source

Formal semantics and analysis of control flow in WS-BPEL

Science of Computer Programming, 2007
Chun Ouyang, H M W Verbeek, Wil M P Van Der Aalst   +2 more
exaly  

Hierarchical verification of WS-BPEL

2014 International Computer Science and Engineering Conference (ICSEC), 2014
openaire   +1 more source