On formalising policy refinement in grid virtual organisations

Research output: Contribution to conferencePaperpeer-review

109 Downloads (Pure)

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 languageEnglish
Publication statusPublished - Aug 2013
EventSERA 2013: 11th International Conference on Software Engineering Research, Management and Applications - Prague, Czech Republic
Duration: 7 Aug 2013 → …

Conference

ConferenceSERA 2013: 11th International Conference on Software Engineering Research, Management and Applications
Country/TerritoryCzech Republic
CityPrague
Period7/08/13 → …

Keywords

  • Grid computing
  • formal specifications
  • load balancing
  • virtual organisations

Fingerprint

Dive into the research topics of 'On formalising policy refinement in grid virtual organisations'. Together they form a unique fingerprint.

Cite this