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

Author

de Miranda Barbosa, Raquel ; Costa, Antônio Carlos da Rocha

Author_Institution

Programa de Pos-Grad. em Modelagem Computacional, Univ. Fed. do Rio Grande (FURG), Rio Grande, Brazil

fYear

2011

fDate

24-26 Aug. 2011

Firstpage

127

Lastpage

133

Abstract

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.

Keywords

formal languages; formal specification; multi-agent systems; organisational aspects; set theory; specification languages; MAS; PopOrg model; PopOrg-based multiagent system organization; RAISE formal method; RSL language; formal software engineering; formal specification; operational dimension; organizational model; structural dimension; Computational modeling; Multiagent systems; Organizations; Phase change materials; Software; Software engineering; Weapons; Formal Specifications; Formal languages; Multiagent Systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Theoretical Computer Science (WEIT), 2011 Workshop-School on

Conference_Location

Pelotas, RS

Print_ISBN

978-1-4673-0225-8

Type

conf

DOI

10.1109/WEIT.2011.13

Filename

6114792