Formalizing virtual organizations

ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence

Volumn 2, Issue , 2011, Pages 84-93

  Esparcia, Sergio ^a   Argente, Estefanía ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

Formalization; Multiagent systems; Virtual organizations

Indexed keywords

FORMALIZATION; ORGANIZATIONAL DIMENSIONS; ORGANIZATIONAL UNITS; STRUCTURAL ENTITIES; VIRTUAL ORGANIZATION;

MULTI AGENT SYSTEMS;

SOCIETIES AND INSTITUTIONS;

EID: 79960113915     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

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. Gâ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 self-healing 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.