158 search results - page 5 / 32 » Analysis of interacting BPEL web services |
DAIS
2006
13 years 6 months ago
2006
Abstract. In this paper, a model is presented which allows the composition of web services by means of a special web service, named WSInterConnect. Such a service might be used in ...
DASFAA
2007
IEEE
13 years 11 months ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
COMPUTER
2004
13 years 5 months ago
2004
partners are abstracted as Web services, we have introduced additional constructs to represent human users and define human interaction patterns. Each business process defined in o...
ICWS
2008
IEEE
13 years 6 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
ICWS
2004
IEEE
13 years 6 months ago
2004
IEEE
Service composition refers to the aggregation of services to build complex applications to achieve client requirements. It is an important challenge to make it possible for users ...