Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
IEEE Intelligent Systems
Planning with a language for extended goals
Eighteenth national conference on Artificial intelligence
Weak, strong, and strong cyclic planning via symbolic model checking
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Type based service composition
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
A formal model for Web service composition
Proceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering
Extending online travel agency with adaptive reservations
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Synthesis of web services orchestrators in a timed setting
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
On the aggregation problem for synthesized web services
Proceedings of the 13th International Conference on Database Theory
A plug-in tool for composing web services for applications development
ISPA'06 Proceedings of the 2006 international conference on Frontiers of High Performance Computing and Networking
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
A formal model for semantic web service composition
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Web service composition: an approach using effect-based reasoning
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
Specifying and Composing Web Services with an Environment Ontology-Based Approach
International Journal of Web Services Research
On the aggregation problem for synthesized Web services
Journal of Computer and System Sciences
Hi-index | 0.00 |
Most of the work on automated composition of web services has focused so far on the problem of composition at the functional level, i.e., composition of atomic services that can be executed in a single request-response step. In this paper, we address the problem of automated composition at the process level, i.e., a composition that takes into account that executing a web service requires interactions that may involve different sequential, conditional, and iterative steps.We define two kinds of process-level composition problems: on-the-fly compositions that satisfy one-shot user requests specified as composition goals, and a more general form, called once-for-all compositions, whose goal is to build a general composed web service that is able to interact directly with the users, receive requests from them, and propose suitable answers. We propose a solution to these two kinds of process-level compositions, and apply the solution to the case of web services described in OWL-S. As a result, we automatically generate process-level compositions as executable OWL-S process models. We show that, while executable on-the-fly compositions can be described as standard OWL-S process models, once-for-all compositions need OWL-S process models to be extended with receive and reply constructs.