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.

[1]  Hung Dang Van.  Specification case studies in RAISE , 2002 .

[2]  Chris George.  The RAISE Specification Langiage: A Tutorial , 1991, VDM Europe.

[3]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[4]  M. V. Dignum,et al.  A Model for Organizational Interaction: based on Agents, founded in Logic , 2000 .

[5]  Marc Esteva,et al.  ISLANDER: an electronic institutions editor , 2002, AAMAS '02.

[6]  Graçaliz Pereira Dimuro,et al.  A Minimal Dynamical MAS Organization Model , 2009, Handbook of Research on Multi-Agent Systems.

[7]  Michael Wooldridge,et al.  Agent-Oriented Software Engineering , 1999, ATAL.

[8]  Raquel de Miranda Barbosa,et al.  Especificação formal de organizações de sistemas multiagentes , 2011 .

[9]  Jacques Ferber,et al.  From Agents to Organizations: An Organizational View of Multi-agent Systems , 2003, AOSE.

[10]  Olivier Boissier,et al.  Modeling Organization in MAS: A Comparison of Models , 2005 .

[11]  Joseph Y. Halpern.  USING REASONING ABOUT KNOWLEDGE TO ANALYZE DISTRIBUTED SYSTEMS , 1987 .

[12]  Michael Luck,et al.  A normative framework for agent-based systems , 2006, Comput. Math. Organ. Theory.

[13]  Virginia. Virginia Dignum . Dignum,et al.  Handbook of Research on Multi-Agent Systems - Semantics and Dynamics of Organizational Models , 2009, Handbook of Research on Multi-Agent Systems.

[14]  Anne Elisabeth Haxthausen,et al.  The Raise Specification Language , 1992 .

[15]  Graçaliz Pereira Dimuro,et al.  Semantical Concepts for a Formal Structural Dynamics of Situated Multiagent Systems , 2007, COIN.

[16]  Jomi Fred Hübner.  Organizacao de Sistemas Multiagentes , 2003 .