A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications

TL;DR

This paper presents a novel formal architecture-centric, model-driven approach for automatically generating Grid applications, enhancing design reusability, platform independence, and rigorous development using formal semantics.

Contribution

It introduces a combined formal architecture-centric and model-driven methodology for Grid application development, which is a novel integration in this domain.

Findings

Improves reusability of design models

Facilitates cross-platform development

Enhances formal rigor in Grid system design

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.