Structure and Behaviour of Virtual Organisation Breeding Environments

Laura Bocchi
José Fiadeiro
Noor Rajper
Stephan Reiff-Marganiec

This paper provides an outline of a formal approach that we are developing for modelling Virtual Organisations (VOs) and their Breeding Environments (VBEs). We propose different levels of representation for the functional structures and processes that VBEs and VOs involve, which are independent of the specificities of the infrastructures (organisational and technical) that support the functioning of VBEs. This allows us to reason about properties of tasks performed within VBEs and services provided through VOs without committing to the way in which they are implemented.

In Jeremy Bryans and John Fitzgerald: Proceedings Second Workshop on Formal Aspects of Virtual Organisations (FAVO 2009), Eindhoven, The Netherlands, 3rd November 2009, Electronic Proceedings in Theoretical Computer Science 16, pp. 26–40.
Published: 29th January 2010.

ArXived at: http://dx.doi.org/10.4204/EPTCS.16.3 bibtex PDF

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org