Publicado

2008-09-01

MODELO ONTOLÓGICO DE VERIFICACIÓN DE SISTEMAS MULTIAGENTES DISEÑADOS BAJO MASINA

Palabras clave:

Sistemas multiagentes, MASINA, Verificación composicional, Verificación basada en cruce de modelos, Ontología, Verificación de diseños. (es)

Descargas

Autores/as

  • JOSÉ AGUILAR PhD. CEMISID, Departamento de Computación, Universidad de los Andes.
  • REINA CASTELLANOS Ing. Distrito Tecnológico Petróleos de Venezuela. Mérida, Venezuela
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).

Cómo citar

APA

AGUILAR, J. y CASTELLANOS, R. (2008). MODELO ONTOLÓGICO DE VERIFICACIÓN DE SISTEMAS MULTIAGENTES DISEÑADOS BAJO MASINA. Avances en Sistemas e Informática, 5(3). https://revistas.unal.edu.co/index.php/avances/article/view/10110

ACM

[1]
AGUILAR, J. y CASTELLANOS, R. 2008. MODELO ONTOLÓGICO DE VERIFICACIÓN DE SISTEMAS MULTIAGENTES DISEÑADOS BAJO MASINA. Avances en Sistemas e Informática. 5, 3 (sep. 2008).

ACS

(1)
AGUILAR, J.; CASTELLANOS, R. MODELO ONTOLÓGICO DE VERIFICACIÓN DE SISTEMAS MULTIAGENTES DISEÑADOS BAJO MASINA. ava. sis. inf 2008, 5.

ABNT

AGUILAR, J.; CASTELLANOS, R. MODELO ONTOLÓGICO DE VERIFICACIÓN DE SISTEMAS MULTIAGENTES DISEÑADOS BAJO MASINA. Avances en Sistemas e Informática, [S. l.], v. 5, n. 3, 2008. Disponível em: https://revistas.unal.edu.co/index.php/avances/article/view/10110. Acesso em: 28 mar. 2024.

Chicago

AGUILAR, JOSÉ, y REINA CASTELLANOS. 2008. «MODELO ONTOLÓGICO DE VERIFICACIÓN DE SISTEMAS MULTIAGENTES DISEÑADOS BAJO MASINA». Avances En Sistemas E Informática 5 (3). https://revistas.unal.edu.co/index.php/avances/article/view/10110.

Harvard

AGUILAR, J. y CASTELLANOS, R. (2008) «MODELO ONTOLÓGICO DE VERIFICACIÓN DE SISTEMAS MULTIAGENTES DISEÑADOS BAJO MASINA», Avances en Sistemas e Informática, 5(3). Disponible en: https://revistas.unal.edu.co/index.php/avances/article/view/10110 (Accedido: 28 marzo 2024).

IEEE

[1]
J. AGUILAR y R. CASTELLANOS, «MODELO ONTOLÓGICO DE VERIFICACIÓN DE SISTEMAS MULTIAGENTES DISEÑADOS BAJO MASINA», ava. sis. inf, vol. 5, n.º 3, sep. 2008.

MLA

AGUILAR, J., y R. CASTELLANOS. «MODELO ONTOLÓGICO DE VERIFICACIÓN DE SISTEMAS MULTIAGENTES DISEÑADOS BAJO MASINA». Avances en Sistemas e Informática, vol. 5, n.º 3, septiembre de 2008, https://revistas.unal.edu.co/index.php/avances/article/view/10110.

Turabian

AGUILAR, JOSÉ, y REINA CASTELLANOS. «MODELO ONTOLÓGICO DE VERIFICACIÓN DE SISTEMAS MULTIAGENTES DISEÑADOS BAJO MASINA». Avances en Sistemas e Informática 5, no. 3 (septiembre 1, 2008). Accedido marzo 28, 2024. https://revistas.unal.edu.co/index.php/avances/article/view/10110.

Vancouver

1.
AGUILAR J, CASTELLANOS R. MODELO ONTOLÓGICO DE VERIFICACIÓN DE SISTEMAS MULTIAGENTES DISEÑADOS BAJO MASINA. ava. sis. inf [Internet]. 1 de septiembre de 2008 [citado 28 de marzo de 2024];5(3). Disponible en: https://revistas.unal.edu.co/index.php/avances/article/view/10110

Descargar cita

Visitas a la página del resumen del artículo

156

Descargas

Los datos de descargas todavía no están disponibles.