250 search results - page 8 / 50 » Towards Formal Verification of Web Service Composition |
JWSR
2006
13 years 7 months ago
2006
: We investigate architectural properties required for supporting automatic service composition. First, composable service architecture will be described, based on modeling Web ser...
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
The Hierarchical Task Network (HTN) planning method is conceived of as a useful method for Web service composition as well as classical task planning. However, there are no complet...
ISAS
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
ISSRE
2010
IEEE
13 years 5 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...
RR
2007
Springer
14 years 1 months ago
2007
Springer
The most promising feature of the Web services platform is its ability to form new (composite) services by combining the capabilities of already existing (component) services. The ...