Using RSL for the Formal Specification of PopOrg-based Multiagent Systems Organizations

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.