IRS-III: A broker-based approach to semantic Web services
2008, Web Semantics: Science …
https://doi.org/10.1016/J.WEBSEM.2008.01.001Abstract
AI
AI
IRS-III presents a broker-based approach to enhance the efficiency of semantic Web services. By solving the limitations that software developers face in finding, composing, and resolving mismatches between Web services, IRS-III integrates semantic Web and Web service technologies. The framework emphasizes the interoperability and reusability of services through a combination of established Web services standards and innovative choreography and orchestration mechanisms, all while applying this approach in various domains such as eGovernment and business process modeling.
References (95)
- AMAZON. 2006. Available from http://www.amazon.com/gp/browse.html/104-6906496- 9857523?%5Fencoding=UTF8&node=3435361/.
- BEA SYSTEMS, IBM CORPORATION, MICROSOFT CORPORATION., SAP AG, SIEBEL SYSTEMS. 2002. Business Process Execution Language for Web Services. http://www.ibm.com/developerworks/webservices/library/ws- bpel BENJAMINS, V.R., PLAZA, E., MOTTA, E., FENSEL, D., STUDER, R., WIELINGA, B., SCHREIBER, G., AND ZDRAHAL, Z. 1998. IBROW3 -An Intelligent Brokering Service for Knowledge-Component Reuse on the World Wide Web. In Proceedings of the 11th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW98), Banff, Canada, April 1998.
- BERNERS-LEE, T., HENDLER, J. AND LASSILA, O. 2001. The Semantic Web. Scientific American, 284 (4), 34-43.
- BÖRGER, E. 1998. High Level System Design and Analysis Using Abstract State Machines. In proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods, 1-43.
- BURSTEIN, M. BUSSLER, C., ZAREMBA, M., FININ, T., HUHNS, M.N., PAOLUCCI, M., SHETH, A.P., WILLIAMS, S. 2005. A Semantic Web Services Architecture. IEEE Internet Computing, Vol. 9 , 5, 72 -81.
- CABRAL, L. AND DOMINGUE, J. 2005. Mediation of Semantic Web Services in IRS-III. In Proceedings of the International Conference on Service Oriented Computing (ICSOC 2005), Amsterdam, The Netherlands.
- CABRAL, L., DOMINGUE, J., GALIZIA, S., GUGLIOTTA, A., NORTON, B., TANASESCU, V., PEDRINACI, C. 2006. IRS-III: A Broker for Semantic Web Services based Applications. In Proceedings of the 5th International Semantic Web Conference, Athens, USA, November, 2006.
- CLOCKSIN, W.F. AND MELLISH, C.S. 1984. -Programming in Prolog. Springer-Verlag New York, Inc. New York, NY, USA.
- CRUBEZY, M., MOTTA, E., LU, W. AND MUSEN, M. 2002. Configuring Online Problem-Solving Resources with the Internet Reasoning Service. IEEE Intelligent Systems, 2, 34-42.
- DE GREEF, P. AND BREUKER, J. 1992. Analysing system-user cooperation in KADS. Knowledge Acquisition, Special issue: The KADS approach to knowledge engineering 4(1), 89-108.
- DIJKMAN, R. AND DUMAS, M. 2004. Service-Oriented Design: A Multi-Viewpoint Approach. International Journal of Cooperative Information Systems, 13(4): 337-368, 2004.
- DIP. 2004. Data, Information, and Process Integration with Semantic Web Services, http://dip.semanticweb.org/.
- DOMINGUE, J., CABRAL, L., GALIZIA, S., AND MOTTA, E. 2005a. A Comprehensive Approach to Creating and Using Semantic Web Services, In Proceedings of the W3C Workshop on Frameworks for Semantics in Web Service, Innsbruck, Austria, June 9-10, 2005.
- DOMINGUE, J., CABRAL, L., HAKIMPOUR, F., SELL D., AND MOTTA, E. 2004. IRS-III: A Platform and Infrastructure for Creating WSMO-based Semantic Web Services. In Proceedings of the Workshop on WSMO Implementations (WIW 2004), Frankfurt, Germany, September 29-30, 2004, CEUR Workshop Proceedings, ISSN 1613-0073. http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-113/paper3.pdf.
- DOMINGUE, J., GALIZIA, S., AND CABRAL, L. 2005b. Choreography in IRS-III-Coping with Heterogeneous Interaction Patterns in Web Services, In Proceedings of the 4th International Semantic Web Conference (ISWC 2005), November 6-10, 2005, Galway, Ireland.
- DOMINGUE, J. AND MOTTA, E. 2000. Planet-Onto: From News Publishing to Integrated Knowledge Management Support. IEEE Intelligent Systems Special Issue on Knowledge Management and Knowledge Distribution over the Internet, (26-32).
- DOMINGUE, J., ROMAN, D., AND STOLLBERG, M. 2005c. Web Service Modeling Ontology (WSMO) -An Ontology for Semantic Web Services, Position paper at the W3C Workshop on Frameworks for Semantics in Web Services, June 9-10, 2005, Innsbruck, Austria.
- DOMINGUE, J., STUTT, A., C MARTINS, M., TAN, J., PERTUSSON, H., MOTTA, E. 2003. Supporting Online Shopping through a Combination of Ontologies and Interface Metaphors. International Journal of Human Computer Studies, Vol.59, 5, (699 723).
- DZBOR, M., MOTTA, E., DOMINGUE, J. 2007. Magpie: Experiences with supporting Semantic Web browsing. Journal of Web Semantics, 2007.
- DUPPLAW, D., DASMAHAPATRA, S., HU, B., LEWIS, P. AND SHADBOLT., N. 2004. Multimedia Distributed Knowledge Management in MIAKT. In Proceedings of the Workshop on Knowledge Markup and Semantic Annotation. , in conjunction with ISWC 2004, November 2004, Hiroshima, Japan.
- FENSEL, D. AND BUSSLER, C. 2002. The web service modeling framework WSMF. Electronic Commerce Research and Applications, 1(2):113-137, 2002.
- FENSEL, D., LAUSEN, H., POLLERES, A., DE BRUIJN, J., STOLLBERG, M., ROMAN, D., DOMINGUE, J. 2006. Enabling Semantic Web Services: Web Service Modeling Ontology. Springer, 2006.
- FENSEL, D. AND MOTTA, E. 2001. Structured Development of Problem Solving Methods, IEEE Transactions on Knowledge and Data Engineering, 13(6), 9131-932.
- FORGY, C.L. 1981. OPS5 User's Manual, Technical Report CMU-CS-81-135, Carnegie Mellon University, 1981.
- EISENSTADT, M., KOMZAK, J. AND DZBOR, M. 2003. Instant messaging + maps = powerful collaboration tools for distance learning. In Proceedings of TelEdu '03, Havana, Cuba, 17-22 May 2003.
- GALIZIA, S., AND DOMINGUE, J. 2004. Towards a Choreography for IRS-III. In Proceedings of the Workshop on WSMO Implementations (WIW 2004), Frankfurt, Germany, September 29-30, 2004, CEUR Workshop Proceedings, ISSN 1613-0073. http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol- 113/paper7.pdf.
- GANGEMI, A., GUARINO, N., MASOLO, C., OLTRAMARI, A., SCHNEIDER, L. 2002. Sweetening ontologies with DOLCE. In Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management (EKAW02), Siguenza, Spain, October, 2002.
- GOOGLE . 2005. Google Web APIs http://www.google.com/apis/index.html/.
- GRUBER, T. R. 1993. A Translation Approach to Portable Ontology Specifications. Knowledge Acquisition, 5(2).
- GRUBER, T. R., AND OLSEN, G. R. 1994. An ontology for engineering mathematics. In Proceedings of Fourth International Conference on Principles of Knowledge Representation and Reasoning, Gustav Stresemann Institut, Bonn, Germany, May 24-27, 1994.
- HAGEL, J., DURCHSLAG, S. AND SEELY BROWN, J. 2002. Orchestrationg Loosely Coupled Business Processes: The Secret to Successful Collaboration. http://www.johnhagel.com/paper_orchestratingcollaboration.pdf HAKIMPOUR, F., DOMINGUE, J., MOTTA, E., CABRAL, L. AND LEI, Y. 2004. Integration of OWL-S into IRS-III, In Proceedings of the first AKT Workshop on Semantic Web Services.
- HAVANTZAS, G., BURDETT, D., RITZINGER, G., FLETCHER, T. AND LAFON, Y., BARRETO, C. 2005. Web Service Choreography Description Language Version 1.0. W3C Working Draft 17 December 2004. (Available at http://www.w3.org/TR/ws-cdl-10/).
- KELLER, G., NÜTTGENS, M., AND SCHEER, A. W. 1992. Semantische Prozessmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK). Technical Report Veröffentlichungen des Instituts für Wirtschaftsinformatik (IWi), Heft 89. Universität des Saarlandes, January 1992.
- LASSILA, O. 2001. Enabling Semantic Web Programming by Integrating RDF and Common Lisp. In Proceedings of the First Semantic Web Working Symposium. Stanford University, 2001.
- LHDL. 2006. Living Human Digital Library, http://www.livinghuman.org/.
- LUISA. 2006. Learning Content Management System Using Innovative Semantic Web Services Architecture, http://luisa.atosorigin.es/.
- JABBER. 2006. Jabber SoftwareFoundation. http://www.jabber.org/.
- MARK., D. 1989. Cognitive Image-Schemata for Geographic Information: Relations to User Views and GIS Interfaces. In Proceedings of GIS/LIS '89 (pp. 551-560), Orlando, Florida, 1989.
- MEDJAHED, B. 2005. A Multilevel Composability Model for Semantic Web Services. IEEE Transactions on Knowledge and Data Engineering, 17(7), 954 -968, July 2005.
- MEDJAHED, B. AND BOUGUETTAYA, A. 2005. Customized Delivery of E-Government Web Services. IEEE Intelligent Systems, 20(6), December 2005. METEOR-S. 2006. METEOR-S: Semantic Web Services and Processes. http://lsdis.cs.uga.edu/projects/meteor-s/.
- MIAKT. 2002. Medical Imaging and Advanced Knowledge Technologies, http://www.aktors.org/miakt/.
- MOTTA, E. 1998. An Overview of the OCML Modelling Language, In Proceedings of the 8th Workshop on Knowledge Engineering Methods and Languages (KEML '98).
- MOTTA, E., DOMINGUE, J., CABRAL, L., AND GASPARI, M. 2003. IRS-II: A Framework and Infrastructure for Semantic Web Services. In Proceedings of the 2nd International Semantic Web Conference (ISWC2003,) 20- 23 October 2003, Sundial Resort, Sanibel Island, Florida, USA.
- NORTON, B. 2007. Reasoning About Behaviour on the Semantic Web. In Proceedings on Programming Paradigms for the Web: Web Programming and Web Services, Dagstuhl, Germany (to appear).
- NORTON, B. PEDRINACI, C., HENOCQUE, L. AND KLEINER M. 2007. 3-Level Behavioural Models for Semantic Web Services. Special issue of Multi-Agent and Grid Systems. (to appear).
- OASIS, SEE TC. 2006. http://www.oasis-open.org/committees/tc_home.php?wg_abbrev=semantic-ex/.
- OMG. 2002. The Object Management Group: Meta-Object Facility, version 1.4, 2002. Available at http://www.omg.org/technology/documents/formal/mof.htm.
- OWL. 2004. OWL Web Ontology Language Overview. http://www.w3.org/TR/owl-features/.
- OWL-S. 2006. OWL-S 1.2 Pre-Release, (http://www.ai.sri.com/daml/services/owl-s/1.2/).
- OWL-S TOOLS. 2006. http://www.daml.org/services/owl-s/tools.html.
- PAOLUCCI, M., ANKOLEKAR, A., SRINIVASAN, N. AND SYCARA, K. 2003. The DAML-S Virtual Machine, In Proceedings of the Second International Semantic Web Conference (ISWC), 2003, Sandial Island, Fl, USA, October 2003, 290-305.
- PATIL, A., OUNDHAKAR, S., SHETH, A. AND VERMA, K. 2004. METEOR-S Web service Annotation Framework, Proceedings of the Thirteenth International World Wide Web Conference (WWW2004), May, 2004, 553-562.
- RDF. 2004. RDF Primer. http://www.w3.org/TR/rdf-primer/.
- RDF SCHEMA. 2004. RDF Vocabulary Description Language 1.0: RDF Schema. http://www.w3.org/TR/rdf- schema/.
- RIVA, A. AND RAMONI, M. 1996. LispWeb: A Specialised HTTP Server for Distributed AI Applications. Computer Networks and ISDN Systems, 28, 7-11, 953-961.
- SAWSDL. 2006. Semantic Annotations for Web Services Description Language Working Group. http://www.w3.org/2002/ws/sawsdl/.
- SHI, X. AND JAGANNATHAN, V. 2005. Rebuilding the Semantic Web Service Architecture, Proceedings of the 2nd international workshop on semantic and dymanic Web processes (SDWP 2005), in conjunction with the International Conference on Web Services (ICWS 2005), Orlando, Florida, USA, July 11-15 2005.
- SIVASHANMUGAM, K., MILLER, J.A., SHETH AND VERMA, K. 2005. Framework for Semantic Web Process Composition. International Journal of Electronic Commerce, 9(2), 71-106.
- SRINIVASAN, N., PAOLUCCI, M. AND SYCARA, K. 2006. Semantic Web Service Discovery in the OWL-S IDE. In proceedings of Hawaii International Conference on System Sciences (HICSS 2006), Hyatt Regency Kauai, Hawaii, January 4-6, 2006.
- SOAP. 2003. SOAP Version 1.2 Part 0: Primer, (http://www.w3.org/TR/soap12-part0/).
- STOLLBERG, M. AND NORTON, B. 2007. A Refined Goal Model for Semantic Web Services. In Proc. of the 2nd International Conference on Internet and Web Applications and Services (ICIW 2007), Mauritius, 2007.
- SUPER. 2006. Semantics Utilised for Process management within and between EnteRprises, http://www.ip- super.org/.
- SWSF. 2005. Semantic Web Services Framework, http://www.daml.org/services/swsf/.
- SWSI. 2006. The Semantic Web Services Initiative (SWSI), http://www.swsi.org/.
- TANASESCU, V., GUGLIOTTA, A., DOMINGUE, J., VILLARÍAS, L., DAVIES, R., ROWLATT, M., RICHARDSON, M., AND STINCIC, S. 2007. Geospatial Data Integration with Semantic Web Services: the eMerges Approach, The Geospatial Web, eds. Arno Scharl, Klaus Tochtermann, Springer.
- UDDI. 2003. UDDI Spec Technical Committee Specification v. 3.0, http://uddi.org/pubs/uddi-v3.0.1- 20031014.htm.
- 2004b. Web Services Glossary. W3C Working Group Note. 11 February 2004 (Available at http://www.w3.org/TR/ws-gloss/).
- WSDL. 2001. Web Services Description Language (WSDL) 1.1, http://www.w3.org/TR/2001/NOTE-wsdl- 20010315.
- WSML. 2005. The Web Service Modeling Language WSML, http://www.wsmo.org/TR/d16/d16.1/v0.3/.
- WSMO. 2007. Web Service Modeling Ontology (WSMO), http://www.wsmo.org/TR/d2/v1.4/.
- WSMO STUDIO. 2006. http://www.wsmostudio.org/.
- WSMX. 2005. Overview and Scope of WSMX, http://www.wsmo.org/TR/d13/d13.0/v0.2/. (has-interface :type meta-interface) (used-mediator :type meta-oo-mediator)))
- def-class meta-interface () ?x :iff-def (or (= ?x interface) (subclass-of ?x interface)))
- def-class interface (wsmo-entity) ((has-choreography :type meta-choreography) (has-orchestration :type meta-orchestration) (used-mediator :type meta-oo-mediator)))
- def-class meta-mediator () ? :iff-def (or ( x = ?x mediator) (subclass-of ?x
- def-class mediator (wsmo-entity) ((has-source-component :type meta-wsmo-entity) (has-target-component :type meta-wsmo-entity) (has-mapping-rules :type mapping-rules) (has-mediation-service :type meta-mediation-service
- def-class meta-wg-mediator (meta-mediator) ?x :iff-def (or (= ?x wg-mediator) (subclass-of ?x wg-mediator
- def-class wg-mediator (mediator) ((has-source-component :type meta-web-service-or-wg-mediator) (has-target-component :type meta-goal ( -or-wg-mediator) used-mediator :type meta-oo-mediator
- def-class meta-gw-mediator (meta-mediator) ?x :iff-def (or (= ?x gw-mediator) (subclass-of ?x gw-mediator
- def-class gw-mediator (mediator) ((has-source-component :type meta-goal-or-gw-mediator) (has-target-component :type meta-web-service-or-gw-mediator) (used-mediator :type meta-oo-mediator)))
- def-class meta-ww-mediator (meta-mediator) ?x :iff-def (or (= ?x ww-mediator) (subclass-of ?x ww-mediator
- def-class ww-mediator (mediator) ((has-source-component :type meta-web-service-or-ww-mediator) (has-target-component :type meta-web-service-or-ww-mediator) (used-mediator :type meta-oo-mediator)))
- def-class meta-gg-mediator (meta-mediator) ?x :iff-def (or (= ?x gg-mediator) (subclass-of ?x gg-mediator
- def-class gg-mediator (mediator) ((used-mediator :type meta-oo-mediator) (has-source-component :type meta-goal-or-gg-mediator) (has-target-component :type meta-goal-or-gg-mediator
- def-class meta-oo-mediator (meta-mediator) ?x :iff-def (or (= ?x oo-mediator) (subclass-of ?x oo-mediator
- def-class oo-mediator (mediator) ((has-source-component :type meta-oo-mediator
- def-class meta-wg-or-oo-mediator (meta-mediator) ?x :iff-def (or (= ?x wg-or-oo-mediator) (subclass-of ?x wg-or-oo-mediator)))
- def-class wg-or-oo-mediator (mediator) ?x :iff-def (or (oo-mediator ?x) (wg-mediator ?
- def-class meta-goal-or-gg-mediator (meta-mediator) ?x :iff-def (or (= ?x goal-or-gg-mediator) (subclass-of ?x goal-or-gg-mediator)))
- def-class goal-or-gg-mediator (meta-mediator) ?x :iff-def (or (goal-mediator ?x) (gg-mediator ?
- def-class meta-web-service-or-ww-mediator (meta-mediator) ?x :iff-def (or (= ?x web-service-or-ww-mediator) (subclass-of ?x web-service-or-ww-mediator
- def-class web-service-or-ww-mediator (mediator) ?x :iff-def (or (web-service ?x) (ww-mediator ?
- def-class meta-mediation-service () ?x :iff-def (or (meta-goal ?x) (meta-web-service ?
- def-class mediation-service () ?x :iff-def (or (goal ?x) (web-service ?
- def-procedure instantiate-web-service (?goal-inst ?web-service-type) :body (in-environment ((?name . (new-symbol ?web-service-type))) (tell (append (list-of ?web-service-type ?name) nil)) (tell (suitable-web-service ?goal-inst ?name)) ?name)) (def-relation can-solve-goal (?goal ?thing) :sufficient." (or (and (instance ?goal ( ) can-solve-goal (the-parent ?goal) ?thing)) (and (meta-web-service ?thing) (= ?capability (the-class-slot-value ?thing has-capability)) (meta-capability ?capability) (= ?mediator (the-class-slot-value ?capability used-mediator)) (meta-mediator ?mediator) (= ?goal (the-class-slot-value ?mediator has-source-component