Authors:
David Manset
1
;
Hervé Verjus3
2
;
Richard McClatchey
3
and
Flavio Oquendo
4
Affiliations:
1
CCCS, University West of England; ETT Division, CERN 1211; LISTIC, University of Savoie, France
;
2
LISTIC, University of Savoie, France
;
3
CCCS, University West of England, United Kingdom
;
4
VALORIA, University of South Brittany, France
Keyword(s):
MDE, Grid, Software Architectures, Model Transformation, Refinement, ADLs.
Related
Ontology
Subjects/Areas/Topics:
CASE Tools for System Development
;
Enterprise Information Systems
;
Information Systems Analysis and Specification
;
Methodologies, Processes and Platforms
;
Model-Driven Software Development
;
Modeling Formalisms, Languages and Notations
;
Modeling of Distributed Systems
;
Software Engineering
;
Systems Engineering
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.