Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

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

Résumé

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.
Fichier principal
Vignette du fichier
978-3-642-23330-2_35_Chapter.pdf (79.23 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01569997 , version 1 (28-07-2017)

Licence

Paternité

Identifiants

Citer

Jeremy W. Bryans, John S. Fitzgerald, Tom Mccutcheon. Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations. 12th Working Conference on Virtual Enterprises (PROVE), Oct 2011, São Paulo, Brazil. pp.314-321, ⟨10.1007/978-3-642-23330-2_35⟩. ⟨hal-01569997⟩
54 Consultations
48 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More