Industrial deployment of system engineering methods providing high dependability and productivity

 

Refinement-based techniques in the analysis of information flow policies for dynamic virtual organisations

Bryans, Jeremy W. and Fitzgerald, John S. and McCutcheon, Tom (2011) Refinement-based techniques in the analysis of information flow policies for dynamic virtual organisations. In: PRO-VE 2011 - 12th IFIP Working Conference on VIRTUAL ENTERPRISES, 17-19 October, Sao Paulo, Brazil. (Submitted)

[img]
Preview
PDF - Submitted Version
97Kb

Abstract

Dynamic virtual organisations (VOs) can arise in situations in which it is critical that they continue to operate, even in sub-optimal environments. Models of information flow in dynamic VOs are therefore needed in order to permit the rigorous verification of resilience properties before commitments are made to implementation. This paper proposes a refinement-based modelling approach for the design and analysis of VO policy resilience. The approach is demonstrated by using the refinement-based formalism Event-B to model a VO structure, commonly referred to as the Bronze/Silver/Gold structure that commonly arises in multi-agency response to emergencies. Machine-assisted proof is used to compare the validity of alternative information flow policies in Bronze/Silver/Gold when a fault is induced in the VO structure.

Item Type:Conference or Workshop Item (Paper)
Uncontrolled Keywords:Information Flow Policies Refinement-based Modelling Emergency Response Event-B Verification
Subjects:Industrial Deployment > Other
Event-B > Event-B Examples
ID Code:298
Deposited By:Dr Jeremy Bryans
Deposited On:12 Apr 2011 13:33
Last Modified:12 Apr 2011 13:54

Repository Staff Only: item control page

Deploy-Project - All right reserved