2005/09/21 by David Manset, Richard McClatchey, Manset, David +7
Computer Science · #Advanced Software Engineering Methodologies #D.2.11 #Distributed #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Parallel #Service-Oriented Architecture and Web Services #Software Engineering (cs.SE) #and Cluster Computing (cs.DC) #cs.DC #cs.SE
paper · pdf · doi:10.48550/arxiv.cs/0509066
7 pages, 3 figures. Proc of the 18th international conference on Software and Systems Engineering and Applications. Paris November 2005
openalex publication_date 2005/09/21 · arxiv created 2005/09/27 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
As a consequence to the hype of Grid computing, such systems have seldom been designed using formal techniques. The complexity and rapidly growing demand around Grid technologies has favour the use of classical development techniques, resulting in no guidelines or rules and unstructured engineering processes. This paper advocates a formal approach to Grid applications development in an effort to contribute to the rigorous development of Grids software architectures. This approach addresses cross-platform interoperability and quality of service; the model-driven paradigm is applied to a formal architecture-centric engineering method in order to benefit from the 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 eases developments in Grid computing by providing an adapted development process and ensuring correctness at each design step.