Semantic Web-services, their discovery and composition
- 1 аспирант, кафедра «Кибернетика», Национальный исследовательский ядерный университет «МИФИ»
- 2 к.т.н., ассистент, кафедра «Кибернетика», Национальный исследовательский ядерный университет «МИФИ»
- 3 ст. преподаватель, кафедра «Управляющие интеллектуальные системы», Национальный исследовательский ядерный университет «МИФИ»
- 4 ст. преподаватель, кафедра «Кибернетика», Национальный исследовательский ядерный университет «МИФИ»
- 5 д.т.н., профессор, кафедра «Кибернетика», Национальный исследовательский ядерный университет «МИФИ»
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.
How to cite
Хоботов А.А., Климов В.В., Климов В.П., Цыганов А.А., Щукин Б.А. Семантические web-сервисы, их поиск и композиция // Информационно-измерительные и управляющие системы. 2012. № 8. С. 33–38.
References
- 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.
- Web Services Description Language (WSDL 1.1), http://www.w3.org/TR/wsdl
- Джозефрай Д. Практическая хореография Web-сервисов // http://www.iso.ru/journal/articles/410.html
- UDDI | Online community for the Universal Description, Discovery..., uddi.xml.org
- OWL-S: Semantic Markup for Web Services // http://www.w3.org/Submission/OWL-S
- Semantic Annotations for WSDL and XML Schema // http://www.w3.org/TR/sawsdl/
- Web Service Modeling Ontology // http://www.wsmo.org/
- Semantic Web Services Framework (SWSF) Overview // http://www.w3.org/Submission/SWSF/
- Волченков Н.Г., Климов В.В., Щукин Б.А. и др. Композиция семантических веб-сервисов // Информационно-измерительные и управляющие системы. Интеллектуальные системы и технологии. 2011. № 6. Т. 9. С. 35-42.
- OWL Web Ontology Language Reference // http://www.w3.org/TR/owl-ref/
- Климов В.В. Система поиска и интеграции веб-сервисов с использованием семантических описаний // Информационные технологии в проектировании и производстве. 2010. № 1. С. 73-79.
- Климов В.В., Ульянов М.Е., Шапкин П.А. и др. Система описания и выполнения композиций семантических веб-сервисов // Информационные технологии в проектировании и производстве. 2010. № 4. С. 64-70.
- Климов В.В., Шапкин П.А., Климов В.П. и др. Подход к построению интерфейса композиции веб-сервисов на основе семантических описаний // Вестник Воронежского государственного технического университета. 2010. № 12. С. 152-157.
- Климов В.В. Модели, алгоритмы и программные средства поиска и композиции веб-сервисов с использованием семантических описаний: дис. - к.т.н.: 05.13.11 / Климов В.В. [Место защиты: Нац. исслед. ядерный ун-т «МИФИ»]. М.: 2012.
- SPASS: An Automated Theorem Prover for First-Order Logic with Equality [Электронныйресурс]/Мax Planck Institut Informatik. Электрон. дан. М. 2011. http://www.spass-prover.org.