posted on 2011-09-08, 15:10authored byLaura 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.
History
Citation
Bocchi, L; Fiadeiro, J; Rajper, N. and Reiff-Marganiec, S. ‘Structure and Behaviour of Virtual Organisation Breeding Environments’ in Bryans, J. and Fitzgerald, J. (Eds.) Theoretical Computer Science 16 (EPTCS 16), 2010, pp. 26-40
This paper was presented at Formal Aspects of Virtual Organisations (FAVO 2009), 3 November 2009, Eindhoven, The Netherlands and published in the proceedings.