University of Leicester
Browse
2010-3.pdf (1.86 MB)

Structure and Behaviour of Virtual Organisation Breeding Environments

Download (1.86 MB)
conference contribution
posted on 2011-09-08, 15:10 authored 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

2011-09-08

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

    University of Leicester Publications

    Categories

    Keywords

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC