Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs

Abstract

Este artigo explora o uso de métodos formais tradicionais de engenharia de software para a especificação formal de organizações de sistemas multiagentes. Particularmente são utilizadas as linguagens CSP (Communicating Sequential Processes)) e RSL (Raise Specification Language) para representar o modelo organizacional PopOrg, sendo a primeira utilizada para especificar partes do nível microorganizacional de sistemas PopOrg (comportamentos de papéis organizacionais e processos de troca entre papéis organizacionais) e a segunda, RSL, utilizada para a representação da organização estrutural de sistemas PopOrg. O artigo apresenta alguns testes e resultados obtidos com o uso destes formalismos.