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