Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs
作者： Raquel de Miranda Barbosa , Antonio Carlos da Rocha Costa , Patrícia Cabral de Azevedo R Tedesco , Alexandre Cabral Mota , None
关键词:
摘要: Este artigo explora o uso de metodos formais tradicionais engenharia software para a especificacao formal organizacoes sistemas multiagentes. Particularmente sao utilizadas as linguagens CSP ( Communicating Sequential Processes) ) e RSL Raise Specification Language representar modelo organizacional PopOrg, sendo primeira utilizada especificar partes do nivel microorganizacional PopOrg (comportamentos papeis organizacionais processos troca entre organizacionais) segunda, RSL, representacao da organizacao estrutural PopOrg. O apresenta alguns testes resultados obtidos com destes formalismos.
sci-hub.st 参考文章(21)
Lin Padgham, Michael Winikoff, A Melbourne, The Prometheus Methodology Methodologies and Software Engineering for Agent Systems. pp. 217- 234 ,(2004) , 10.1007/1-4020-8058-1_14
Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro, None, Introducing social groups and group exchanges in the PopOrg model adaptive agents and multi agents systems. pp. 1297- 1298 ,(2009)
Carlos A. Iglesias, Mercedes Garijo, José C. González, Juan R. Velasco, Analysis and Design of Multiagent Systems Using MAS-Common KADS intelligent agents. pp. 313- 327 ,(1997) , 10.1007/BFB0026768
M.V. Dignum, A Model for Organizational Interaction: based on Agents, founded in Logic SIKS. ,(2000)
Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro, Semantical Concepts for a Formal Structural Dynamics of Situated Multiagent Systems Coordination, Organizations, Institutions, and Norms in Agent Systems III. pp. 139- 154 ,(2008) , 10.1007/978-3-540-79003-7_11
W.S Torbitt, Software Engineering I ,(2011)
Scott A. DeLoach, Engineering organization-based multiagent systems Lecture Notes in Computer Science. pp. 109- 125 ,(2006) , 10.1007/11738817_7
Paolo Giorgini, Manuel Kolp, John Mylopoulos, Marco Pistore, The Tropos Methodology : An overview ,(2004)
Michael Wooldridge, Stefan Bussmann, Paolo Ciancarini, Keith Decker, Michael Huhns, Agent-Oriented Software Engineering Intelligent Agents VI. Agent Theories, Architectures, and Languages. pp. 248- 249 ,(2000) , 10.1007/10719619_18
Giovanni Caire, Wim Coulier, Francisco Garijo, Jorge Gomez, Juan Pavon, Francisco Leal, Paulo Chainho, Paul Kearney, Jamie Stark, Richard Evans, Philippe Massonet, Agent Oriented Analysis Using Message/UML AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II. pp. 119- 135 ,(2001) , 10.1007/3-540-70657-7_8