Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

Modelo ontológico de verificación de sistemas multiagentes diseñados bajo masina

Aguilar, José and Castellanos, Reina (2009) Modelo ontológico de verificación de sistemas multiagentes diseñados bajo masina. Avances en Sistemas e Informática; Vol. 5, núm. 3 (2008) Avances en Sistemas e Informática; Vol. 5, núm. 3 (2008) 1909-0056 1657-7663 .

Texto completo

[img]
Vista previa
PDF
1MB

URL oficial: http://revistas.unal.edu.co/index.php/avances/arti...

Resumen

Existe un número importante de metodologías para la especificación y desarrollo de Sistemas Multiagentes (SMA), pero normalmente no garantizan que la especificación del sistema realmente satisfaga los requerimientos de diseño. Una de ellas es la metodología MASINA (MultiAgent Systems in Automation). Esta investigación apunta a presentar un Modelo Ontológico para la Verificación de los diseños de SMA hechos con MASINA, donde las propiedades a verificar son formalizadas semánticamente y son expresadas como sentencias en Lógica de Primer Orden. Para lograr esto se usan dos técnicas: la verificación de manera composicional (el SM A es visto desde diferentes niveles de abstracción , los cuales son llamados Componentes o Subcomponentes, y a los cuales se les deben verificar las relaciones entre ellos) y el cruce de modelos (MASINA posee un conjunto de modelos que son cruzados entre ellos para verificar si son consistentes sus relaciones). Dicho modelo ontológico ha sido implementado en Protégé-OWL y probado en un caso de Estudio (Diseño de un Sistema Operativo Web usando SMA).

Tipo de documento:Artículo - Article
Información adicional:Derechos de autor reservados
Palabras clave:Sistemas multiagentes, MASINA, Verificación composicional, Verificación basada en cruce de modelos, Ontología, Verificación de diseños.
Unidad administrativa:Revistas electrónicas UN > Avances en Sistemas e Informática
Código ID:15496
Enviado por : Dirección Nacional de Bibliotecas STECNICO
Enviado el día :24 Junio 2014 20:01
Ultima modificación:12 Septiembre 2017 21:41
Ultima modificación:12 Septiembre 2017 21:41
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Registry of Open Access Repositories OpenDOAR Metabiblioteca BDCOL OAIster Red de repositorios latinoamericanos DSpace BASE Open archives La referencia Colombiae Open Access Theses and Dissertations Tesis latinoamericanas CLACSO
Este sitio web se ve mejor en Firefox