Skip to main content

On Formalising Policy Refinement in Grid Virtual Organisations

  • Conference paper
  • 786 Accesses

Part of the Studies in Computational Intelligence book series (SCI,volume 496)

Abstract

Grid computing is a global-computing paradigm focusing on the effective sharing and coordination of heterogeneous services and resources in dynamic, multi-institutional Virtual Organisations (VOs). This paper presents a formal model of VOs using the Event-B specification language.We have followed a refinement approach to develop goal-oriented VOs by incrementally adding their main elements: goals, organisations and services. Our main interest is in the problem of policy refinement in VOs, so policies are represented as invariants that should be maintained throughout the refinement process. As an illustration, we show how a VO resourceusage policy is represented at different levels of abstraction.

Keywords

  • Member Service
  • Virtual Organisation
  • Access Control Policy
  • Proof Obligation
  • Virtual Enterprise

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-319-00948-3_2
  • Chapter length: 15 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   119.00
Price excludes VAT (USA)
  • ISBN: 978-3-319-00948-3
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   159.99
Price excludes VAT (USA)
Hardcover Book
USD   249.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abrial, J.R.: The B Book. Cambridge University Press (1996)

    Google Scholar 

  2. Abrial, J.R. (ed.): Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)

    Google Scholar 

  3. Abrial, J.-R., Mussat, L.: Introducing dynamic constraints in B. In: Bert, D. (ed.) B 1998. LNCS, vol. 1393, pp. 83–128. Springer, Heidelberg (1998)

    CrossRef  Google Scholar 

  4. Arenas, A., Aziz, B., Bicarregui, J., Matthews, B.: Managing conflicts of interest in virtual organisations. Electron. Notes Theor. Comput. Sci. 197(2), 45–56 (2008), http://dx.doi.org/10.1016/j.entcs.2007.12.016 , doi:10.1016/j.entcs.2007.12.016

    CrossRef  Google Scholar 

  5. Arenas, A.E., Djordjevic, I., Dimitrakos, T., Titkov, L., Claessens, J., Geuer-Pollmann, C., Lupu, E.C., Tiptuk, N., Wesner, S., Schubert, L.: Toward web services profiles for trust and security in virtual organisations. In: Collaborative Networks and their Breeding Environments (PRO-VE 2005). Springer (2005)

    Google Scholar 

  6. Back, R.J., Wright, J.V.: Refinement Calculus: A Systematic Introduction. Springer (1998)

    Google Scholar 

  7. Back, R.J., Sere, K.: Superposition refinement of reactive systems. Formal Aspects of Computing 8(3), 324–346 (1996)

    MATH  CrossRef  Google Scholar 

  8. Bandara, A.K., Lupu, E.C., Moffett, J., Russo, A.: A goal-based approach to policy refinement. In: Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2004. IEEE (2004)

    Google Scholar 

  9. Brewer, D., Nash, M.: The chinese wall policy. In: IEEE Symposium on Research in Security and Privacy. IEEE (1989)

    Google Scholar 

  10. Camarihna-Matos, L.M., Afsarmanesh, H.: Elements of a ve infrastructure. Journal of Computers in Industry 51(2), 139–163 (2003)

    CrossRef  Google Scholar 

  11. Camarihna-Matos, L.M., Afsarmanesh, H., Ollus, M.: Ecolead: A holistic approach to creation and management of dynamic virtual organizations. In: Collaborative Networks and their Breeding Environments (PRO-VE 2005). Springer (2005)

    Google Scholar 

  12. Consortium, R.: Event B Language. Technical Report, Deliverable D7 (2005), http://rodin.cs.ncl.ac.uk/deliverables/rodinD10.pdf

  13. Foster, I., Kesselman, C., Tuecke, S.: The anatomy of the grid: Enabling scalable virtual organizations. International Journal of Supercomputer Applications 15(3) (2001)

    Google Scholar 

  14. Golby, D., Wilson, M., Schubert, L., Geuer-Pollmann, C.: An assured environment for collaborative engineering using web services. In: Proceedings of the 2006 Conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering, pp. 111–119. IOS Press, Amsterdam (2006), http://dl.acm.org/citation.cfm?id=1566652.1566674

    Google Scholar 

  15. Janowski, T., Lugo, G.G., Hongjun, Z.: Composing enterprise models: The extended and the virtual enterprise. In: Proceedings of the Third IEEE/IFIP International Conference on Intelligent Systems for Manufacturing: Multi-Agent Systems and Virtual Organizations. IEEE (1998)

    Google Scholar 

  16. Moffett, J.D., Sloman, M.S.: Policy hierarchies for distributed system management. IEEE Journal of Selected Areas in Communications, Special Issue on Network Management 11(9) (1993)

    Google Scholar 

  17. Morin, C.: Xtreemos: A grid operating sytem making your computer ready for participating in virtual organizations. In: 10th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2007). IEEE (2007)

    Google Scholar 

  18. Németh, Z., Sunderam, V.S.: Characterizing grids: Attributes, definitions, and formalisms. Characterizing Grids: Attributes, Definitions, and Formalisms 1(1), 9–23 (2003)

    Google Scholar 

  19. Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Generation Computing 4, 67–95 (1986)

    CrossRef  Google Scholar 

  20. RODIN Consortium: Specification of basic tools and platforms. Technical Report, Deliverable D10 (2005), http://rodin.cs.ncl.ac.uk/deliverables/rodinD10.pdf

  21. Dexter, S., Doyle, P., Gurevich, Y.: Abstract state machines and schoenhage storage modification machines. Journal of Universal Computer Science 3(4), 279–303 (1997)

    MathSciNet  MATH  Google Scholar 

  22. Su, L., Chadwick, D.W., Basden, A., Cunningham, J.A.: Automated decomposition of access control policies. In: Sixth IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2005. IEEE (2005)

    Google Scholar 

  23. Wasson, G., Marty, H.: Toward explicit policy management for virtual organisations. In: 4th IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2003 (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Benjamin Aziz .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Aziz, B. (2014). On Formalising Policy Refinement in Grid Virtual Organisations. In: Lee, R. (eds) Software Engineering Research, Management and Applications. Studies in Computational Intelligence, vol 496. Springer, Heidelberg. https://doi.org/10.1007/978-3-319-00948-3_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-00948-3_2

  • Publisher Name: Springer, Heidelberg

  • Print ISBN: 978-3-319-00947-6

  • Online ISBN: 978-3-319-00948-3

  • eBook Packages: EngineeringEngineering (R0)