Sciweavers

Share
158 search results - page 1 / 32
» Analysis of interacting BPEL web services
Sort
View
WWW
2004
ACM
11 years 4 months ago
Analysis of interacting BPEL web services
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...
Xiang Fu, Tevfik Bultan, Jianwen Su
EUROMICRO
2007
IEEE
10 years 6 months ago
Analysis of BPEL Data Dependencies
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...
Yongyan Zheng, Jiong Zhou, Paul Krause
ICSOC
2007
Springer
10 years 10 months ago
An Execution Engine for Semantic Business Processes
In this paper we present the architecture and design of an extended BPEL engine that implements the operational semantics of BPEL4SWS. BPEL4SWS is an extension of the BPEL language...
Tammo van Lessen, Jörg Nitzsche, Marin Dimitr...
WECWIS
2007
IEEE
172views ECommerce» more  WECWIS 2007»
10 years 10 months ago
An Analysis Tool for Execution of BPEL Services
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...
Ariane Gravel, Xiang Fu, Jianwen Su
CAISE
2008
Springer
10 years 6 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
books