Abstract
As the web services proliferate and complicate it is becoming an overwhelming job to manually prepare the web service compositions which describe the communication and integration between web services. This paper analyzes the usage of the Event Calculus, which is one of the logical action-effect definition languages, for the automated preparation and execution of web service compositions. In this context, abductive planning capabilities of the Event Calculus are utilized. It is shown that composite process definitions in OWL-S can be translated into Event Calculus axioms so that planning with generic process definitions is possible within this framework.
This work is supported by the Scientific and Technical Research Council of Turkey, METU-ISTEC Project No: EEEAG 105E068.
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
Aydin, O.: Automated web service composition with the event calculus, M.S. Thesis, Dept. of Computer Engineering, METU, Ankara (2005)
Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American Magazine (May 2001)
Cicekli, N.K., Cicekli, I.: Formalizing the specification and execution of workflows using the event calculus. Information Sciences (to appear)
Chen, L., Yang, X.: Applying AI Planning to Semantic Web Services for workflow Generation. In: Proc. of the 1st Intl. Conf. on Semantics, Knowledge and Grid, SKG 2005 (2005)
Jacinto, J.D.: REACTIVE PASCAL and the event calculus: A platform to program reactive, rational agents. In: Proc. of the Workshop at FAPR 1995: Reasoning about Actions and Planning in Complex Environments (1996)
Kowalski, R.A., Sergot, M.J.: A Logic-Based Calculus of Events. New Generation Computing 4(1), 67–95 (1986)
Kuter, U., Sirin, E., Nau, D.S., Parsia, B., Hendler, J.: Information gathering during planning for web service composition. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 335–349. Springer, Heidelberg (2004)
Levesque, H., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.: GOLOG: A Logic programming language for dynamic domains. Journal of Logic Programming 31(1-3), 59–84 (1997)
Marjanovic, O.: Managing the normative context of composite e-services. In: ICWS-Europe, pp. 24–36 (2003)
McDermott, D.: Estimated-regression planning for interactions with Web Services. In: Sixth International Conference on AI Planning and Scheduling. AAAI Press, Menlo Park (2002)
McDermott, D.V., Dou, D., Qi, P.: PDDAML, An Automatic Translator Between PDDL and DAML, http://www.cs.yale.edu/homes/dvm/daml/pddl_daml_translator1.html
McIlraith, S.A., Son, T.: Adapting Golog for composition of semantic Web services. In: Proceedings of Eight International Conference on Principles of Knowledge Representation and Reasoning, pp. 482–493 (2002)
McIlraith, S.A., Son, T., Zeng, H.: Semantic Web services. IEEE Intelligent Systems, March/April (2001)
Medjahed, B., Bouguettaya, A., Elmagarmid, A.K.: Composing web services on the semantic web. The VLDB Journal 12(4), 333–351 (2003)
Oh, S.G., Lee, D., Kumara, S.R.T.: A comparative Illustration of AI planning-based web services composition. ACM SIGecom Exchanges 5, 1–10 (2005)
OWL-S: Semantic Markup for Web Services Version 1.1, November 2004. Publish of Semantics Web Services Language (SWSL) Committee (Last Accessed: 17 September 2005), http://www.daml.org/services/owl-s/1.1/overview/
Peer, J.: Web Service Composition as AI Planning- a Survey*, Technical report, Univ. of St. Gallen, Switzerland (2005), http://elektra.mcm.unisg.ch/pbwsc/docs/pfwsc.pdf
Rao, J., Su, X.: A Survey of Automated Web Service Composition Methods. In: Proceedings of First International Workshop on Semantic Web Services and Web Process Composition (July 2004)
Rouached, M., Perrin, O., Godart, C.: Towards formal verification of web service composition. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 257–273. Springer, Heidelberg (2006)
Shanahan, M.P.: The Event Calculus Explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol. 1600, pp. 409–430. Springer, Heidelberg (1999)
Shanahan, M.P.: An abductive event calculus planner. Journal of Logic Programming 44(1-3), 207–240 (2000)
Sirin, E., Hendler, J., Parsia, B.: Semi-automatic Composition of Web Services using Semantic Descriptions. In: Web Services: Modeling, Architecture and Infrastructure workshop in conjunction with ICEIS 2003 (2002)
Stathis, K., Lekeas, G., Kloukinas, C.: Competence checking for the global e-service society using games. In: O’Hare, G., O’Grady, M., Dikinelli, O., Ricci, A. (eds.) Proceedings of Engineering Societies in the Agents World, ESAW 2006 (2006)
Wu, D., Sirin, E., Parsia, B., Hendler, J., Nau, D.: Automatic web services composition using SHOP2. In: Proceedings of Planning for Web Services Workshop, ICAPS 2003 (June 2003)
Yolum, P., Singh, M.: Reasoning About Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols. Annals of Mathematics and AI 42(1-3) (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aydın, O., Kesim Cicekli, N., Cicekli, I. (2008). Automated Web Services Composition with the Event Calculus. In: Artikis, A., O’Hare, G.M.P., Stathis, K., Vouros, G. (eds) Engineering Societies in the Agents World VIII. ESAW 2007. Lecture Notes in Computer Science(), vol 4995. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87654-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-87654-0_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87653-3
Online ISBN: 978-3-540-87654-0
eBook Packages: Computer ScienceComputer Science (R0)