350 rub
Journal Information-measuring and Control Systems №8 for 2012 г.
Article in number:
Semantic Web-services, their discovery and composition
Keywords: Web-service service composition ontology of object domain atomic and composite processes
Authors:
A.A. Khobotov, V.V. Klimov, V.P. Klimov, A.A. Tsyganov, B.A. Shchukin
Abstract:
Composition problems of web-services based on semantic descriptions given in the terms of OWL-S are considered. The mathematical model of processes and the task of web-services and their compositions discovery are represented. Application possibility of the automatic theorem proving system SPASS for solution of this task is considered.
Pages: 33-38
References
  1. Brogi A., Corfini S., and Popescu R. Semantics-Based composition-oriented discovery of Web services || ACM Trans. Internet Technol. September 2008. 8. 4. Article 19.
  2. Web Services Description Language (WSDL 1.1), http://www.w3.org/TR/wsdl
  3. Джозефрай Д. Практическая хореография Web-сервисов // http://www.iso.ru/journal/articles/410.html
  4. UDDI | Online community for the Universal Description, Discovery..., uddi.xml.org
  5. OWL-S: Semantic Markup for Web Services // http://www.w3.org/Submission/OWL-S
  6. Semantic Annotations for WSDL and XML Schema // http://www.w3.org/TR/sawsdl/
  7. Web Service Modeling Ontology // http://www.wsmo.org/
  8. Semantic Web Services Framework (SWSF) Overview // http://www.w3.org/Submission/SWSF/
  9. Волченков Н.Г., Климов В.В., Щукин Б.А. и др. Композиция семантических веб-сервисов // Информационно-измеритель­ные и управляющие системы. Интеллектуальные системы и технологии. 2011. № 6. Т. 9. С. 35-42.
  10. OWL Web Ontology Language Reference // http://www.w3.org/TR/owl-ref/
  11. Климов В.В. Система поиска и интеграции веб-сервисов с использованием семантических описаний // Информационные технологии в проектировании и производстве. 2010. № 1. С. 73-79.
  12. Климов В.В., Ульянов М.Е., Шапкин П.А. и др. Система описания и выполнения композиций семантических веб-сервисов // Информационные технологии в проектировании и производстве. 2010. № 4. С. 64-70.
  13. Климов В.В., Шапкин П.А., Климов В.П. и др. Подход к построению интерфейса композиции веб-сервисов на основе семантических описаний // Вестник Воронежского государственного технического университета. 2010. № 12. С. 152-157.
  14. Климов В.В. Модели, алгоритмы и программные средства поиска и композиции веб-сервисов с использованием семантических описаний: дис. - к.т.н.: 05.13.11 / Климов В.В. [Место защиты: Нац. исслед. ядерный ун-т «МИФИ»]. М.: 2012.
  15. SPASS: An Automated Theorem Prover for First-Order Logic with Equality [Электронныйресурс]/Мax Planck Institut Informatik. Электрон. дан. М. 2011. http://www.spass-prover.org.