Publicado em: 29/03/2011

Tese em Inteligência Artificial

UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL
INSTITUTO DE INFORMÁTICA
PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO
———————————————-
DEFESA DE TESE

Aluno: Raquel de Miranda Barbosa
Orientador: Prof. Dr. Antônio Carlos da Rocha Costa

Título: Especificação Formal de Organizações de Sistemas Multiagentes
Linha de Pesquisa: Inteligência Artificial

Data: 01/04/2011
Horário: 9:30
Local: Auditório inferior (Centro de Eventos)

Banca Examinadora:
Prof. Dr. Álvaro Freitas Moreira (UFRGS)
Profa. Dr. Jomi Fred Hubner (UFSC)
Profa. Dra. Simone Andre da Costa Cavalheiro (UFPel)

Presidente da Banca: Prof. Dr. Antônio Carlos da Rocha Costa

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.

Palavra-Chave: Métodos Formais, Organizações de SMAs, RSL, Especificação Formal.