Handbook of theoretical computer science (vol. B)
Using temporal logics to express search control knowledge for planning
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
IEEE Intelligent Systems
Simple on-the-fly automatic verification of linear temporal logic
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
Policy-Based Web Service Composition
RIDE '04 Proceedings of the 14th International Workshop on Research Issues on Data Engineering: Web Services for E-Commerce and E-Government Applications (RIDE'04)
Using Semantics for Policy-Based Web Service Composition
Distributed and Parallel Databases
Bringing Semantics to Web Services with OWL-S
World Wide Web
Artificial Intelligence and Grids: Workflow Planning and Beyond
IEEE Intelligent Systems
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
HTN planning for Web Service composition using SHOP2
Web Semantics: Science, Services and Agents on the World Wide Web
Web service composition with user preferences
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Representing web service policies in OWL-DL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Web service composition via generic procedures and customizing user preferences
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
On compliance checking for clausal constraints in annotated process models
Information Systems Frontiers
Efficiently selecting the best web services
RED'09 Proceedings of the 2nd international conference on Resource discovery
An expressive and efficient solution to the service selection problem
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Preference-based web service composition: a middle ground between execution and search
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Customizing the composition of actions, programs, and web ervices with user preferences
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
A sampling-based approach to identify QoS for web service orchestrations
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Non-redundant web services composition based on a two-phase algorithm
Data & Knowledge Engineering
Challenges of quality-driven resource discovery
RED'10 Proceedings of the Third international conference on Resource Discovery
An architectural approach for dynamic web service composition
Proceedings of the 13th International Conference on Computer Systems and Technologies
A cross organisation compatible workflows generation and execution framework
Knowledge-Based Systems
Hi-index | 0.00 |
To direct automated Web service composition, it is compelling to provide a template, workflow or scaffolding that dictates the ways in which services can be composed. In this paper we present an approach to Web service composition that builds on work using AI planning, and more specifically Hierarchical Task Networks (HTNs), for Web service composition. A significant advantage of our approach is that it provides much of the how-to knowledge of a choreography while enabling customization and optimization of integrated Web service selection and composition based upon the needs of the specific problem, the preferences of the customer, and the available services. Many customers must also be concerned with enforcement of regulations, perhaps in the form of corporate policies and/or government regulations. Regulations are traditionally enforced at design time by verifying that a workflow or composition adheres to regulations. Our approach supports customization, optimization and regulation enforcement all at composition construction time. To maximize efficiency, we have developed novel search heuristics together with a branch and bound search algorithm that enable the generation of high quality compositions with the performance of state-of-the-art planning systems.