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.
Chapter PDF
Similar content being viewed by others
References
Camarinha-Matos, L.M., Afsarmanesh, H., Garita, C., Lima, C.: Towards an architecture for virtual enterprises. Journal of Intelligent Manufacturing 9, 189–199 (1998)
Dimitrakos, T., Golby, D., Kearney, P.: Towards a Trust and Contract Management Framework for Dynamic Virtual Organisations. In: eAdoption and the Knowledge Economy: eChallenges 2004, pp. 27–29. Kluwer Academic, Dordrecht (2004)
Camarinha-Matos, L.M., Afsarmanesh, H.: A comprehensive modeling framework for collaborative networked organizations. Journal of Intelligent Manufacturing 18, 529–542 (2007)
Woodcock, J.C.P., Larsen, P.G., Bicarregui, J., Fitzgerald, J.S.: Formal methods: Practice and experience. Computing Surveys 41(4), 1–36 (2009)
Haidar, A.N., Coveney, P.V., Abdallah, A.E., et al.: Formal Modelling of a Usable Identity Management Solution for Virtual Organisations. In: Bryans, J.W., Fitzgerald, J.S. (eds.) Proc. 2nd Workshop on Formal Aspects of Virtual Organisations, Eindhoven (November 2009); Electronic Proceedings in Theoretical Computer Science 16, 41–50 (2010)
McGinnis, J., Stathis, K., Toni, F.: A Formal Framework of Virtual Organisations as Agent Societies. In: Bryans, J.W., Fitzgerald, J.S. (eds.) Proc. 2nd Workshop on Formal Aspects of Virtual Organisations, Eindhoven (November 2009); Electronic Proceedings in Theoretical Computer Science 16, 1–14 (2010)
Bocchi, L., Fiadeiro, J., Rajper, N., Reiff-Marganeic, S.: Structure and Behaviour of Virtual Organisation Breeding Environments. In: Bryans, J.W., Fitzgerald, J.S. (eds.) Proc. 2nd Workshop on Formal Aspects of Virtual Organisations, Eindhoven (November 2009); Electronic Proceedings in Theoretical Computer Science 16, 26–40 (2010)
Bryans, J.W., Fitzgerald, J.S., Jones, C.B., Mozolevsky, I.: Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. In: Proc. IEEE Intl. Symp. on Leveraging Applications for Formal Methods, Cyprus, pp. 91–98. IEEE, Los Alamitos (2007)
Fitzgerald, J.S., Bryans, J.W., Greathead, D., Jones, C.B.: Animation-based Validation of a Formal Model of Dynamic Virtual Organisations. In: Boca, P., Bowen, J.P., Larsen, P.G. (eds.) Proc. BCS-FACS Workshop on Formal Methods in Industry, Electronic Workshops in Computing. British Computer Society (2008)
Arenas, A., Aziz, B., Bicarregui, J.C., Matthews, B.: Managing Conflicts of Interest in Virtual Organisations. Electronic Notes in Theoretical Computer Science 197(2), 45–56 (2008); Proc. 3rd Intl. Workshop on Security and Trust Management (STM 2007)
Belhay, H., Balouki, Y., Boudadi, M., El Hajji, S.: Using Event B to Specify QoS in ODP Enterprise Language. In: Camarinha-Matos, L.M., Boucher, X., Afsarmanesh, H. (eds.) PRO-VE 2010. IFIP AICT, vol. 336, pp. 478–485. Springer, Heidelberg (2010)
London Emergency Services Liaison Panel: Major Incident Procedure Manual. Seventh Edition (2007), www.met.police.uk/leslp
Abrial, J.-R.: Modelling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
Abrial, J.-R., Butler, M., Hallerstede, S., Voisin, L.: An Open Extensible Tool Environment for Event-B. In: Liu, Z., Kleinberg, R.D. (eds.) ICFEM 2006. LNCS, vol. 4260, pp. 588–605. Springer, Heidelberg (2006)
Fitzgerald, J.S., Bryans, J.W.: The Verifiable Virtual Organisation: a Position Paper. In: Proc. Formal Aspects of Virtual Organisations 2008, Technical Report CS-TR-1098, School of Computing Science, Newcastle University (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 IFIP International Federation for Information Processing
About this paper
Cite this paper
Bryans, J.W., Fitzgerald, J.S., McCutcheon, T. (2011). Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations. In: Camarinha-Matos, L.M., Pereira-Klen, A., Afsarmanesh, H. (eds) Adaptation and Value Creating Collaborative Networks. PRO-VE 2011. IFIP Advances in Information and Communication Technology, vol 362. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23330-2_35
Download citation
DOI: https://doi.org/10.1007/978-3-642-23330-2_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23329-6
Online ISBN: 978-3-642-23330-2
eBook Packages: Computer ScienceComputer Science (R0)