Resumen de Descubrimiento y composición automatizados de servicios web semánticos
Este trabajo de investigación tiene cuatro objetivos principales l. Representación de ontologías en grafos a. La prueba de que la representación grafo tiene la expresividad igual 2. La fonnalización de los servicios RESTful semánticas como operaciones CURO sobre las afirmaciones ontológicas.
3. El algoritmo de descubrimiento de los servicio 4. La composición de los servicio a. Un algoritmo de planificación apropiada para composición de los servicios Formalización y Modelización:
La modelización es la abstracción con propósito de un sistema real o plani ticado con d objetivo de reducirla a un conjunto de componentes limitados, pero representativas y las interacciones que permiten la descripción cualitativa y cuantitativa de sus propiedades. La modelización es la metodología llmdamcntal para diversos aspectos de este trabajo. En primer lugar, se propone un modelo de representación servicio RESTful como operación CURO ontológica. También se emplea la metodología formal en d amilisis de la complejidad de los diferentes algoritmos propuestos en este trubujo.
La metodología formal y la modelización abordan principalmente el objetivo 1 y 2.
