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.

This paper explores the use of traditional formal methods of software engineering for the formal specification of multiagent systems organizations. In particular, the CSP and RSL languages are used to represent the PopOrg organizational model, the first being used to specify parts of the micro-organizational level of PopOrg systems (behaviors of organizational roles and exchange processes between organizational roles) and the second, RSL, used to represent the structural organization of PopOrg systems. The paper presents some tests and results obtained using these formalisms.