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

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 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.
Type de document :
Communication dans un congrès
Luis M. Camarinha-Matos; Alexandra Pereira-Klen; Hamideh Afsarmanesh. 12th Working Conference on Virtual Enterprises (PROVE), Oct 2011, São Paulo, Brazil. Springer, IFIP Advances in Information and Communication Technology, AICT-362, pp.314-321, 2011, Adaptation and Value Creating Collaborative Networks. 〈10.1007/978-3-642-23330-2_35〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01569997
Contributeur : Hal Ifip <>
Soumis le : vendredi 28 juillet 2017 - 09:20:38
Dernière modification le : vendredi 28 juillet 2017 - 09:22:14

Fichier

978-3-642-23330-2_35_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Jeremy Bryans, John Fitzgerald, Tom Mccutcheon. Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations. Luis M. Camarinha-Matos; Alexandra Pereira-Klen; Hamideh Afsarmanesh. 12th Working Conference on Virtual Enterprises (PROVE), Oct 2011, São Paulo, Brazil. Springer, IFIP Advances in Information and Communication Technology, AICT-362, pp.314-321, 2011, Adaptation and Value Creating Collaborative Networks. 〈10.1007/978-3-642-23330-2_35〉. 〈hal-01569997〉

Partager

Métriques

Consultations de la notice

41

Téléchargements de fichiers

14