Structure and Behaviour of Virtual Organisation Breeding Environments

TL;DR

This paper introduces a formal modeling approach for Virtual Organisations and their Breeding Environments, enabling analysis of their structures and behaviors independently of specific infrastructures.

Contribution

It proposes a multi-level representation framework for VBEs and VOs that abstracts from infrastructural details, facilitating property reasoning.

Findings

Developed a formal model for VBEs and VOs

Defined multiple abstraction levels for structural and process representation

Enables analysis of task and service properties independently of infrastructure

Abstract

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.