404 search results - page 45 / 81 » Application of Linear Logic to Web Service Composition |
117
click to vote
I3E
2004
15 years 1 months ago
2004
: The notion of service is closely coupled with the notion of process in general and of workflow in particular. Processes capture the coordination logic for the various resources i...
110
click to vote
SAC
2009
ACM
15 years 6 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...
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
WWW
2005
ACM
15 years 5 months ago
2005
ACM
Semantic Web Services (SWS), a new generation WWW technology, will facilitate the automation of Web service tasks, including automated Web service discovery, execution, compositio...
109
click to vote
APWEB
2005
Springer
15 years 5 months ago
2005
Springer
With the explosive emerged Web services, the Web becomes a world of information and applications. So portals whose goal is presenting a structured view onto the Web should provide ...