250 search results - page 18 / 50 » Towards Formal Verification of Web Service Composition |
WWW
2004
ACM
14 years 8 months ago
2004
ACM
The vision of the Semantic Web is to reduce manual discovery and usage of Web resources (documents and services) and to allow software agents to automatically identify these Web r...
ATAL
2003
Springer
13 years 11 months ago
2003
Springer
We address the problem of constructing multiagent systems by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. A major application area...
ECOWS
2006
Springer
13 years 11 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
IS
2006
13 years 7 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
ECOWS
2009
Springer
14 years 2 months ago
2009
Springer
—Current Web service composition approaches and languages such as WS-BPEL do not allow to define temporal constraints in a declarative and separate way. Also it is not possible ...