Sciweavers

735 search results - page 32 / 147
» Equivalence of Web Services in Process-Aware Service Composi...
Sort
View
IS
2006
14 years 11 months ago
Composition of Semantic Web services using Linear Logic theorem proving
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)...
Jinghai Rao, Peep Küngas, Mihhail Matskin
EPEW
2006
Springer
15 years 3 months ago
Dependability Evaluation of Web Service-Based Processes
Abstract. As Web service-based system integration recently became the mainstream approach to create composite services, the dependability of such systems becomes more and more cruc...
László Gönczy, Silvano Chiarado...
SEMWEB
2009
Springer
15 years 6 months ago
Optimizing Web Service Composition While Enforcing Regulations
Abstract. To direct automated Web service composition, it is compelling to provide a template, workflow or scaffolding that dictates the ways in which services can be composed. I...
Shirin Sohrabi, Sheila A. McIlraith
WECWIS
2009
IEEE
162views ECommerce» more  WECWIS 2009»
15 years 6 months ago
QoS-Driven Web Service Composition Using Learning-Based Depth First Search
—The goal of the Web Service Composition (WSC) problem is to find an optimal composition of web services to satisfy a given request using their syntactic and/or semantic feature...
Wonhong Nam, Hyunyoung Kil, Jungjae Lee
AICT
2006
IEEE
210views Communications» more  AICT 2006»
15 years 5 months ago
Model-Based Analysis of Obligations in Web Service Choreography
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
Howard Foster, Sebastián Uchitel, Jeff Mage...