2010-3.pdf (1.86 MB)
Download file

Structure and Behaviour of Virtual Organisation Breeding Environments

Download (1.86 MB)
conference contribution
posted on 08.09.2011, 15:10 by 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.

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

Version

AM (Accepted Manuscript)

Published in

Bocchi

Publisher

Open Publishing Association

issn

2075-2180

Copyright date

2011

Available date

08/09/2011

Publisher version

http://eptcs.org/content.cgi?FAVO2009

Notes

This paper was presented at Formal Aspects of Virtual Organisations (FAVO 2009), 3 November 2009, Eindhoven, The Netherlands and published in the proceedings.

Language

en

Usage metrics

Categories

Keywords

Exports