285 search results - page 20 / 57 » Introducing Compositionality in Web Service Descriptions |
141
Voted
ICWS
2008
IEEE
15 years 5 months ago
2008
IEEE
In this work, we present a framework for the semantic composition of web services based on Statecharts and uniform community service descriptions. Our model is a two step process....
114
click to vote
ICDE
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
123
Voted
FASE
2005
Springer
15 years 9 months ago
2005
Springer
Web Services are the basic building blocks of next generation Internet applications, based on dynamic service discovery and composition. Dedicated discovery services will store bot...
124
Voted
GCC
2003
Springer
15 years 8 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
155
Voted
ISSRE
2010
IEEE
15 years 2 months ago
2010
IEEE
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...