Sciweavers

40 search results - page 1 / 8
» BPEL for Semantic Web Services (BPEL4SWS)
Sort
View
OTM
2007
Springer
13 years 9 months ago
BPEL for Semantic Web Services (BPEL4SWS)
Jörg Nitzsche, Tammo van Lessen, Dimka Karast...
ICSOC
2007
Springer
13 years 9 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...
EUROMICRO
2007
IEEE
13 years 5 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
CAISE
2008
Springer
13 years 5 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
JSW
2007
156views more  JSW 2007»
13 years 3 months ago
An Automatic Test Case Generation Framework for Web Services
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
Yongyan Zheng, Jiong Zhou, Paul Krause