Abstract
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 language | English |
|---|---|
| Publication status | Published - May 2008 |
| Event | Formal Aspects of Virtual Organisations - Tuku, Finland Duration: 1 May 2008 → … |
Conference
| Conference | Formal Aspects of Virtual Organisations |
|---|---|
| Abbreviated title | FAVO2008 |
| Country/Territory | Finland |
| City | Tuku |
| Period | 1/05/08 → … |