29 search results - page 1 / 6 » Towards the Semantics and Verification of BPEL4WS |
ENTCS
2006
13 years 4 months ago
2006
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...
ICWS
2004
IEEE
13 years 6 months ago
2004
IEEE
AICT
2006
IEEE
13 years 10 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
ECLIPSE
2005
ACM
13 years 6 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
JSW
2007
13 years 4 months ago
2007
— Web services composition is a very active area of research due to the growing interest of public and private organizations in services integration and/or low cost development o...