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