102 search results - page 4 / 21 » A Behavioural Congruence for Web Services |
ESOP
2007
Springer
14 years 23 days ago
2007
Springer
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
FTDCS
2004
IEEE
13 years 10 months ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
SIGSOFT
2010
ACM
13 years 1 months ago
2010
ACM
Web service applications are dynamic, highly distributed, and loosely coupled orchestrations of services which are notoriously difficult to debug. In this paper, we describe a use...
ASWEC
2006
IEEE
14 years 20 days ago
2006
IEEE
Web services are designed for composition and use by third parties through dynamic discovery. As such, the issue of interoperability between services is of great importance to ens...
RR
2007
Springer
14 years 21 days ago
2007
Springer
We present a vision of smart, goal-oriented web services that reason about other services’ policies and evaluate the possibility of future interactions. We assume web services wh...