Hostname: page-component-586b7cd67f-rdxmf Total loading time: 0 Render date: 2024-11-24T14:25:52.243Z Has data issue: false hasContentIssue false

Semantic composition of business processes using Armstrong's Axioms

Published online by Cambridge University Press:  21 March 2014

Duygu Celik
Affiliation:
Computer Engineering Department, Istanbul Aydin University, Istanbul, Turkey; e-mail: duygucelik@msn.com
Atilla Elci
Affiliation:
Department of Electrical-Electronics Engineering, Aksaray University, Aksaray, Turkey; e-mail: atilla.elci@gmail.com

Abstract

Lack of sufficient semantic description in the content of Web services makes it difficult to find and compose suitable Web services during analysis, search, and matching processes. Semantic Web Services are Web services that have been enhanced with formal semantic description, which provides well-defined meaning. Due to insertion of semantics, meeting user demands will be made possible through logical deductions achieving resolutions automatically. We have developed an inference-based semantic business process composition agent (SCA) that employs inference techniques. The semantic composition agent system is responsible for the synthesis of new services from existing ones in a semi-automatic fashion. SCA System composes available Web Ontology Language for Web services atomic processes utilizing Revised Armstrong's Axioms (RAAs) in inferring functional dependencies. RAAs are embedded in the knowledge base ontologies of SCA System. Experiments show that the proposed SCA System produces process sequences as a composition plan that satisfies user's requirement for a complex task. The novelty of the SCA System is that for the first time Armstrong's Axioms are revised and used for semantic-based planning and inferencing of Web services.

Type
Articles
Copyright
Copyright © Cambridge University Press 2014 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Abiteboul, S., Hull, R., Vianu, V. 1995. Foundations of Databases. Addison-Wesley, 0-201-53771-0.Google Scholar
Armstrong, W. W. 1974. Dependency Structures of Data Base Relationships Information Processing 74. North-Holland Pub. Co, 580583.Google Scholar
Aydin, O., Cicekli, N. K., Cicekli, I. 2006. Towards automated Web Service composition with the abductive event calculus. In Proceedings of Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), 103–104, Seattle, USA.Google Scholar
Aydin, O., Cicekli, N. K., Cicekli, I. 2008. Automated Web Services Composition with the Event Calculus. Engineering Societies in the Agents World VIII (ESAW 2007), Lecture Notes in Computer Science, Springer Berlin/Heidelberg Press, 0302-9743, 142157.Google Scholar
Berners-Lee, T., Hendler, J., Lassila, O. 2001. The Semantic Web. Scientific American.Google ScholarPubMed
Celik, D., Elci, A. 2008. Provision of Semantic Web Services through an intelligent Semantic Web Service finder. Multiagent and Grid Systems—An International Journal 4(3), 15741702. IOS Press, 315–334.Google Scholar
Fagin, R. 1977. Functional dependencies in a relational data base and propositional logic. IBM Journal of Research and Development 21(6), 543544.CrossRefGoogle Scholar
Forgy, C. L. 1991. Rete: a fast algorithm for the many pattern/many object pattern match problem, Expert systems: a software methodology for modern applications, IEEE Computer Society Press, Los Alamitos, CA, 324341.Google Scholar
Hashemian, S. V., Mavaddat, F. 2006. Composition algebra: process composition using algebraic rules. Third International Workshop on Formal Aspects of Component Software (FACS'06), Prague, Czech Republic.Google Scholar
Kang, D., Lee, S., Kim, K., Lee, J. Y. 2009. An OWL-based semantic business process monitoring framework. Journal of Expert Systems with Applications 36(4), 09574174.CrossRefGoogle Scholar
McDermott, D. 1998. The Planning Domain Definition Language Manual. Yale Computer Science Report 1165 (CVC Report 980003).Google Scholar
McIlraith, S. A., Son, T. C., Zeng, H. 2001. Semantic Web Services. IEEE Intelligent Systems 16, 4653.CrossRefGoogle Scholar
Motik, B., Horrocks, I., Sattler, U. 2007. Bridging the gap between OWL and relational databases. In Proceedings of the 16th international conference on World Wide Web, 807–816.Google Scholar
Obrst, L. 2003. Ontologies for semantically interoperable systems. In Proceedings of the Twelfth International Conference on Information and Knowledge Management, 366–369.Google Scholar
OWL. 2004. OWL Web Ontology Language Overview: W3C Recommendation. Retrieved October 1, 2009. Available at http://www.w3.org/tr/owl-features/Google Scholar
OWL-S. 2004. Semantic Markup for Web Services: W3C Recommendation. Retrieved October 1, 2009. Available at http://www.w3.org/submission/owl-s/Google Scholar
Rao, J., Su, X. 2005. A Survey of Automated Web Service Composition Methods. Lecture Notes in Computer Science, 3387, 0302-9743 (Print) 1611-3349 (Online), 43–54.Google Scholar
Sirin, E., Parsia, B. 2004. Planning for Semantic Web Services. In Semantic Web Services Workshop at 3rd International Semantic Web Conference.Google Scholar
Sirin, E., Parsia, B., Wu, D., Hendler, J., Nau, D. 2004. HTN planning for Web service composition using SHOP2. Journal of Web Semantics 1(4), 377396.CrossRefGoogle Scholar
Yang, B., Qin, Z. 2010. Composing semantic Web services with PDDL. Journal of Information Technology 9(1), 4854.CrossRefGoogle Scholar