Policy refinement in virtual organisations

A. Arenas; Benjamin Aziz; J. Bicarregui

Policy refinement in virtual organisations

A. Arenas
, Benjamin Aziz
, J. Bicarregui

Research output: Contribution to conference › Other › peer-review

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 → …

Cite this

@conference{1767e1d3f1ab45638476ac7c0d2746db,

title = "Policy refinement in virtual organisations",

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.",

author = "A. Arenas and Benjamin Aziz and J. Bicarregui",

year = "2008",

month = may,

language = "English",

note = "Formal Aspects of Virtual Organisations, FAVO2008 ; Conference date: 01-05-2008",

}

TY - CONF

T1 - Policy refinement in virtual organisations

AU - Arenas, A.

AU - Aziz, Benjamin

AU - Bicarregui, J.

PY - 2008/5

Y1 - 2008/5

N2 - 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.

AB - 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.

M3 - Other

T2 - Formal Aspects of Virtual Organisations

Y2 - 1 May 2008

ER -

Policy refinement in virtual organisations

Abstract

Conference

Fingerprint

Cite this