Published: 26th April 2012
DOI: 10.4204/EPTCS.83
ISSN: 2075-2180


Proceedings Third Workshop on
Formal Aspects of Virtual Organisations
Sao Paolo, Brazil, 18th October 2011

Edited by: Jeremy Bryans and John Fitzgerald

Multi-model-based Access Control in Construction Projects
Frank Hilbert, Raimar J. Scherer and Larissa Araujo
Towards a Formal Model of Privacy-Sensitive Dynamic Coalitions
Sebastian Bab and Nadim Sarrouh
A structured approach to VO reconfigurations through Policies
Stephan Reiff-Marganiec


FAVO2011 was the third workshop on Formal Aspects of Virtual Organisations, held on 18th October 2011. It was co-located with 12th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE 2011), in Sao Paulo, Brazil.

Virtual Organisations (VOs) are groups of individuals, organisations and 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 and the complexity of VOs and the reliance placed on them is increasing. Models, methods and tools that promote the verifiable design and reliable operation of VOs are urgently needed, but these are these tools are far from fully mature.

The presentations at FAVO 2011 were diverse. The first two touched on issues of access control. Hilbert et al. explored challenges related to the exchange of complex and confidential models in the construction industry. Bab et al. used Abstract State Machines to explore a general model of Virtual Organisations (or, in their work, Dynamic Coalitions) which was augmented with access control primitives. In the third paper, Reiff-Marganiec explores how a workflow language could be extended to the more challenging domain of Virtual Organisations.

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

We are grateful to the organisers of the PRO-VE 2011 conference for all their help in the organisation.