Using RSL for the Formal Specification of PopOrg-based Multiagent Systems Organizations
Raquel de Miranda Barbosa, Antônio Carlos da Rocha Costa · 2011
This paper focuses on the study of the feasibility of using traditional formal methods of Software Engineering for the formal specification of multiagent systems (MAS) organizations. In particular, it describes the use of the RSL language, that supports the RAISE formal method for specification of PopOrg-based systems, an organizational model of MAS, originally defined in a set-theoretical way. RSL was used to define both the structural and operational dimensions of PopOrg model from a formal software engineering point of view. A case study is presented illustrating this approach and the limitations of the current version of the approach are discussed.