496 search results - page 20 / 100 » Model Checking Expressive Web Service Descriptions |
WWW
2005
ACM
14 years 8 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...
ATAL
2008
Springer
13 years 9 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 ...
OTM
2010
Springer
13 years 6 months ago
2010
Springer
The limitations of the traditional SOA operational model, such as the lack of rich service descriptions, weaken the role of service registries. Their removal from the model violate...
SEMWEB
2004
Springer
14 years 1 months ago
2004
Springer
A central requirement for achieving the vision of run-time discovery and dynamic composition of services is the provision of appropriate descriptions of the operation of a service,...
SAINT
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper we outline a framework for performing automated discovery, composition and execution of web services based solely on the information available in interface descripti...