291 search results - page 3 / 59 » An Online Monitoring Approach for Web services |
IIWAS
2008
13 years 6 months ago
2008
The most industrialized countries have entered a post-industrial era where their prosperity is largely created through a service economy. There is a clear transition from a manufa...
CASCON
2010
13 years 2 months ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
ASWEC
2006
IEEE
13 years 11 months 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...
SAC
2008
ACM
13 years 4 months ago
2008
ACM
The agent paradigm includes the notion that agents interact with services. This paper identifies the need for controlled access to such services, from the perspective of agent sys...
SAC
2009
ACM
14 years 4 days ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...