Structure and behaviour of virtual organisation breeding environments

Laura Bocchi; José Fiadeiro; Noor Rajper; Stephan Reiff-Marganiec

doi:10.4204/EPTCS.16.3

Structure and behaviour of virtual organisation breeding environments

Laura Bocchi, José Fiadeiro, Noor Rajper, Stephan Reiff-Marganiec

Science and Engineering Office

Research output: Contribution to journal › Conference article › peer-review

2 Citations (Scopus)

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.

Original language	English
Pages (from-to)	26-40
Number of pages	15
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	16
DOIs	https://doi.org/10.4204/EPTCS.16.3
Publication status	Published - 29 Jan 2010
Event	2nd Workshop on Formal Aspects of Virtual Organisations, FAVO 2009 - Eindhoven, Netherlands Duration: 3 Nov 2009 → …

ASJC Scopus subject areas

Software

Access to Document

10.4204/EPTCS.16.3

Cite this

@article{28397220a7b84bf69a49de85344aa41b,

title = "Structure and behaviour of virtual organisation breeding environments",

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.",

author = "Laura Bocchi and Jos{\'e} Fiadeiro and Noor Rajper and Stephan Reiff-Marganiec",

year = "2010",

month = jan,

day = "29",

doi = "10.4204/EPTCS.16.3",

language = "English",

volume = "16",

pages = "26--40",

journal = "Electronic Proceedings in Theoretical Computer Science",

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "2nd Workshop on Formal Aspects of Virtual Organisations, FAVO 2009 ; Conference date: 03-11-2009",

}

TY - JOUR

T1 - Structure and behaviour of virtual organisation breeding environments

AU - Bocchi, Laura

AU - Fiadeiro, José

AU - Rajper, Noor

AU - Reiff-Marganiec, Stephan

PY - 2010/1/29

Y1 - 2010/1/29

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84864865772&partnerID=8YFLogxK

U2 - 10.4204/EPTCS.16.3

DO - 10.4204/EPTCS.16.3

M3 - Conference article

AN - SCOPUS:84864865772

SN - 2075-2180

VL - 16

SP - 26

EP - 40

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

T2 - 2nd Workshop on Formal Aspects of Virtual Organisations, FAVO 2009

Y2 - 3 November 2009

ER -

Structure and behaviour of virtual organisation breeding environments

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this