1067 search results - page 1 / 214 » Analysis of BPEL Data Dependencies |
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...
ICSOC
2007
Springer
13 years 10 months ago
2007
Springer
ICSOC
2009
Springer
13 years 2 months ago
2009
Springer
Several activities in service oriented computing can benefit from knowing ahead of time future properties of a given service composition. In this paper we focus on how statically i...
WWW
2004
ACM
14 years 5 months ago
2004
ACM
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...
COOPIS
2004
IEEE
13 years 8 months ago
2004
IEEE
This paper focuses on the development of a principled methodology for the dependability analysis of composite Web services. The first step of the methodology involves a UML represe...