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

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)....

Full description

Autores:
Aguilar, José
Castellanos, Reina
Tipo de recurso:
Article of journal
Fecha de publicación:
2008
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/24459
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/24459
http://bdigital.unal.edu.co/15496/
Palabra clave:
Sistemas multiagentes
MASINA
Verificación composicional
Verificación basada en cruce de modelos
Ontología
Verificación de diseños.
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional