6 search results - page 1 / 2 » Verifying the Conformance of Web Services to Global Interact... |
EPEW
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Global choreographies define the rules that peers should respect in their interaction, with the aim of guaranteeing interoperability. act choreography can be seen as a p...
WWW
2005
ACM
14 years 5 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
IJWET
2006
13 years 4 months ago
2006
: Business processes provide abstractions for modelling business protocols that define the correct interactions between two or more Web services (WS). It has been shown that it is ...
SOSE
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...
PERCOM
2008
ACM
14 years 4 months ago
2008
ACM
Large screen displays are being increasingly deployed in public areas for advertising, entertainment, and information display. Recently we have witnessed increasing interest in su...