350 руб
Журнал «Информационно-измерительные и управляющие системы» №8 за 2012 г.
Статья в номере:
Семантические web-сервисы, их поиск и композиция
Ключевые слова: Web-сервис композиция сервисов онтология предметной области атомарные и составные процессы
Авторы:
А.А. Хоботов - аспирант, кафедра «Кибернетика», Национальный исследовательский ядерный университет «МИФИ». E-mail: alex.khobotov@gmail.com В.В. Климов - к.т.н., ассистент, кафедра «Кибернетика», Национальный исследовательский ядерный университет «МИФИ». E-mail: klimowww@bk.ru В.П. Климов - ст. преподаватель, кафедра «Управляющие интеллектуальные системы», Национальный исследовательский ядерный университет «МИФИ». E-mail: vpklimov@mail.ru А.А. Цыганов - ст. преподаватель, кафедра «Кибернетика», Национальный исследовательский ядерный университет «МИФИ». E-mail: aatsyganov@mephi.ru Б.А. Щукин - д.т.н., профессор, кафедра «Кибернетика», Национальный исследовательский ядерный университет «МИФИ». E-mail: tsh-k22@mail.ru
Аннотация:
Рассмотрены вопросы композиции веб-сервисов на основе их семантических описаний, заданных при помощи языка OWL-S. Введена математическая модель процессов, ставится задача поиска и композиции Web-сервисов. Показана возможность применения системы автоматического доказательства теорем SPASS в решении этой задачи.
Страницы: 33-38
Список источников
  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.