102 search results - page 9 / 21 » A Behavioural Congruence for Web Services |
ICSE
2009
IEEE-ACM
14 years 1 months ago
2009
IEEE-ACM
Adaptation is of utmost importance in systems developed by assembling reusable software services accessed through their public interfaces. This process aims at solving, as automat...
GCC
2004
Springer
14 years 3 days ago
2004
Springer
Web services (WS) provide a technology for integrating applications over the Internet. The components of a WS are active and persistent computational entities that have autonomous ...
ATAL
2008
Springer
13 years 8 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
CAISE
2008
Springer
13 years 8 months ago
2008
Springer
Web service business protocols are of importance to both clients and providers, as they model the external behaviour of services. However, the business protocol is not always publ...
EPEW
2005
Springer
14 years 7 days ago
2005
Springer
In this paper we show how we can translate Web Services described by WS-CDL into a timed automata orchestration, and more specifically we are interested in Web services with time ...