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 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 services. 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. As an illustration, we show how a VO resource usage policy is represented at different levels of abstraction.
| Original language | English |
|---|---|
| Publication status | Published - Aug 2013 |
| Event | SERA 2013: 11th International Conference on Software Engineering Research, Management and Applications - Prague, Czech Republic Duration: 7 Aug 2013 → … |
Conference
| Conference | SERA 2013: 11th International Conference on Software Engineering Research, Management and Applications |
|---|---|
| Country/Territory | Czech Republic |
| City | Prague |
| Period | 7/08/13 → … |
Keywords
- Grid computing
- formal specifications
- load balancing
- virtual organisations