Published: 29th January 2010
DOI: 10.4204/EPTCS.16
ISSN: 2075-2180


Proceedings Second Workshop on
Formal Aspects of Virtual Organisations
Eindhoven, The Netherlands, 3rd November 2009

Edited by: Jeremy Bryans and John Fitzgerald

A Formal Framework of Virtual Organisations as Agent Societies
Jarred McGinnis, Kostas Stathis and Francesca Toni
Common Representation of Information Flows for Dynamic Coalitions
Igor Mozolevsky and John Fitzgerald
Structure and Behaviour of Virtual Organisation Breeding Environments
Laura Bocchi, José Fiadeiro, Noor Rajper and Stephan Reiff-Marganiec
Formal Modelling of a Usable Identity Management Solution for Virtual Organisations
Ali N. Haidar, P. V. Coveney, Ali E. Abdallah, P. Y. A Ryan, B. Beckles, J. M. Brooke and M . A. S. Jones
A Framework to Manage the Complex Organisation of Collaborating: Its Application to Autonomous Systems
Peter Johnson, Rachid Hourizi, Neil Carrigan and Nick Forbes


FAVO2009 was the second workshop on Formal Aspects of Virtual Organisations, held on 3rd November 2009 as a satellite event to the sixteenth International Symposium on Formal Methods (FM2009).

Virtual Organisations (VOs) are groups of agents (individuals, organisations, machines) that collaborate to achieve a common goal, for example to take advantage of a short-term market opportunity or respond to an acute crisis. The formation and operation of VOs are enabled by modern network-based architectures. The technology for the verifiable design of VOs is in its infancy. Given the flexibility and heterogeneity of these structures, how is it possible to gain confidence in the system-level behaviour of combinations of agent behaviours and information flows? This challenge has been a recurrent theme in the FAVO workshops to date.

The research challenges explored in the FAVO 2009 workshop were to provide a formal framework to support models of Virtual Organisations (considered for agent-based Virtual Organisations in the paper by McGinnis et al.); the modelling of access control across Virtual Organisations of agents with multiple access control policy languages (explored in the paper by Mozolevsky et al.); the nature of Virtual Breeding Environments (explored in the contribution of Bocchi et al.); the modelling of security requirements (Haidar et al. consider an approach to Identity Management within grid environments) and the nature of collaboration and collaboration structures (explored relatively informally in the paper by Johnson et al.).

Each paper received reviews by three members of the Programme Committee, which included:

We are grateful to Formal Methods Europe and the organisers of FMWeek and the FM 2009 Symposium for all their help with the organisation.