Published: 29th January 2010|
|A Formal Framework of Virtual Organisations as Agent Societies Jarred McGinnis, Kostas Stathis and Francesca Toni||1|
|Common Representation of Information Flows for Dynamic Coalitions Igor Mozolevsky and John Fitzgerald||15|
|Structure and Behaviour of Virtual Organisation Breeding Environments Laura Bocchi, José Fiadeiro, Noor Rajper and Stephan Reiff-Marganiec||26|
|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||41|
|A Framework to Manage the Complex Organisation of Collaborating: Its Application to Autonomous Systems Peter Johnson, Rachid Hourizi, Neil Carrigan and Nick Forbes||51|
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.