Structural complexity 1
Structural complexity 2
Handbook of theoretical computer science (vol. B)
Journal of the ACM (JACM)
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
A Logic for Planning under Partial Observability
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
On automating Web services discovery
The VLDB Journal — The International Journal on Very Large Data Bases
WWW '05 Proceedings of the 14th international conference on World Wide Web
Automated synthesis of executable web service compositions from BPEL4WS processes
WWW '05 Special interest tracks and posters of the 14th international conference on World Wide Web
Tools for composite web services: a short overview
ACM SIGMOD Record
Analysis of communication models in web service compositions
Proceedings of the 15th international conference on World Wide Web
Efficient algorithms for Web services selection with end-to-end QoS constraints
ACM Transactions on the Web (TWEB)
A context-based mediation approach to compose semantic Web services
ACM Transactions on Internet Technology (TOIT)
Framework for Web service query algebra and optimization
ACM Transactions on the Web (TWEB)
Complexity and composition of synthesized web services
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Computational Complexity of Web Service Composition Based on Behavioral Descriptions
ICTAI '08 Proceedings of the 2008 20th IEEE International Conference on Tools with Artificial Intelligence - Volume 01
Type-Aware Web Service Composition Using Boolean Satisfiability Solver
CECANDEEE '08 Proceedings of the 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services
On the partial observability of temporal uncertainty
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Relationships between nondeterministic and deterministic tape complexities
Journal of Computer and System Sciences
Behavioural description based web service composition using abstraction and refinement
International Journal of Web and Grid Services
Hi-index | 5.23 |
The behavioral description-based Web Service Composition (WSC) problem deals with the automatic construction of a coordinator web service that controls a set of web services to reach the goal states. Despite its importance and implications, very few studies exist on the computational complexities of the WSC problem. In this paper, to address this problem, we present four novel theoretical findings on the WSC problem: (1) solving the composition problem of deterministic web services for a restricted case (when the coordinator web service has complete information about the states of all web services) is PSPACE-complete; (2) solving the composition problem of deterministic web services for a general case (when the coordinator web service has incomplete information about the states of web services) is EXPSPACE-complete; (3) solving the composition problem of non-deterministic web services on complete information is EXP-complete and (4) solving the composition problem of non-deterministic web services on incomplete information (which is the most general case) is 2-EXP-complete. These findings suggest that more efforts to devise efficient approximation solutions to the WSC problem is needed.