Abstract
Different planning techniques have been applied to the problem of automated composition of web services. However, in realistic cases, this planning problem is far from trivial: the planner needs to deal with the nondeterministic behavior of web services, the partial observability of their internal status, and with complex goals expressing temporal conditions and preference requirements. We propose a planning technique for the automated composition of web services described in OWL-S process models, which can deal effectively with nondeterminism, partial observability, and complex goals. The technique allows for the synthesis of plans that encode compositions of web services with the usual programming constructs, like conditionals and iterations. The generated plans can thus be translated into executable processes, e.g., BPEL4WS programs. We implement our solution in a planner and do some preliminary experimental evaluations that show the potentialities of our approach, and the gain in performance of automating the composition at the semantic level w.r.t. the automated composition at the level of executable processes.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Andrews, T., Curbera, F., Dolakia, H., Goland, J., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weeravarana, S.: Business Process Execution Language for Web Services Version 1.1 (2003)
Ankolekar, A.: DAML-S: Web Service Description for the Semantic Web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, p. 348. Springer, Heidelberg (2002)
Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic Composition of E-services That Export Their Behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 43–58. Springer, Heidelberg (2003)
Bertoli, P., Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: MBP: a Model Based Planner. In: Proc. IJCAI 2001 Workshop on Planning under Uncertainty and Incomplete Information (2001)
Bertoli, P., Cimatti, A., Pistore, M., Traverso, P.: A Framework for Planning with Extended Goals under Partial Observability. In: Proc. 13th Int. Conf. on Automated Planning and Scheduling, ICAPS 2003 (2003)
Bertoli, P., Cimatti, A., Roveri, M., Traverso, P.: Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. In: Proc. 17th Int. Joint Conference on Artificial Intelligence, IJCAI 2001 (2001)
Bertoli, P., Pistore, M.: Planning with Extended Goals and Partial Observability. In: Proc. 14th Int. Conf. on Automated Planning and Scheduling, ICAPS 2004 (2004)
Bonet, B., Geffner, H.: Planning with Incomplete Information as Heuristic Search in Belief Space. In: Proc. 5th Int. Conf. on Artificial Intelligence Planning and Scheduling, AIPS 2000 (2000)
Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking. Artificial Intelligence 147(1-2), 35–84 (2003)
The OWL Services Coalition. OWL-S: Semantic Markup for Web Services — Technical White paper (OWL-S version 1.0) (2003)
Dal Lago, U., Pistore, M., Traverso, P.: Planning with a Language for Extended Goals. In: Proc. 18tn National Conference on Artificial Intelligence, AAAI 2002 (2002)
Mc Dermott, D.: The Planning Domain Definition Language Manual. Technical Report 1165, Yale Computer Science University (1998) CVC Report 98-003
Giunchiglia, F., Traverso, P.: Planning as Model Checking. In: Biundo, S., Fox, M. (eds.) ECP 1999. LNCS, vol. 1809, Springer, Heidelberg (2000)
Lazovik, A., Aiello, M.: Planning and Monitoring the Execution of Web Service Requests. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 335–350. Springer, Heidelberg (2003)
Mandell, D., McIlraith, S.: Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 227–241. Springer, Heidelberg (2003)
McIlraith, S., Fadel, R.: Planning with Complex Actions. In: Proc. 9th Int. Workshop on Non-Monotonic Reasoning, NMR 2002 (2002)
McIlraith, S., Son, S.: Adapting Golog for composition of semantic web Services. In: Proc. 8th Int. Conf. on Principles of Knowledge Representation and Reasoning, KR 2002 (2002)
McIlraith, S., Son, S., Zeng, H.: Semantic Web Services. IEEE Intelligent Systems 16(2), 46–53 (2001)
Narayanan, S., McIlraith, S.: Simulation, Verification and Automated Composition of Web Services. In: Proc. 11th Int. World Wide Web Conference, WWW 2002 (2002)
Pistore, M., Bertoli, P., Barbon, F., Shaparau, D., Traverso, P.: Planning and Monitoring Web Service Composition. In: Bussler, C.J., Fensel, D. (eds.) AIMSA 2004. LNCS (LNAI), vol. 3192, pp. 106–115. Springer, Heidelberg (2004)
Sheshagiri, M.M.: A Planner for Composing Services Described in DAML-S. In: Proc. AAMAS 2003 Workshop on Web Services and Agent-based Engineering (2003)
Thakkar, S., Knoblock, C., Ambite, J.L.: A View Integration Approach to Dynamic Composition ofWeb Services. In: Proc. ICAPS 2003 Workshop on Planning for Web Services (2003)
Wu, D., Parsia, B., Sirin, E., Hendler, J., Nau, D.: Automating DAML-S Web Services Composition using SHOP2. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 195–210. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Traverso, P., Pistore, M. (2004). Automated Composition of Semantic Web Services into Executable Processes. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds) The Semantic Web – ISWC 2004. ISWC 2004. Lecture Notes in Computer Science, vol 3298. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30475-3_27
Download citation
DOI: https://doi.org/10.1007/978-3-540-30475-3_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23798-3
Online ISBN: 978-3-540-30475-3
eBook Packages: Springer Book Archive