Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The description logic handbook
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Filtering and Selecting Semantic Web Services with Interactive Composition Techniques
IEEE Intelligent Systems
Automated composition of e-services: lookaheads
Proceedings of the 2nd international conference on Service oriented computing
Design for verification for asynchronously communicating Web services
WWW '05 Proceedings of the 14th international conference on World Wide Web
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach
ECOWS '06 Proceedings of the European Conference on Web Services
Automated composition of web services by planning at the knowledge level
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
HTN planning for Web Service composition using SHOP2
Web Semantics: Science, Services and Agents on the World Wide Web
Implicit vs. explicit data-flow requirements in web service composition goals
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
A formal model for semantic web service composition
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Service-Oriented Computing --- ICSOC 2008 Workshops
Hi-index | 0.00 |
Most of the work on automated semantic Web service composition has focused so far on two main levels of composition i.e., functional level and process level composition (respectively FLC and PLC from now). The former level of composition considered Web services as atomic components that can be executed in a single request-response step whereas the latter level studies in more details the protocol and the behavioural features of Web services. Since PLC i.e., a time and particularly space consuming level of composition makes difficult the scalability of composition-based applications, it seems interesting to restrict the composition of stateful but (only) independent Web services. Such a restriction make possible the composition of a large number of Web services in industrial scenarios, the whole with convincing results. In this paper we suggest to study the advantages to apply FLC together with β-composition in order to perform an automated end to end composition of stateful and independent services. In particular we focus on computational complexity results concerning the two models of composition i.e., the well-known PLC vs. the newest FLC+β-composition. Moreover we prove that FLC is an interesting and necessary level of composition to significantly reduce computational complexity not only in space but also in time.