Skip to main content
SpringerLink
Log in

Defining Virtual Organizations Following a Formal Approach

  • Conference paper
Agents and Artificial Intelligence (ICAART 2011)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 271))

Included in the following conference series:

  • 924 Accesses

Abstract

One of the main approaches to define a Virtual Organization, which is a concrete type of Organization Centered Multi-Agent System, is to follow a formal approach. Using a formalization involves introducing mathematical and logical concepts. In this paper, we present a formalization for Virtual Organizations, named Virtual Organization Formalization, which allows defining this kind of systems organized by means of the Organizational Dimensions, extracted after studying the human organization theory, where entities are distributed by the functionality they are providing to the Virtual Organization. Additionally, this work studies different proposals that are aimed to formally define an Organization Centered Multi-Agent System, comparing them with our own proposal.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Lemaître, C., Excelente, C.B.: Multi-agent organization approach. In: Proceedings of II Iberoamerican Workshop on DAI and MAS (1998)

    Google Scholar 

  2. Dignum, V., Dignum, F.: A logic for agent organizations. In: Proc. FAMAS, pp. 83–100 (2007)

    Google Scholar 

  3. Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science (vol. B): formal models and semantics (1991)

    Google Scholar 

  4. Grossi, D., Dignum, F., Dastani, M., Royakkers, L.: Fundations of organizational structures in multiagent systems. In: Proc. AAMAS, pp. 690–697 (2005)

    Google Scholar 

  5. Clarke, E.M.: Model Checking. In: Ramesh, S., Sivakumar, G. (eds.) FST TCS 1997. LNCS, vol. 1346, pp. 54–56. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  6. Foster, I., Kesselman, C., Tuecke, S.: The anatomy of the grid: Enabling scalable virtual organizations. Int. J. High Perform. Comput. Appl. 15(3), 200 (2001)

    Article  Google Scholar 

  7. Gonzalez-Palacios, J., Luck, M.: Towards Compliance of Agents in Open Multi-agent Systems. In: Choren, R., Garcia, A., Giese, H., Leung, H.-f., Lucena, C., Romanovsky, A. (eds.) SELMAS. LNCS, vol. 4408, pp. 132–147. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  8. Hubner, J.F., Sichman, J.S., Boissier, O.: A Model for the Structural, Functional, and Deontic Specification of Organizations in Multiagent Systems. In: Bittencourt, G., Ramalho, G.L. (eds.) SBIA 2002. LNCS (LNAI), vol. 2507, pp. 118–128. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  9. Criado, N., Argente, E., Julián, V., Botti, V.: Designing Virtual Organizations. In: Demazeau, Y., Pavón, J., Corchado, J.M., Bajo, J. (eds.) PAAMS 2009. AISC, vol. 55, pp. 440–449. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  10. Dignum, V.: A model for organizational interaction: based on agents, founded in logic. PhD thesis, Utrecht University (2003)

    Google Scholar 

  11. Popova, V., Sharpanskykh, A.: Process-Oriented Organization Modeling and Analysis Based on Constraints. Technical report (2006)

    Google Scholar 

  12. Gâteau, B., Boissier, O., Khadraoui, D., Dubois, E.: MoiseInst: An organizational model for specifying rights and duties of autonomous agents. In: Proc. EUMAS, pp. 484–485 (2005)

    Google Scholar 

  13. Haesevoets, R., Weyns, D., Holvoet, T., Joosen, W.: A formal model for self-adaptive and self-healing organizations (2009)

    Google Scholar 

  14. da Rocha Costa, A., Dimuro, G.: Semantical Concepts for a Formal Structural Dynamics of Situated Multiagent Systems. In: Sichman, J.S., Padget, J., Ossowski, S., Noriega, P. (eds.) COIN 2007. LNCS (LNAI), vol. 4870, pp. 139–154. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  15. Jonker, C.M., Sharpanskykh, A., Treur, J., Yolum, P.I.: A framework for formal modeling and analysis of organizations. Appl. Intell. 27(1), 49–66 (2007)

    Article  Google Scholar 

  16. Ricci, A., Viroli, M., Omicini, A.: Give agents their artifacts: the A&A approach for engineering working environments in MAS. In: Proc. AAMAS, p. 150 (2007)

    Google Scholar 

  17. Criado, N., Argente, E., Botti, V.: Rational Strategies for Norm Compliance in the n-BDI Proposal. In: De Vos, M., Fornara, N., Pitt, J.V., Vouros, G. (eds.) COIN 2010. LNCS, vol. 6541, pp. 1–20. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  18. Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, pp. 46–57. IEEE (1977)

    Google Scholar 

  19. Nardini, E., Molesini, A., Omicini, A., Denti, E.: SPEM on test: the SODA case study. In: Proc. of the 2008 ACM Symposium on Applied Computing, pp. 700–706. ACM (2008)

    Google Scholar 

  20. Argente, E., Botti, V., Carrascosa, C., Giret, A., Julian, V., Rebollo, M.: An Abstract Architecture for Virtual Organizations: The THOMAS approach. Knowledge and Information Systems, 1–35 (2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Grupo de Tecnología Informática - Inteligencia Artificial, Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València, Camino de Vera, s/n, 46022, Valencia, Spain

    Sergio Esparcia & Estefanía Argente

Authors
  1. Sergio Esparcia
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Estefanía Argente
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departament of Systems and Informatics, Polytechnic Institute of Setúbal – INSTICC, Rua do Vale de Chaves - Estefanilha, 2910-761, Setúbal, Portugal

    Joaquim Filipe

  2. IST - Technical University of Lisbon, Av.Rovisco Pais, 1, 1049-001, Lisbon, Portugal

    Ana Fred

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Esparcia, S., Argente, E. (2013). Defining Virtual Organizations Following a Formal Approach. In: Filipe, J., Fred, A. (eds) Agents and Artificial Intelligence. ICAART 2011. Communications in Computer and Information Science, vol 271. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29966-7_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29966-7_24

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-29965-0

  • Online ISBN: 978-3-642-29966-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation