Approach to determination of completeness of composition of Semantic Web-services

V.A. Deretsky

Abstract


A Basic task of the service oriented paradigm/SOA is facilitation the automated composition of services motivated by scenarios developed in electronic commerce and e-science. The problem of the automated composition is begun with the specification of "goal" service and set of accessible for a search existing services. Composition depends on finding out the proper services on semantic level, mainly, through the entry/exit conditions, and assembling them in a "application" as a purpose service. Basedon this framework, we study in this paper a tightening problemwhich strengthens service discovery queries formulatedfrom conditions in the goal service. A tighter condition canfind more relevant services while a looser one may excludethe possibility of assembling a goal realization. The tighteningproblem is studied for conditions is studied in different logical languages, in this case, ones given for both integers and real numbers constraints.

Problems in programming 2009; 3: 30-39


References


Hull R., Su J. Tools for composite web services: A short overview // SIGMOD Record. − 2005. − N 34(2). − Р. 86–95.

Berardi D., Calvanese D., De Giacomo G. et al. Automatic composition of transition-based semantic web services with messaging // In Proc. 31st Int. Conf. on Very Large Data Bases (VLDB).− 2005.− Р. 613–624.

Berardi D., Calvanese D., De Giacomo G., et al. Automatic composition of e-services that export their behavior // In Proc. 1st Int. Conf. on Service Oriented Computing (ICSOC).− 2003.− Р. 43–58.

Gerede C., Hull R., Ibarra O., Su J. Automated composition of e-services: Lookaheads // In Proc. 2nd Int. Conf. onService-Oriented Computing (ICSOC). − 2004.

Ludaescher B., Altintas I., Berkley C., et al. Scientific workflow management and the kepler system // J. of Concurrency and Computation: Practice & Experience. Special Issue on Scientific Workflows.

Андон П., Дерецкий В. Проблемы пос­троения сервис-ориентированных прик-ладных информационных систем в Semantic web среде на основе агентного подхода // Проблемы программирования. − 2006. − № 2-3, − C. 493–502.

Rao J., Su X. A survey of automated web-service composition methods // In Proc. of the 1st Int.Workshop on Semantic Web Services and Web Process Composition. − 2004.

Elgedawy I., Tari Z., Winikoff M. Exact functional context matching for web services // In Proc. Int. Conf. on ServiceOriented Computing (ICSOC).− 2004.− P. 143–152.

Andon Ph., Deretsky V. Control Oriented Ontology and Process Description for Cooperation Agents in Information Retrieval // Sixth International Scientific Conference „Electronic Computers and Informatics ECI’2004”. Х Kosice – Herlany, Slovakia September 22-24.− 2004.− P. 14–18.

Дерецкий В. Подход к композиции Веб-сервисов на основе специификации функ-циональной семантики // Проблемы прог-раммирования. − 2009. − № 2. − C. 30–39.

Bernstein A. and Klein M. Discovering services: Towards high precision service retrieval // In Proc. of the CaiSE workshop on Web Services, e-Business, and the Semantic Web. – 2002.

Cardoso J. and Sheth A. Semantic e-workflow composition // Jnl. of Intelligent Info. Systems. – 2003. – N 21(3). – P. 191–225.

Lu S. Semantic Correctness of Transactions and Workflows // PhD thesis, SUNY at Stony Brook. –2002. – P. 8–18.

McIlraith S. and Son T.C. Adapting Colog for Composition of Semantic Web Services // In Proc. KRR. − 2002. − P. 482–493.

Berardi D., Calvanese D., Giacomo G.D., Lenzerini M. and Mecella M. Automatic composition of e-services that export their behavior. ICSOC. – 2003.

Gerede C., Hul lR., Ibarra O., Su J. Automated composition of e-services: Lookaheads // In Proc. 2nd Int. Conf. onService-Oriented Computing (ICSOC). − 2004.

Fu X. Bultan T. and Su J. Conversation pro-tocols: A formalism for specification and verification of reactive electronic services // Theoretical Computer Science. − 2004. – N 328 (1-2).

Fu X., T. Bultan, and Su J. Realizability of conversation protocols with message contents. // International Journal of Web Services Research. – 2005.– N 2. – P. 68–93.

W. M. P. van der Aalst. On the automatic generation of Workflow processes based on product structures // Computer in Industry. – 1999. – Vol. 39. N.2. – P. 97 – 111.

Tsalgatidou A., Athanasopoulos G. and et al. Developing scientific WorkFlows from heterogeneous services // ACM Sigmod Record. – 2006. – N 2. – P. 22–28; 1999. – N 39(2). – P. 97–111.

Ludaescher, Altintas I., Berkley C. and et al. Scientific Workflow management and the kepler system // J. of Concurrency and Computation. Practice & Experience. Special Issue on Scientific Workflows. http://users. sdsc.edu/ ~ludaesch/Paper/kepler-swf.pdf

Benatallah B., Dumas M., and et al. Declarative composition and peer-to-peer provisioning of dynamic web services. ICDE. – 2002.

Zeng L., Benatallah B. and et al. Qos-aware middleware for web services composition // IEEE Transactions on Software Engineering. – 2004. – N 30(5). – P. 311–327.

Narayanan S. and McIlraith S. Simulation, verification and automated composition of web services. http://www2002.org/presenta­tions/narayanan.pdf.

Narayanan S. and McIlraith S. Analysis and simulation of web services // Computer Networkds. – 2003. – N 42. – P. 675–693.

Berardi D., Calvanese D., Giacomo G. D. and et al. Automatic composition of transition-based semantic Web services with messaging. VLDB. – 2005.

Semantic Web Services Ontology (SWSO) 1.0. – 2005. September. http://www.w3.org/ Submission/SWSF-SWSO/.

Web Service Modeling Ontology. http://www.wsmo.org/.

Rao J. and Su X. A survey of automated Web service composition methods // In Proc. of the 1st Int.Workshop on SemanticWeb Services and Web Process Composition. – 2004.

OWL-S 1.1 Release.– 2004. November. http://www.daml.org/services/ OWL-S/1.1/

W3C. Web services semantics – WSDL-S 1.0. – 2005. Nov. http://www.w3.org/Submission/ WSDL-/


Refbacks

  • There are currently no refbacks.