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.
|Publication status||Published - May 2008|
|Event||Formal Aspects of Virtual Organisations - Tuku, Finland|
Duration: 1 May 2008 → …
|Conference||Formal Aspects of Virtual Organisations|
|Period||1/05/08 → …|