Advertisement

Managing Separation of Concerns in Grid Applications Through Architectural Model Transformations

  • David Manset
  • Hervé Verjus
  • Richard McClatchey
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4758)

Abstract

Grids enable the aggregation, virtualization and sharing of massive heterogeneous and geographically dispersed resources, using files, applications and storage devices, to solve computation and data intensive problems, across institutions and countries via temporary collaborations called virtual organizations (VO) as described in [1]. Most implementations result in complex superposition of software layers, often delivering low quality of service and quality of applications. As a consequence, Grid-based applications design and development is increasingly complex, and the use of most classical engineering practices is unsuccessful. Not only is the development of such applications a time-consuming, error prone and expensive task, but also the resulting applications are often hard-coded for specific Grid configurations, platforms and infrastructures. Having neither guidelines nor rules in the design of a Grid-based application is a paradox since there are many existing architectural approaches for distributed computing, which could ease and promote rigorous engineering methods based on the re-use of software components. It is our belief that ad-hoc and semiformal engineering approaches, in current use, are insufficient to tackle tomorrow’s Grid developments requirements. Because Grid-based applications address multidisciplinary and complex domains (health, military, scientific computation), their engineering requires rigor and control. This paper therefore advocates a formal model-driven engineering process and corresponding design framework and tools for building the next generation of Grids. To achieve these objectives, two approaches are combined: (1) a formal semantic is used to model and check Grid applications; (2) a model-driven approach is adopted to promote model re-use, through separation of concerns, to model transformations, to hide the platform complexity and to refine abstract software descriptions into concrete usable ones.

Keywords

Grid MDE Software Architecture Model Transformation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Foster, I., Kesselman, C., Tuecke, S.: The Anatomy of the Grid – Enabling Scalable Virtual Organisations. International Journal of Supercomputer Applications (2001)Google Scholar
  2. 2.
    Schmidt, D.C.: Guest Editor’s Introduction: Model-Driven Engineering. Computer 39(2), 25–31 (2006)CrossRefGoogle Scholar
  3. 3.
    Archware: The EU funded ArchWare IST 2001-32360 – Architecting Evolvable Software - project, http://www.arch-ware.org
  4. 4.
    Manset, D., Verjus, H., McClatchey, R., Oquendo, F.: A Formal Architecture-Centric Model-Driven Approach For The Automatic Generation Of Grid Applications. In: ICEIS’06. Actes de 8th International Conference on Enterprise Information Systems, Paphos, Chyprus (2006)Google Scholar
  5. 5.
    Oquendo, F.: π-ARL: an Architecture Refinement Language for Formally Modelling the Stepwise Refinement of Software Architectures. ACM SIGSOFT Software Engineering Notes archive 29(5) (September 2004)Google Scholar
  6. 6.
    Milner, R.: Communicating and Mobile Systems: the pi-calculus. Cambridge University Press, Cambridge (1999)zbMATHGoogle Scholar
  7. 7.
    Kozen, D.: Results on the Propositional Mu-Calculus. Theoretical Computer Science 27, 333–354 (1983)zbMATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Amendolia, S.R., et al.: Deployment of a Grid-based Medical Imaging Application. In: Proceedings of the 2005 HealthGrid Conference, UK (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • David Manset
    • 1
    • 2
    • 3
  • Hervé Verjus
    • 1
  • Richard McClatchey
    • 2
  1. 1.University of Savoie – Polytech’ Savoie – LISTIC/LS 
  2. 2.CCCS, University West of England, BristolUK
  3. 3.Maat Gknowledge, ToledoSpain

Personalised recommendations