A FORMAL ARCHITECTURE-CENTRIC MODEL-DRIVEN APPROACH FOR THE AUTOMATIC GENERATION OF GRID APPLICATIONS

David Manset, Hervé Verjus3, Richard McClatchey, Flavio Oquendo

Abstract

This paper discusses the concept of model-driven software engineering applied to the Grid application domain. As an extension to this concept, the approach described here, attempts to combine both formal architecture-centric and model-driven paradigms. It is a commonly recognized statement that Grid systems have seldom been designed using formal techniques although from past experience such techniques have shown advantages. This paper advocates a formal engineering approach to Grid system developments in an effort to contribute to the rigorous development of Grids software architectures. This approach addresses quality of service and cross-platform developments by applying the model-driven paradigm to a formal architecture-centric engineering method. This combination benefits from a formal semantic description power in addition to model-based transformations. The result of such a novel combined concept promotes the re-use of design models and facilitates developments in Grid computing.

References

  1. Foster, I. Kesselman, C. Tuecke, S. 2001. The Anatomy of the Grid - Enabling Scalable Virtual Organisations, In Int. Journal of Supercomputer Applications,
  2. SOA - Service-Oriented Architectures An Introduction. See http://www.developer.com/services/article.php/10143 71.
  3. Cox, A. 2004. An Exploration of the Application of Software Reuse Techniques to the Location of Services in a Distributed Computing Environment, In Thesis report, University of Dublin.
  4. Kent, S. 2002. Model Driven Engineering, In IFM 2002, volume 2335 of LNCS. Springer-Verlag.
  5. Kleppe, A. Warmer, J. Bast, W. 2003. MDA Explained: The Model Driven Architecture™: Practice and Promise. Addison-Wesley, Paperback, ISBN 032119442X.
  6. Chaudet, C. Megzari, K. Oquendo, F. 2000. A Formal Architecture-Driven Approach for Designing and Generating Component-Based Software Process Models. In Proceedings of the 2000 International Conference on Information Systems Analysis and Synthesis (ISAS'00), Track on Process Support for Distributed Teambased Software Development.
  7. Amendolia, S.R. Estrella, F. Del Frate, C. Galvez, J. Hassan, W. Hauer, T. Manset, D. McClatchey, R. Odeh, M. Rogulin, D. Solomonides, T. Warren, R. 2005. Deployment of a Grid-based Medical Imaging Application, In Proceedings of the 2005 HealthGrid Conference.
  8. Land, R. 2002. Improving Quality Attributes of a Complex System Through Architectural Analysis - A Case Study, In Proceedings of the International Engineering of Computer-Based Systems Conference, p 167-174, IEEE Press.
  9. Medvidovic, N., Oreizy, P. Robbins, J.E. Taylor, R.N. 1996. Using object-oriented typing to support architectural design in the C2 Style. In Proceedings of 4th ACM Symposium on the Foundations of Software Engineering (SIGSOFT).
  10. EGEE gLite : see http://egee-jra1.web.cern.ch/egee-jra1/
  11. ArchWare. The EU funded ArchWare IST 2001-32360 - Architecting Evolvable Software - project: http://www.arch-ware.org.
  12. Oquendo F. Cimpan S. Verjus H. 2002. The ArchWare ADL: Definition of the Abstract Syntax and Formal Semantics. Deliverable D1.1b. ARCHWARE European RTD Project IST-2001-32360.
  13. Milner R. 1999. Communicating and Mobile Systems: the pi-calculus. ISBN 052164320, Cambridge University Press.
  14. Kozen D. 1983. Results on the Propositional Mu-Calculus, Theoretical Computer Science 27:333-354.
  15. Oquendo F. 2004. p-ARL: an Architecture Refinement Language for Formally Modelling the Stepwise Refinement of Software Architecture. In ACM SIGSOFT Software Engineering Notes archive Volume 29, Issue 5, ACM Press.
  16. Manset, D. Verjus, H. McClatchey, R. Oquendo, F. 2005. A Model Driven Approach for Grid Services Engineering. In Proceedings of the 2005 International Conference on Software Engineering and their Applications.
Download


Paper Citation


in Harvard Style

Manset D., Verjus3 H., McClatchey R. and Oquendo F. (2006). A FORMAL ARCHITECTURE-CENTRIC MODEL-DRIVEN APPROACH FOR THE AUTOMATIC GENERATION OF GRID APPLICATIONS . In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-972-8865-43-6, pages 322-330. DOI: 10.5220/0002443503220330


in Bibtex Style

@conference{iceis06,
author={David Manset and Hervé Verjus3 and Richard McClatchey and Flavio Oquendo},
title={A FORMAL ARCHITECTURE-CENTRIC MODEL-DRIVEN APPROACH FOR THE AUTOMATIC GENERATION OF GRID APPLICATIONS},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2006},
pages={322-330},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002443503220330},
isbn={978-972-8865-43-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - A FORMAL ARCHITECTURE-CENTRIC MODEL-DRIVEN APPROACH FOR THE AUTOMATIC GENERATION OF GRID APPLICATIONS
SN - 978-972-8865-43-6
AU - Manset D.
AU - Verjus3 H.
AU - McClatchey R.
AU - Oquendo F.
PY - 2006
SP - 322
EP - 330
DO - 10.5220/0002443503220330