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
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Automated composition of web services by planning at the knowledge level
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Automatic web services composition in trustaware communities
Proceedings of the 3rd ACM workshop on Secure web services
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
Adaptive Service Composition in Flexible Processes
IEEE Transactions on Software Engineering
Towards the composition of stateful and independent semantic web services
Proceedings of the 2008 ACM symposium on Applied computing
A Synergy of Planning and Ontology Concept Ranking for Semantic Web Service Composition
IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
Dynamic Web Services Provisioning with Constraints
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Timed Properties-Aware Asynchronous Web Service Composition
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Leveraging New Plans in AgentSpeak(PL)
Declarative Agent Languages and Technologies VI
Automatic web service composition with abstraction and refinement
Proceedings of the 18th international conference on World wide web
Industry traction for MAS technology: would a rose by any other name smell as sweet?
International Journal of Agent-Oriented Software Engineering
Architecture and behaviour analysis for engineering Service Modes
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
The Two-Variable Situation Calculus
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Assembling Composite Web Services from Autonomous Components
Proceedings of the 2007 conference on Emerging Artificial Intelligence Applications in Computer Engineering: Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies
Synthesis and Composition of Web Services
Formal Methods for Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Contingent planning with goal preferences
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Fusing procedural and declarative planning goals for nondeterministic domains
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Journal of Artificial Intelligence Research
Automated composition of web services by planning at the knowledge level
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Efficient abstraction and refinement for behavioral description based web service composition
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A Generative Framework for Service Process Composition
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Automated composition of Web services via planning in asynchronous domains
Artificial Intelligence
A lower bound on web services composition
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Controller/Orchestrator Synthesis via Filtration
Electronic Notes in Theoretical Computer Science (ENTCS)
Composition of Services with Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
Agent composition synthesis based on ATL
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A conceptual modeling approach for web service composition supporting service re-configuration
APCCM '10 Proceedings of the Seventh Asia-Pacific Conference on Conceptual Modelling - Volume 110
A framework for automatically supporting end-users in service composition
The smart internet
Service research challenges and solutions for the future internet
A framework for automatically supporting end-users in service composition
The smart internet
Ontology-driven service composition for end-users
Service Oriented Computing and Applications
UML extensions for service-oriented systems
Rigorous software engineering for service-oriented systems
Specification and analysis of dynamically-reconfigurable service architectures
Rigorous software engineering for service-oriented systems
Towards Semantics-Based Instantiation of Services
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 01
Towards a unified model for web services composition
ASIAN'05 Proceedings of the 10th Asian Computing Science conference on Advances in computer science: data management on the 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 minimalist approach to semantic annotations for web processes compositions
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
ASTRO: supporting composition and execution of web services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Reasoning about web services in a temporal action logic
Reasoning, Action and Interaction in AI Theories and Systems
QoS-Driven proactive adaptation of service composition
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Orchestration under security constraints
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
SAP speaks PDDL: exploiting a software-engineering model for planning in business process management
Journal of Artificial Intelligence Research
Automatic behavior composition synthesis
Artificial Intelligence
A Computational Logic Application Framework for Service Discovery and Contracting
International Journal of Web Services Research
Behavioural description based web service composition using abstraction and refinement
International Journal of Web and Grid Services
A request oriented model for web services
AWC '13 Proceedings of the First Australasian Web Conference - Volume 144
The WTE+ framework: automated construction and runtime adaptation of service mashups
Automated Software Engineering
Automated runtime repair of business processes
Information Systems
Hi-index | 0.00 |
In this paper, we address the problem of the automated composition of web services by planning on their "knowledge level" models. We start from descriptions of web services in standard process modeling and execution languages, like BPEL4WS, and automatically translate them into a planning domain that models the interactions among services at the knowledge level. This allows us to avoid the explosion of the search space due to the usually large and possibly infinite ranges of data values that are exchanged among services, and thus to scale up the applicability of state-of-the-art techniques for the automated composition of web services. We present the theoretical framework, implement it, and provide an experimental evaluation that shows the practical advantage of our approach w.r.t. techniques that are not based on a knowledgelevel representation.