Sciweavers

1000 search results - page 2 / 200
» Analysis of communication models in web service compositions
Sort
View
WWW
2004
ACM
14 years 8 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
SIGMOD
2005
ACM
153views Database» more  SIGMOD 2005»
14 years 7 months ago
Tools for composite web services: a short overview
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...
Richard Hull, Jianwen Su
SOFSEM
2009
Springer
14 years 4 months ago
A Formal Model of Business Application Integration from Web Services (Position Paper)
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar
CSAC
2006
13 years 9 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
ENTCS
2006
175views more  ENTCS 2006»
13 years 7 months ago
A Semantical Framework for the Orchestration and Choreography of Web Services
Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the co...
Claus Pahl, Yaoling Zhu