57 search results - page 4 / 12 » Runtime monitoring of contract regulated web services |
SAC
2009
ACM
14 years 2 months 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...
CASCON
2007
13 years 9 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
CEEMAS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. A strong research emphasis is being given towards regulating interoperable multi-agent environments through norms and institutions. We are concerned with environments in ...
ECOWS
2009
Springer
13 years 10 months ago
2009
Springer
— Web services exposing run-time behaviour that deviates from their behavioural specifications represent a major threat to the sustainability of a service-oriented ecosystem. It ...
SAC
2008
ACM
13 years 7 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...