Publicado em: 19/11/2010

Proposta de 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 PROPOSTA 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: 23/11/2010
Horário: 10:00
Local: Auditório inferior (Centro de Eventos)

Banca Examinadora:
Prof. Dr. Álvaro Freitas Moreira (UFRGS)
Profa. Dra. Patrícia Cabral de Azevedo Restelli Tedesco (UFPE)
Profa. Dra. Simone Andre da Costa Cavalheiro (UFPel)
Prof. Dr. Rafael Heitor Bordini (UFRGS)

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). Neste contexto, esta proposta de tese estuda a aplicabilidade de 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 será avaliado tanto para a especificação do aspecto estrutural dos sistemas PopOrg, quanto para especificação operacional desses sistemas. A proposta descreve um estudo preliminar realizado com a linguagem CSP para a especificação operacional do modelo PopOrg e sua avaliação em um estudo de caso e apresenta, a seguir, uma especificação inicial em RSL para a representação dos aspectos estruturais do modelo.

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