Especificação formal de organizações de sistemas multiagentes

Detalhes bibliográficos
Autor(a) principal: Barbosa, Raquel de Miranda
Data de Publicação: 2011
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFRGS
Texto Completo: http://hdl.handle.net/10183/31122
Resumo: A abordagem de sistemas multiagentes tem sido cada vez mais utilizada para o desenvolvimento de sistemas complexos, o que despertou o interesse das pesquisas na área de engenharia de software orientada a agentes (AOSE) e modelos organizacionais. Neste contexto, esta tese estuda a aplicabilidade de alguns métodos formais tradicionais de engenharia de software para a especificação formal de organizações de sistemas multiagentes, analisando o uso da linguagem de especificação formal RSL para representar o modelo organizacional PopOrg. A escolha da linguagem RSL ocorreu pelo fato de ela ser uma linguagem de especificação formal que cobre amplo espectro de métodos de especificação formal (baseados em modelos e baseados em propriedades, aplicativos e imperativos, sequenciais e concorrentes) e o modelo PopOrg foi escolhido por ser um modelo mínimo de organização de sistemas multiagentes, concebido para representar o conjunto mínimo de aspectos estruturais e operacionais que tais organizações devem ter. O uso da linguagem RSL foi avaliado tanto para a especificação do aspecto estrutural dos sistemas PopOrg, quanto para especificação operacional desses sistemas. Um estudo preliminar realizado com a linguagem CSP para a especificação operacional do modelo PopOrg também é apresentado, visto que serviu como base para a especificação em RSL. Ao final, apresenta-se uma sugestão de extensão da linguagem RSL para sua maior aplicabilidade à especificação de sistemas multiagentes.
id URGS_4f94607e0070d729f58e5e657818e6e8
oai_identifier_str oai:www.lume.ufrgs.br:10183/31122
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str 1853
spelling Barbosa, Raquel de MirandaCosta, Antonio Carlos da Rocha2011-08-16T06:01:27Z2011http://hdl.handle.net/10183/31122000779420A abordagem de sistemas multiagentes tem sido cada vez mais utilizada para o desenvolvimento de sistemas complexos, o que despertou o interesse das pesquisas na área de engenharia de software orientada a agentes (AOSE) e modelos organizacionais. Neste contexto, esta tese estuda a aplicabilidade de alguns métodos formais tradicionais de engenharia de software para a especificação formal de organizações de sistemas multiagentes, analisando o uso da linguagem de especificação formal RSL para representar o modelo organizacional PopOrg. A escolha da linguagem RSL ocorreu pelo fato de ela ser uma linguagem de especificação formal que cobre amplo espectro de métodos de especificação formal (baseados em modelos e baseados em propriedades, aplicativos e imperativos, sequenciais e concorrentes) e o modelo PopOrg foi escolhido por ser um modelo mínimo de organização de sistemas multiagentes, concebido para representar o conjunto mínimo de aspectos estruturais e operacionais que tais organizações devem ter. O uso da linguagem RSL foi avaliado tanto para a especificação do aspecto estrutural dos sistemas PopOrg, quanto para especificação operacional desses sistemas. Um estudo preliminar realizado com a linguagem CSP para a especificação operacional do modelo PopOrg também é apresentado, visto que serviu como base para a especificação em RSL. Ao final, apresenta-se uma sugestão de extensão da linguagem RSL para sua maior aplicabilidade à especificação de sistemas multiagentes.The multiagent systems approach have been increasingly used for the development of complex systems, which aroused the interest of research in Agent Oriented Software Engineering (AOSE) and organizational models. In this context, this thesis studies the applicability of some traditional formal methods of software engineering for the formal specification of multiagent systems organizations, analyzing the use of RSL formal specification language to represent the PopOrg organizational model. The choice of RSL language occurred because it is a formal specification language that covers a wide spectrum of formal specification methods (models-based and properties-based, applicative and imperative, sequential and concurrent) and the PopOrg model was chosen because it is a minimal model of multiagent systems organization, designed to represent the minimum set of structural and operational aspects that such organizations should have. The use of RSL language was evaluated both for specifying the structural aspect of PopOrg systems and the operational specification for these systems. A preliminary study carried out with the CSP language for the operational specification of PopOrg model is also presented, as was the basis for the specification in RSL. In the end, a suggestion is given for an extension of the RSL language, to allow for its wider applicability to the specification of multiagent systems.application/pdfporInteligência artificialSistemas multiagentesFormal methodsMAS organizationsRSL formal specificationEspecificação formal de organizações de sistemas multiagentesFormal specification of multiagent systems organizations info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPrograma de Pós-Graduação em ComputaçãoPorto Alegre, BR-RS2011doutoradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT000779420.pdf.txt000779420.pdf.txtExtracted Texttext/plain169907http://www.lume.ufrgs.br/bitstream/10183/31122/2/000779420.pdf.txtdfeac1032747bb687a5b71d5f369bd2fMD52ORIGINAL000779420.pdf000779420.pdfTexto completoapplication/pdf913846http://www.lume.ufrgs.br/bitstream/10183/31122/1/000779420.pdfd4d7fef119d1fb8fad04423409f9b717MD51THUMBNAIL000779420.pdf.jpg000779420.pdf.jpgGenerated Thumbnailimage/jpeg1031http://www.lume.ufrgs.br/bitstream/10183/31122/3/000779420.pdf.jpg672de2c8b5baecbde74793a5c1a99d1eMD5310183/311222018-10-10 07:41:11.975oai:www.lume.ufrgs.br:10183/31122Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532018-10-10T10:41:11Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Especificação formal de organizações de sistemas multiagentes
dc.title.alternative.en.fl_str_mv Formal specification of multiagent systems organizations
title Especificação formal de organizações de sistemas multiagentes
spellingShingle Especificação formal de organizações de sistemas multiagentes
Barbosa, Raquel de Miranda
Inteligência artificial
Sistemas multiagentes
Formal methods
MAS organizations
RSL formal specification
title_short Especificação formal de organizações de sistemas multiagentes
title_full Especificação formal de organizações de sistemas multiagentes
title_fullStr Especificação formal de organizações de sistemas multiagentes
title_full_unstemmed Especificação formal de organizações de sistemas multiagentes
title_sort Especificação formal de organizações de sistemas multiagentes
author Barbosa, Raquel de Miranda
author_facet Barbosa, Raquel de Miranda
author_role author
dc.contributor.author.fl_str_mv Barbosa, Raquel de Miranda
dc.contributor.advisor1.fl_str_mv Costa, Antonio Carlos da Rocha
contributor_str_mv Costa, Antonio Carlos da Rocha
dc.subject.por.fl_str_mv Inteligência artificial
Sistemas multiagentes
topic Inteligência artificial
Sistemas multiagentes
Formal methods
MAS organizations
RSL formal specification
dc.subject.eng.fl_str_mv Formal methods
MAS organizations
RSL formal specification
description A abordagem de sistemas multiagentes tem sido cada vez mais utilizada para o desenvolvimento de sistemas complexos, o que despertou o interesse das pesquisas na área de engenharia de software orientada a agentes (AOSE) e modelos organizacionais. Neste contexto, esta tese estuda a aplicabilidade de alguns métodos formais tradicionais de engenharia de software para a especificação formal de organizações de sistemas multiagentes, analisando o uso da linguagem de especificação formal RSL para representar o modelo organizacional PopOrg. A escolha da linguagem RSL ocorreu pelo fato de ela ser uma linguagem de especificação formal que cobre amplo espectro de métodos de especificação formal (baseados em modelos e baseados em propriedades, aplicativos e imperativos, sequenciais e concorrentes) e o modelo PopOrg foi escolhido por ser um modelo mínimo de organização de sistemas multiagentes, concebido para representar o conjunto mínimo de aspectos estruturais e operacionais que tais organizações devem ter. O uso da linguagem RSL foi avaliado tanto para a especificação do aspecto estrutural dos sistemas PopOrg, quanto para especificação operacional desses sistemas. Um estudo preliminar realizado com a linguagem CSP para a especificação operacional do modelo PopOrg também é apresentado, visto que serviu como base para a especificação em RSL. Ao final, apresenta-se uma sugestão de extensão da linguagem RSL para sua maior aplicabilidade à especificação de sistemas multiagentes.
publishDate 2011
dc.date.accessioned.fl_str_mv 2011-08-16T06:01:27Z
dc.date.issued.fl_str_mv 2011
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/31122
dc.identifier.nrb.pt_BR.fl_str_mv 000779420
url http://hdl.handle.net/10183/31122
identifier_str_mv 000779420
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Biblioteca Digital de Teses e Dissertações da UFRGS
collection Biblioteca Digital de Teses e Dissertações da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/31122/2/000779420.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/31122/1/000779420.pdf
http://www.lume.ufrgs.br/bitstream/10183/31122/3/000779420.pdf.jpg
bitstream.checksum.fl_str_mv dfeac1032747bb687a5b71d5f369bd2f
d4d7fef119d1fb8fad04423409f9b717
672de2c8b5baecbde74793a5c1a99d1e
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br||lume@ufrgs.br
_version_ 1810085206303965184