1164 search results - page 18 / 233 » Type based service composition |
IEEESCC
2008
IEEE
15 years 3 months ago
2008
IEEE
The semantic web services composition process arranges several web services into one composite to realize complex workflows. To do this, semantic metadata of web services’ desc...
65
Voted
ICDE
2007
IEEE
15 years 3 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...
IJCIS
2006
14 years 9 months ago
2006
Abstract. This paper presents a framework for monitoring the compliance of systems composed of webservices with requirements set for them at run-time. This framework assumes system...
166
click to vote
SYNASC
2008
IEEE
15 years 3 months ago
2008
IEEE
Service Oriented Architectures draw heavily on techniques for reusing and assembling off-the-shelf software components. While powerful, this programming practice is not without a ...
111
Voted
ICWS
2007
IEEE
14 years 11 months ago
2007
IEEE
We study the problem of synthesis of a choreogrpher in Web service composition for a given set of services and a goal. Services and goal are represented using i/o automata which c...