Sergio Esparcia, Estefanía Argente


This work presents a formalization of Virtual Organizations, which are designed by means of their structural entities, such as roles, organizational units or norms, and the dynamic entities that change through time like agents and groups. Entities are grouped by means of the Organizational Dimensions, explicitly represented in the proposed formalization. Additionally, a study of existing formalizations of Organization Centered Multiagent Systems is presented.


  1. Clarke, E. (1999). Model checking. In Foundations of Software Technology and Theoretical Computer Science, page 54. Springer.
  2. Criado, N., Argente, E., and Botti, V. (2010). Rational Strategies for Autonomous Norm Adoption. In Proc. COIN@AAMAS, pages 9-16.
  3. Criado, N., Argente, E., Julian, V., and Botti, V. (2009). Designing virtual organizations. In Proc. PAAMS, volume 55 of Advances in Soft Computing, pages 440- 449.
  4. da Rocha Costa, A. and Dimuro, G. (2008). Semantical concepts for a formal structural dynamics of situated multiagent systems. Proc. COIN III, pages 139-154.
  5. Dignum, V. (2003). A model for organizational interaction: based on agents, founded in logic. PhD thesis, Utrecht University.
  6. Dignum, V. and Dignum, F. (2007). A logic for agent organizations. In Proc. FAMAS, pages 83-100.
  7. Emerson, E. (1991). Temporal and modal logic, Handbook of theoretical computer science (vol. B): formal models and semantics.
  8. Foster, I., Kesselman, C., and Tuecke, S. (2001). The anatomy of the grid: Enabling scalable virtual organizations. Int. J. High Perform. Comput. Appl., 15(3):200.
  9. Gaˆteau, B., Boissier, O., Khadraoui, D., and Dubois, E. (2005). Moiseinst: An organizational model for specifying rights and duties of autonomous agents. In Proc. EUMAS, pages 484-485.
  10. Gonzalez-Palacios, J. and Luck, M. (2007). Towards compliance of agents in open multi-agent systems. In Software Engineering for Multi-Agent Systems V, Lecture Notes in Computer Science. Springer.
  11. Grossi, D., Dignum, F., Dastani, M., and Royakkers, L. (2005). Fundations of organizational structures in multiagent systems. In Proc. AAMAS, pages 690-697.
  12. Haesevoets, R., Weyns, D., Holvoet, T., and Joosen, W. (2009). A formal model for self-adaptive and selfhealing organizations. In ICSE09 Workshop. IEEE.
  13. Jonker, C., Sharpanskykh, A., Treur, J., and Yolum, P. (2007). A framework for formal modeling and analysis of organizations. Appl. Intell., 27(1):49-66.
  14. Picard, G., Hübner, J., Boissier, O., and Gleizes, M. (2009). Reorganisation and self-organisation in multi-agent systems. In Proc. OrgMod'09.
  15. Popova, V. and Sharpanskykh, A. (2006). Process-Oriented Organization Modeling and Analysis Based on Constraints. Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems.
  16. Ricci, A., Viroli, M., and Omicini, A. (2007). Give agents their artifacts: the A&A approach for engineering working environments in MAS. In Proc. AAMAS, page 150.

Paper Citation

in Harvard Style

Esparcia S. and Argente E. (2011). FORMALIZING VIRTUAL ORGANIZATIONS . In Proceedings of the 3rd International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-8425-41-6, pages 84-93. DOI: 10.5220/0003156500840093

in Bibtex Style

author={Sergio Esparcia and Estefanía Argente},
booktitle={Proceedings of the 3rd International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},

in EndNote Style

JO - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
SN - 978-989-8425-41-6
AU - Esparcia S.
AU - Argente E.
PY - 2011
SP - 84
EP - 93
DO - 10.5220/0003156500840093