---
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.'
accompaniment: []
book_title: ~
commentary: ~
completion_time: ~
composition_type: ~
conductors_id: []
conductors_name: []
contact_email: jeremy.bryans@ncl.ac.uk
copyright_holders: []
corp_creators: []
creators_id:
  - jeremy.bryans@ncl.ac.uk
  - john.fitzgerald@ncl.ac.uk
  - ~
creators_name:
  - family: Bryans
    given: Jeremy W.
    honourific: ''
    lineage: ''
  - family: Fitzgerald
    given: John S.
    honourific: ''
    lineage: ''
  - family: McCutcheon
    given: Tom
    honourific: ''
    lineage: ''
data_type: ~
date: 2011-04-12
date_type: submitted
datestamp: 2011-04-12 12:33:22
department: ~
dir: disk0/00/00/02/98
divisions: []
edit_lock_since: ~
edit_lock_until: 0
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 298
event_dates: 17-19 October
event_location: 'Sao Paulo, Brazil'
event_title: 'PRO-VE 2011 - 12th IFIP Working Conference on VIRTUAL ENTERPRISES'
event_type: conference
exhibitors_id: []
exhibitors_name: []
fileinfo: /style/images/fileicons/application_pdf.png;/298/1/pro%2Dve%2Dsubmitted%2D0412.pdf
full_text_status: public
funders: []
id_number: ~
importid: ~
institution: ~
isbn: ~
ispublished: submitted
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: "Information Flow Policies\r\nRefinement-based Modelling\r\nEmergency Response\r\nEvent-B\r\nVerification"
lastmod: 2011-04-12 12:54:29
latitude: ~
learning_level: ~
longitude: ~
lyricists_id: []
lyricists_name: []
metadata_visibility: show
monograph_type: ~
note: ~
num_pieces: ~
number: ~
official_url: ~
output_media: ~
pagerange: ~
pages: ~
patent_applicant: ~
pedagogic_type: ~
place_of_pub: ~
pres_type: paper
producers_id: []
producers_name: []
projects:
  - DEPLOY
  - TrAmS
publication: ~
publisher: ~
refereed: FALSE
referencetext: ~
related_url_type: []
related_url_url: []
relation_type: []
relation_uri: []
rev_number: 52
series: ~
skill_areas: []
source: ~
status_changed: 2011-04-12 12:33:22
subjects:
  - deploy_industrial_other
  - examples
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
task_purpose: ~
thesis_type: ~
title: Refinement-based techniques in the analysis of information flow policies for dynamic virtual organisations
type: conference_item
userid: 43
volume: ~
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>