258 search results - page 1 / 52 » WofBPEL: A Tool for Automated Analysis of BPEL Processes |
ICSOC
2005
Springer
13 years 10 months ago
2005
Springer
EUROMICRO
2007
IEEE
13 years 6 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
WECWIS
2007
IEEE
13 years 11 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
EDBT
2010
ACM
13 years 6 months ago
2010
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. Analyzing the execution of such processes is critical for enforcing business ...
BPM
2005
Springer
13 years 10 months ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...