Abstract
Web Service composition is necessary when a single Web Service cannot satisfy the complex functional requirements. One of the key challenges in Composite Semantic Web Services is the composition of its atomic processes. In this work a novel architecture is proposed for the composition of composite semantic web services. An algorithm is used for the service discovery, which performs a fine grained match at the level of atomic process, rather than at the level of entire service. The architecture takes the advantage of abductive event calculus that uses abductive theorem prover to generate a plan for the composition of the atomic services.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Brogi, A., Corfini, S., Popescu, R.: Semantic-Based Composition-Oriented Discovery of Web Services. ACM Transactions on Internet Technology 8(4), 19:1-19:33 (2008)
Abouzaid, F., Mullins, J.: A Calculus for Generation, Verification and Refinement of BPEL Specifications. Electronic Notes in Theoretical Computer Science 200(3), 43–65 (2008)
Chifu, V., Salomie, I., Chifu, E.: Fluent Calculus-Based Web Service Composition - From OWL-S to Fluent Calculus. In: Intelligent Computer Communication and Processing, Cluj-Napoca, Romania, August 28-30, pp. 161–168. IEEE Explore Digital Library, Washington, USA (2008)
Aydin, O., Kesim Cicekli, N., Cicekli, I.: Automated Web Service Composition with the event calculus. In: 8th International Workshop on Engineering Societies in the Agents World, pp. 142–157. Springer, Heidelberg (2007)
David, M., Mark, B., Jerry, H., Ora, L., Drew, M., Sheila, M., Srini, N., Massimo, P., Bijan, P.,Terry, P., Evren, S., Naveen, S., Katia, S.: OWL-S Semantic Markup for Web Services, http://www.w3.org/submission/owl-s
Hoffmann, J., Bertoli, P., Helmert, M., Pistore, M.: Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. Journal of Artificial Intelligence Research 35(1), 49–117 (2009)
Seog-Chan, O., Lee, D., Kumara, S.: A Comparative Illustration of AI Planning-based Web Services Composition. ACM SIGecom Exchanges 5(5), 1–10 (2005)
Paulraj, D., Swamynathan, S.: Dynamic Discovery and Composition of Semantic Web Services Using Abductive Event Calculus. In: Proceedings of ITC 2010- International Conference on Recent Trends in Information, Telecommunication, and Computing, Kochi, India, March 12-13, pp. 70–74. IEEE Computer Society, Washington, USA (2010)
Ozorhan, E., Kuban, E., Cicekli, N.: Automated composition of web services with the abductive event calculus. Elsevier Information Sciences 180(19), 3589–3613 (2010)
Kowalski, R.A., Sergot, M.J.: A Logic–based calculus of events. New Generation Computing 4(1), 67–95 (1986)
Meditskos, G., Bassiliades, N.: Structural and Role-Oriented Web Service Discovery with Taxonomies in OWL-S. IEEE Transactions On Knowledge And Data Engineering 22(2), 278–290 (2010)
Okutan, C., Cicekli, N.: A monolithic approach to automated composition of semantic web services with event calculus. Elsevier Knowledge-Based Systems 23(5), 440–454 (2010)
Segev, A., Toch, E.: Context-Based Matching and Ranking of Web Services for Composition. IEEE Transactions On Services Computing 2(3), 210–222 (2009)
Gaaloul, W., Rouached, M., Godart, C., Hauswirth, M.: Verifying composite service transactional behavior using event calculus. In: Chung, S. (ed.) OTM 2007, Part I. LNCS, vol. 4803, pp. 353–370. Springer, Heidelberg (2007)
Shanahan, M.: A Circumscriptive Calculus of Events. Elsevier Artificial Intelligence 77(2), 249–284 (1995)
Petrie, C.: Planning Process Instances with Web Services. In: Proceedings of the International Conference on Enterprise Information Systems AT4WS 2009, Milan, Italy (pp, May 6-7, pp. 31–35. IGI Publishing (2009)
Salomie, I., Viotica, R., Harsa, I., Gherga, M.: Towards Automated Web Service Composition with Fluent Calculus and Domain Ontologies. In: Proceedings of the iiWAS2008, Linz, Austria, November 24-26, pp. 201–207. ACM, New York (2008)
Sean, B., Frank, H., Jim, H., Ian, H., Deborah, L., Peter, F. and Lynn, A.: OWL Web Ontology Language (2004), http://www.w3.org/TR/owl-ref/
Shanahan, M.: 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)
Seog-Chan, O., Lee, D., Kumara, S.: Web Service Planner (WSPR): An Effective and Scalable Web Service Composition Algorithm. International Journal of Web Services Research 4(1), 1–22 (2007)
Shanahan, M.: An Abductive Event Calculus Planner. Journal of Logic Programming 44(1-3), 207–240 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Paulraj, D., Swamynathan, S. (2011). Composition of Composite Semantic Web Services Using Abductive Event Calculus. In: Mantri, A., Nandi, S., Kumar, G., Kumar, S. (eds) High Performance Architecture and Grid Computing. HPAGC 2011. Communications in Computer and Information Science, vol 169. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22577-2_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-22577-2_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22576-5
Online ISBN: 978-3-642-22577-2
eBook Packages: Computer ScienceComputer Science (R0)