Uso de CSP na Especificação Formal do Nível Micro-Organizacional de SMAs
Resumo
This paper explores the use of the CSP language for the formal specification of multiagent systems organizations. It shows that CSP can be used to specify parts of the micro-organizational level of multiagent systems, namely, behaviors of organizational roles and exchange processes between organizational roles. An example of the use of CSP and of the FDR model checker for such purpose is presented.
Palavras-chave:
CSP, Formal Methods, Multiagent Systems Organizations
Referências
D. Bjørner. Software Engineering I. Springer Science, 2007.
G. Caire, W.Coulier, F. Garijo, J. Gomez, J. Pavon, F. Leal, P. Chainho, P. Kearney, J. Stark, R. Evans, and P. Massonet. Agent oriented analysis using message/uml. In M. J. Wooldridge, G. Weiss, and P. Ciancarini, editors, Agent-Oriented Software Engineering II, volume 2222 of Lecture Notes in Computer Science, pages 119–135, Berlin Heidelberg, 2001. Springer Verlag.
A. C. R. Costa and G. P. Dimuro. Introducing social groups and group exchanges in the poporg model. In AMAS ’09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, pages 1297–1298, Richland, SC, 2009. International Foundation for Autonomous Agents and Multiagent Systems.
A. C. R. Costa and G. P.Dimuro. A minimal dynamical mas organization model. In V. Dignum, editor, Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, pages 419–445, Hershey, 2009. IGI Global.
J. Davies and S. Schneider. A brief history of timed csp. Theoretical Computer Science, 138(2):243–271, 1995.
S. A. Delloach. Engineering organization-based multiagent system. In A. Garcia et al., editor, International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS’05), volume 3914 of Lecture Notes in Computer Science, pages 109–125, St. Louis, MO, 2006. Berlin, Springer.
Y. Demazeau and A. C. R. Costa. Populations and organizations in open multi-agent systems. In Proceedings of the 1st. National Symposium on Parallel and Distributed AI (PDAI‘96), Hyderabad, India, 1996.
V. Dignum. A model for organizational interaction: based on agents, founded in logic. PhD thesis, Utrecht University, Utrecht, 2004.
M. Esteva, D. Cruz, and C. Sierra. Islander: an electronic institutions editor. In Proceedings of the First International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2002), pages 1045–1052, Bologna, 2002.
J. Ferber, O. Gutknecht, and F. Michel. From agents to organizations: an organizational view of multiagent systems. In P. Giorgini, J. Muller, and J. Odell, editors, Agent-Oriented Software Engineering VI, volume 2935 of Lecture Notes in Computer Science, pages 214–230. Springer Verlag, 2004.
Formal Systems (Europe) FSE. Failures-divergence refinement: Fdr2 user manual, 2005.
P. Giorgini, M. Kolp, J. Mylopoulos, and M. Pistore. The tropos methodology: An overview. In M.-P. Gleizes Bergenti and F. Zambonelli, editors, The Tropos Methodology: An Overview, Methodologies And Software Engineering For Agent Systems, page 505. Kluwer Academic Press, New York, 2003.
J. F. Hübner and J. S. Sichman. Organização de sistemas multiagentes. In F. Osório R. Vieira and S. Rezende, editors, III Jornada de Mini-Cursos de Inteligência Artificial (JAIA’03), volume 8 of III Jornada de Mini-Cursos de Inteligência Artificial (JAIA’03), pages 247–296, Campinas, Brasil, 2003. Campinas, SBC.
C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, New York, 1985.
C. A. Iglesias, M. Garijo, J. C. González, and J. R. Velasco. Analysis and design of multiagent systems using mas-commonkads. In Intelligent Agents IV Agent Theories, Architectures, and Languages, volume 1365 of Lecture Notes in Computer Science, pages 313–327. Berlin, Springer, 1998.
N. Jennings and M. Wooldridge. Agent-oriented software engineering. In J. Bradshaw, editor, Handbook of Agent Technology. AAAI/MIT Press, 2000.
N. R. Jennings. An agent-based approach for building complex software systems. Communications ACM, 44(4):35–41, 2001.
A. C. R.Costa and G. P. Dimuro. Semantical concepts for a formal structural dynamics of situated multiagent systems. In Proceedings of COIN@Durham, pages 41–52, Durham, UK, 2007. Durham, University of Durham.
A. W. Roscoe. The theory and practice of concurrency. Prentice Hall, Englewood Cliffs NJ, 1998.
VTEAM. Projeto vteam [online], 2009. Disponível em: [link]. Acesso em: setembro 2009.
M. Winikoff and L. Padgham. The prometheus methodology. In F. Bergenti, M-P. Gleizes, and F. Zambonelli, editors, Methodologies and Software Engineering for Agent Systems. The Agent-Oriented Software Engineering handbook, volume 11 of Multiagent Systems, Artificial Societies, and Simulated Organizations, pages 217–234. Kluwer Publishing, 2004.
M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. Knowledge Engineering Review, 10:115–152, 1995.
F. Zambonelli, N. Jennings, and M.Wooldridge. Developing multiagent systems: The gaia methodology. ACM Transactions on Software Engineering and Methodology, 12(3):317–370, 2003.
G. Caire, W.Coulier, F. Garijo, J. Gomez, J. Pavon, F. Leal, P. Chainho, P. Kearney, J. Stark, R. Evans, and P. Massonet. Agent oriented analysis using message/uml. In M. J. Wooldridge, G. Weiss, and P. Ciancarini, editors, Agent-Oriented Software Engineering II, volume 2222 of Lecture Notes in Computer Science, pages 119–135, Berlin Heidelberg, 2001. Springer Verlag.
A. C. R. Costa and G. P. Dimuro. Introducing social groups and group exchanges in the poporg model. In AMAS ’09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, pages 1297–1298, Richland, SC, 2009. International Foundation for Autonomous Agents and Multiagent Systems.
A. C. R. Costa and G. P.Dimuro. A minimal dynamical mas organization model. In V. Dignum, editor, Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, pages 419–445, Hershey, 2009. IGI Global.
J. Davies and S. Schneider. A brief history of timed csp. Theoretical Computer Science, 138(2):243–271, 1995.
S. A. Delloach. Engineering organization-based multiagent system. In A. Garcia et al., editor, International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS’05), volume 3914 of Lecture Notes in Computer Science, pages 109–125, St. Louis, MO, 2006. Berlin, Springer.
Y. Demazeau and A. C. R. Costa. Populations and organizations in open multi-agent systems. In Proceedings of the 1st. National Symposium on Parallel and Distributed AI (PDAI‘96), Hyderabad, India, 1996.
V. Dignum. A model for organizational interaction: based on agents, founded in logic. PhD thesis, Utrecht University, Utrecht, 2004.
M. Esteva, D. Cruz, and C. Sierra. Islander: an electronic institutions editor. In Proceedings of the First International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2002), pages 1045–1052, Bologna, 2002.
J. Ferber, O. Gutknecht, and F. Michel. From agents to organizations: an organizational view of multiagent systems. In P. Giorgini, J. Muller, and J. Odell, editors, Agent-Oriented Software Engineering VI, volume 2935 of Lecture Notes in Computer Science, pages 214–230. Springer Verlag, 2004.
Formal Systems (Europe) FSE. Failures-divergence refinement: Fdr2 user manual, 2005.
P. Giorgini, M. Kolp, J. Mylopoulos, and M. Pistore. The tropos methodology: An overview. In M.-P. Gleizes Bergenti and F. Zambonelli, editors, The Tropos Methodology: An Overview, Methodologies And Software Engineering For Agent Systems, page 505. Kluwer Academic Press, New York, 2003.
J. F. Hübner and J. S. Sichman. Organização de sistemas multiagentes. In F. Osório R. Vieira and S. Rezende, editors, III Jornada de Mini-Cursos de Inteligência Artificial (JAIA’03), volume 8 of III Jornada de Mini-Cursos de Inteligência Artificial (JAIA’03), pages 247–296, Campinas, Brasil, 2003. Campinas, SBC.
C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, New York, 1985.
C. A. Iglesias, M. Garijo, J. C. González, and J. R. Velasco. Analysis and design of multiagent systems using mas-commonkads. In Intelligent Agents IV Agent Theories, Architectures, and Languages, volume 1365 of Lecture Notes in Computer Science, pages 313–327. Berlin, Springer, 1998.
N. Jennings and M. Wooldridge. Agent-oriented software engineering. In J. Bradshaw, editor, Handbook of Agent Technology. AAAI/MIT Press, 2000.
N. R. Jennings. An agent-based approach for building complex software systems. Communications ACM, 44(4):35–41, 2001.
A. C. R.Costa and G. P. Dimuro. Semantical concepts for a formal structural dynamics of situated multiagent systems. In Proceedings of COIN@Durham, pages 41–52, Durham, UK, 2007. Durham, University of Durham.
A. W. Roscoe. The theory and practice of concurrency. Prentice Hall, Englewood Cliffs NJ, 1998.
VTEAM. Projeto vteam [online], 2009. Disponível em: [link]. Acesso em: setembro 2009.
M. Winikoff and L. Padgham. The prometheus methodology. In F. Bergenti, M-P. Gleizes, and F. Zambonelli, editors, Methodologies and Software Engineering for Agent Systems. The Agent-Oriented Software Engineering handbook, volume 11 of Multiagent Systems, Artificial Societies, and Simulated Organizations, pages 217–234. Kluwer Publishing, 2004.
M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. Knowledge Engineering Review, 10:115–152, 1995.
F. Zambonelli, N. Jennings, and M.Wooldridge. Developing multiagent systems: The gaia methodology. ACM Transactions on Software Engineering and Methodology, 12(3):317–370, 2003.
Publicado
19/04/2010
Como Citar
BARBOSA, Raquel M.; COSTA, Antônio C. R.; TEDESCO, Patrícia C. A. R.; MOTA, Alexandre C..
Uso de CSP na Especificação Formal do Nível Micro-Organizacional de SMAs. In: WORKSHOP-ESCOLA DE SISTEMAS DE AGENTES, SEUS AMBIENTES E APLICAÇÕES (WESAAC), 4. , 2010, Rio Grande/RS.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2010
.
p. 13-21.
ISSN 2326-5434.
DOI: https://doi.org/10.5753/wesaac.2010.33049.
