Toggle Main Menu Toggle Search

Open Access padlockePrints

Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations

Lookup NU author(s): Dr Jeremy Bryans, Professor John Fitzgerald, Professor Thomas McCutcheon


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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

Publication metadata

Author(s): Bryans JW, Fitzgerald JS, McCutcheon T

Editor(s): Camarinha Matos, L.M., PereiraKlen, A., Afsarmanesh, H.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 12th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE): Adaptation and value creating collaborative networks

Year of Conference: 2011

Pages: 314-321

ISSN: 1868-4238

Publisher: Springer


DOI: 10.1007/978-3-642-23330-2_35

Library holdings: Search Newcastle University Library for this item

Series Title: IFIP Advances in Information and Communication Technology

ISBN: 9783642233302