Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs

Este artigo explora o uso de metodos formais tradicionais de engenharia de software para a especificacao formal de organizacoes de sistemas multiagentes. Particularmente sao 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 nivel microorganizacional de sistemas PopOrg (comportamentos de papeis organizacionais e processos de troca entre papeis organizacionais) e a segunda, RSL, utilizada para a representacao da organizacao estrutural de sistemas PopOrg. O artigo apresenta alguns testes e resultados obtidos com o uso destes formalismos.

[1]  Andrew William Roscoe,et al.  The Theory and Practice of Concurrency , 1997 .

[2]  Failures-divergence Refinement Fdr2 User Manual , 2012 .

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

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

[5]  Jim Davies,et al.  A Brief History of Timed CSP , 1995, Theor. Comput. Sci..

[6]  Mercedes Garijo Ayestaran,et al.  Analysis and Design of Multiagent Systems Using MAS-Common KADS , 1997, ATAL.

[7]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

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

[9]  Scott A. DeLoach,et al.  Engineering Organization-Based Multiagent Systems , 2005, SELMAS.

[10]  NICHOLAS R. JENNINGS,et al.  An agent-based approach for building complex software systems , 2001, CACM.

[11]  Graçaliz Pereira Dimuro,et al.  Introducing social groups and group exchanges in the PopOrg model , 2009, AAMAS.

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

[13]  Michael Winikoff,et al.  The Prometheus methodology , 2004 .

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

[15]  Franco Zambonelli,et al.  Developing multiagent systems: The Gaia methodology , 2003, TSEM.

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

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

[18]  Marco Pistore,et al.  The Tropos Methodology , 2004 .

[19]  Franco Zambonelli,et al.  Methodologies and software engineering for agent systems : the agent-oriented software engineering handbook , 2004 .

[20]  Jorge J. Gómez-Sanz,et al.  Agent Oriented Analysis Using Message/UML , 2001, AOSE.

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

[22]  Carlos Angel Iglesias,et al.  Analysis and Design of Multiagent Systems Using MAS-Common KADS , 1997, ATAL.