Electronic Proceedings in Theoretical Computer Science (Jan 2010)

A Formal Framework of Virtual Organisations as Agent Societies

  • Jarred McGinnis,
  • Kostas Stathis,
  • Francesca Toni

DOI
https://doi.org/10.4204/EPTCS.16.1
Journal volume & issue
Vol. 16, no. Proc. FAVO 2009
pp. 1 – 14

Abstract

Read online

We propose a formal framework that supports a model of agent-based Virtual Organisations (VOs) for service grids and provides an associated operational model for the creation of VOs. The framework is intended to be used for describing different service grid applications based on multiple agents and, as a result, it abstracts away from any realisation choices of the service grid application, the agents involved to support the applications and their interactions. Within the proposed framework VOs are seen as emerging from societies of agents, where agents are abstractly characterised by goals and roles they can play within VOs. In turn, VOs are abstractly characterised by the agents participating in them with specific roles, as well as the workflow of services and corresponding contracts suitable for achieving the goals of the participating agents. We illustrate the proposed framework with an earth observation scenario.