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
id UNACIONAL2_6590b009e20261600f1df4f09dfca3de
oai_identifier_str oai:repositorio.unal.edu.co:unal/24459
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Aguilar, Joséb1a9b794-e2b2-41ea-9c78-b7fd8474de9b300Castellanos, Reina6e94ae9f-d103-4b8c-82d2-8e7230d6c2ed3002019-06-25T22:37:27Z2019-06-25T22:37:27Z2008https://repositorio.unal.edu.co/handle/unal/24459http://bdigital.unal.edu.co/15496/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).application/pdfspaUniversidad Nacional de Colombia -Sede Medellínhttp://revistas.unal.edu.co/index.php/avances/article/view/10110Universidad Nacional de Colombia Revistas electrónicas UN Avances en Sistemas e InformáticaAvances en Sistemas e InformáticaAvances 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-7663Aguilar, José and Castellanos, Reina (2008) 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 .Modelo ontológico de verificación de sistemas multiagentes diseñados bajo masinaArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTSistemas multiagentesMASINAVerificación composicionalVerificación basada en cruce de modelosOntologíaVerificación de diseños.ORIGINAL10110-18483-1-PB.pdfapplication/pdf1398500https://repositorio.unal.edu.co/bitstream/unal/24459/1/10110-18483-1-PB.pdf26e6fa2ce440592fa69267d8917dbf9cMD51THUMBNAIL10110-18483-1-PB.pdf.jpg10110-18483-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg10409https://repositorio.unal.edu.co/bitstream/unal/24459/2/10110-18483-1-PB.pdf.jpgc9491a3c7b28a602dc5cc728a717c081MD52unal/24459oai:repositorio.unal.edu.co:unal/244592023-10-17 23:05:27.906Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Modelo ontológico de verificación de sistemas multiagentes diseñados bajo masina
title Modelo ontológico de verificación de sistemas multiagentes diseñados bajo masina
spellingShingle Modelo ontológico de verificación de sistemas multiagentes diseñados bajo masina
Sistemas multiagentes
MASINA
Verificación composicional
Verificación basada en cruce de modelos
Ontología
Verificación de diseños.
title_short Modelo ontológico de verificación de sistemas multiagentes diseñados bajo masina
title_full Modelo ontológico de verificación de sistemas multiagentes diseñados bajo masina
title_fullStr Modelo ontológico de verificación de sistemas multiagentes diseñados bajo masina
title_full_unstemmed Modelo ontológico de verificación de sistemas multiagentes diseñados bajo masina
title_sort Modelo ontológico de verificación de sistemas multiagentes diseñados bajo masina
dc.creator.fl_str_mv Aguilar, José
Castellanos, Reina
dc.contributor.author.spa.fl_str_mv Aguilar, José
Castellanos, Reina
dc.subject.proposal.spa.fl_str_mv Sistemas multiagentes
MASINA
Verificación composicional
Verificación basada en cruce de modelos
Ontología
Verificación de diseños.
topic Sistemas multiagentes
MASINA
Verificación composicional
Verificación basada en cruce de modelos
Ontología
Verificación de diseños.
description 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).
publishDate 2008
dc.date.issued.spa.fl_str_mv 2008
dc.date.accessioned.spa.fl_str_mv 2019-06-25T22:37:27Z
dc.date.available.spa.fl_str_mv 2019-06-25T22:37:27Z
dc.type.spa.fl_str_mv Artículo de revista
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/article
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_6501
dc.type.coarversion.spa.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/ART
format http://purl.org/coar/resource_type/c_6501
status_str publishedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/24459
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/15496/
url https://repositorio.unal.edu.co/handle/unal/24459
http://bdigital.unal.edu.co/15496/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.spa.fl_str_mv http://revistas.unal.edu.co/index.php/avances/article/view/10110
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Revistas electrónicas UN Avances en Sistemas e Informática
Avances en Sistemas e Informática
dc.relation.ispartofseries.none.fl_str_mv 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
dc.relation.references.spa.fl_str_mv Aguilar, José and Castellanos, Reina (2008) 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 .
dc.rights.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Universidad Nacional de Colombia -Sede Medellín
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/24459/1/10110-18483-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/24459/2/10110-18483-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv 26e6fa2ce440592fa69267d8917dbf9c
c9491a3c7b28a602dc5cc728a717c081
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1814090130271502336