Policy refinement in virtual organisations

A. Arenas, Benjamin Aziz, J. Bicarregui

Research output: Contribution to conferenceOtherpeer-review


Grid computing is a global-computing paradigm focusing on the effective sharing and coordination of heterogeneous services and resources in dynamic, multi-institutional virtual organisations (VOs). This paper presents a formal model of Grid-based VOs using the Event-B specification language. We have followed a refinement approach to develop goal-oriented VOs by incrementally adding their main elements: goals, organisations and resources. Our main interest is in the problem of policy refinement in VOs, so policies are represented as invariants that should be maintained throughout the refinement process.
Original languageEnglish
Publication statusPublished - May 2008
EventFormal Aspects of Virtual Organisations - Tuku, Finland
Duration: 1 May 2008 → …


ConferenceFormal Aspects of Virtual Organisations
Abbreviated titleFAVO2008
Period1/05/08 → …


Dive into the research topics of 'Policy refinement in virtual organisations'. Together they form a unique fingerprint.

Cite this