Análisis y diseño de Sistemas Multiagente Normativos Abiertos
Fecha
Autores
Garcia Marques, Mª Emilia
Directores
Handle
https://riunet.upv.es/handle/10251/151283
Cita bibliográfica
Garcia Marques, ME.; Giret Boggino, AS. (2014). Análisis y diseño de Sistemas Multiagente Normativos Abiertos. Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial. 17(54):17-20. https://doi.org/10.4114/intartif.vol17iss54pp17-20
Titulación
Resumen
[EN] This article summarizes the main contributions of the thesis titled "Engineering Regulated Open Multiagent Systems". This thesis is focused on the analysis and design of normative open systems using multiagent technology. Specifically this thesis offers: (1) a metamodel that allows especifying all the features of systems of this kind; (2) a methodology that covers the analysis through a detailed development process and specific guidelines that include the identification and formalization of the normative context of the system; (3) a CASE tool that integrates the design of the system with the formal verification of its normative context.
[ES] Este artículo resume las contribuciones principales de la tesis con el título "Engineering Regulated Open Multiagent Systems". Esta tesis se centra en el análisis y diseño de sistemas normativos abiertos mediante tecnología multiagente. Específicamente esta tesis ofrece: (1) un metamodelo que permite especificar todas las características de estos sistemas; (2) una metodología que cubre el análisis y diseño mediante la especificación detallada del proceso de desarrollo y guías específicas que incluyen la identificación y formalización del entorno normativo del sistema; (3) una herramienta CASE que integra el diseño del sistema con la verificación formal de su entorno normativo.
[ES] Este artículo resume las contribuciones principales de la tesis con el título "Engineering Regulated Open Multiagent Systems". Esta tesis se centra en el análisis y diseño de sistemas normativos abiertos mediante tecnología multiagente. Específicamente esta tesis ofrece: (1) un metamodelo que permite especificar todas las características de estos sistemas; (2) una metodología que cubre el análisis y diseño mediante la especificación detallada del proceso de desarrollo y guías específicas que incluyen la identificación y formalización del entorno normativo del sistema; (3) una herramienta CASE que integra el diseño del sistema con la verificación formal de su entorno normativo.
Palabras clave
Multi-Agent Systems, Software engineering, Contracts, Model-Driven Software Development, Model Checking
ISSN
1137-3601
ISBN
Fuente
Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial
DOI
10.4114/intartif.vol17iss54pp17-20
Versión del editor
https://doi.org/10.4114/intartif.vol17iss54pp17-20
dc.description.uri
Código de Proyecto
info:eu-repo/grantAgreement/MICINN//TIN2008-04446/ES/UNA PLATAFORMA PARA SISTEMAS MULTIAGENTE ABIERTOS/
info:eu-repo/grantAgreement/MEC//CSD2007-00022/ES/Agreement Technologies/
info:eu-repo/grantAgreement/GVA//PROMETEO08%2F2008%2F051/ES/Advances on Agreement Technologies for Computational Entities (atforce)/
info:eu-repo/grantAgreement/MICINN//TIN2009-13839-C03-01/ES/Organizaciones Virtuales Adaptativas: Arquitecturas Y Metodos De Desarrollo/
info:eu-repo/grantAgreement/MEC//CSD2007-00022/ES/Agreement Technologies/
info:eu-repo/grantAgreement/GVA//PROMETEO08%2F2008%2F051/ES/Advances on Agreement Technologies for Computational Entities (atforce)/
info:eu-repo/grantAgreement/MICINN//TIN2009-13839-C03-01/ES/Organizaciones Virtuales Adaptativas: Arquitecturas Y Metodos De Desarrollo/
Agradecimientos
This work is partially supported by the TIN2008-04446, TIN2009-13839-C03-01, PROMETEO 2008/051 projects, CONSOLIDER INGENIO 2010 under grant CSD2007-00022.