28 search results - page 1 / 6 » Verifying Correctness of Web Services Choreography |
ECOWS
2006
Springer
15 years 2 months ago
2006
Springer
This paper is about Web services used in distributed, inter-organizational business cooperation (choreography). In this application scenario, we have a multipart functional conven...
SOSE
2008
IEEE
15 years 5 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...
89
Voted
FORTE
2007
15 years 11 days ago
2007
Web service choreography describes protocols for multiparty collaboration, whereas orchestration focuses on single peers. One key requirement of choreography is to support transact...
116
Voted
SOCO
2007
Springer
15 years 5 months ago
2007
Springer
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...
84
Voted
EPEW
2005
Springer
15 years 4 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...