Parallel complexity in the design and analysis of concurrent systems
PARLE '91 Proceedings on Parallel architectures and languages Europe : volume I: parallel architectures and algorithms: volume I: parallel architectures and algorithms
Deciding true concurrency equivalences on safe, finite nets
ICALP Selected papers of the twentieth international colloquium on Automata, languages and programming
IEEE Internet Computing
Games for synthesis of controllers with partial observation
Theoretical Computer Science - Logic and complexity in computer science
Current Solutions for Web Service Composition
IEEE Internet Computing
Automatic composition of transition-based semantic web services with messaging
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Web-MASI: Multi-Agent Systems Interoperability Using a Web Services Based Approach
IAT '05 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
Automatic web services composition in trustaware communities
Proceedings of the 3rd ACM workshop on Secure web services
Towards Agent-Based Coalition Formation for Service Composition
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
The Variable Hierarchy of the μ-Calculus Is Strict
Theory of Computing Systems
Extending the compatibility notion for abstract WS-BPEL processes
Proceedings of the 17th international conference on World Wide Web
Automatic synthesis of a global behavior from multiple distributed behaviors
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Automated composition of web services by planning at the knowledge level
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Agent composition synthesis based on ATL
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Security-aware web service composition approaches: state-of-the-art
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
Automatic behavior composition synthesis
Artificial Intelligence
| Hi-index | 0.00 |
Composition of services is necessary for realizing complex tasks on the Web. It has been characterized either as a plan synthesis problem or as a software synthesis problem: given a goal and a set of Web services, generate a composition of the Web services that satisfies the goal. We propose algorithms for performing automated Web service composition. We also examine the composition of services from the perspective of computational complexity.