Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
Architecting Dependable Systems V
Synthesis and Composition of Web Services
Formal Methods for Web Services
Automated composition of Web services via planning in asynchronous domains
Artificial Intelligence
An overview of AI research in Italy
Artificial intelligence
Modelling and automated composition of user-centric services
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Implicit vs. explicit data-flow requirements in web service composition goals
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
| Hi-index | 0.00 |
One of the fundamental ideas of Web Services and Service Oriented Architecture is the possibility to develop new applications by composing existing services that are available on the Web. Several approaches have been proposed ro tackle the problem of Web Service Composition, but little effort has been devoted so far to the problem of modeling the requirements of the composition. However; it is clear that the possibility to express requirements specibing complex interactions patterns among the component services is an essential step to cope with a wide range of composition problems. In this paper we present a new model which addresses one of the key aspects of composition requirements, namely the datcrJow among the component services. We develop graphical notations and a jormal theory for the new model ardwe integrate it within an existing automated composition framework.