TY - JOUR
T1 - Managing Conflicts of Interest in Virtual Organisations
AU - Arenas, Alvaro
AU - Aziz, Benjamin
AU - Bicarregui, Juan
AU - Matthews, Brian
PY - 2008/2/22
Y1 - 2008/2/22
N2 - In this paper, we present a formal model of virtual organisations that incorporates the concept of conflicts of interest. The model, which follows an incremental development approach using Event-B, focuses on goals and organisations at the abstract level and introduces resources at the concrete level. The model is motivated by the type of virtual organisations used in the domain of scientific experiments. Individual organisations, at the abstract level, are allowed to pursue conflicting goals within a virtual organisation. However, at the concrete level, these conflicts are isolated by applying a separation of resources mechanism. This ensures that no resource is allocated to any two conflicting goals.
AB - In this paper, we present a formal model of virtual organisations that incorporates the concept of conflicts of interest. The model, which follows an incremental development approach using Event-B, focuses on goals and organisations at the abstract level and introduces resources at the concrete level. The model is motivated by the type of virtual organisations used in the domain of scientific experiments. Individual organisations, at the abstract level, are allowed to pursue conflicting goals within a virtual organisation. However, at the concrete level, these conflicts are isolated by applying a separation of resources mechanism. This ensures that no resource is allocated to any two conflicting goals.
KW - Chinese Walls
KW - Refinement
KW - Security
KW - Virtual Organisations
UR - http://www.scopus.com/inward/record.url?scp=39149085679&partnerID=8YFLogxK
U2 - 10.1016/j.entcs.2007.12.016
DO - 10.1016/j.entcs.2007.12.016
M3 - Article
AN - SCOPUS:39149085679
SN - 1571-0661
VL - 197
SP - 45
EP - 56
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
IS - 2
ER -