Skip to main content
Article thumbnail
Location of Repository

Structure and Behaviour of Virtual Organisation Breeding Environments

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


This paper was presented at Formal Aspects of Virtual Organisations (FAVO 2009), 3 November 2009, Eindhoven, The Netherlands and published in the proceedings.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.Peer-reviewedPost-prin

Publisher: Open Publishing Association
Year: 2010
DOI identifier: 10.4204/EPTCS.16.3
OAI identifier:

Suggested articles


  1. (1996). A Compositional Approach to Performance Modelling. doi
  2. (2006). A formal approach to service-oriented architecture. In: doi
  3. (2009). A Formal Model for Timing Aspects of Service-Oriented Systems. (Available from
  4. (2009). A model-checking approach for service component architectures. In: doi
  5. Afsarmanesh (2003): Elements of a base VE infrastructure. doi
  6. (2004). Afsarmanesh (2004): The emerging discipline of collaborative networks. In: doi
  7. Afsarmanesh (2007): A framework for virtual organization creation in a breeding environment. doi
  8. (2008). An Abstract Semantics of Service Discovery and Binding. doi
  9. Fiadeiro (2008): A coordination model for service-oriented interactions. In: doi
  10. Global Computing Initiative, doi
  11. Kesselman (eds) (2004): The Grid 2: Blueprint for a New Computing Infrastructure.
  12. (1997). Semiring-based constraint satisfaction and optimization. doi
  13. (1996). Software Architecture: Perspectives on an Emerging Discipline.
  14. (2007). Specifying and composing interaction proto-cols for service-oriented system modelling. In: doi
  15. (2008). The verifiable virtual organisation: a position paper. In:
  16. (2006). Time bands in systems structure. In: doi
  17. Toumani (2004): Web services conversation modeling: A cornerstone for ebusiness automation. doi
  18. (2001). Two graph-based techniques for software architecture reconfiguration. doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.