A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications
<|reference_start|>A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications: 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.<|reference_end|>
@article{manset2006a,
    title={A Formal Architecture-Centric Model-Driven Approach for the Automatic
  Generation of Grid Applications},
    author={David Manset, Herve Verjus, Richard McClatchey, Flavio Oquendo},
    journal={arXiv preprint arXiv:cs/0601118},
    year={2006},
    archivePrefix={arXiv},
    eprint={cs/0601118},
    primaryClass={cs.SE}
}