Posted on May 30th, 2010

The main objective of the FORMGRID project is to develop new techniques and software tools for diagrammatically modeling grid computing systems, and for formally verifying their correct behavior.

Grid computing systems are networks of loosely coupled computers which can be used together as a “virtual” computer for solving problems which are computationally hard and/or require very large storage capacity. The FORMGRID project develops techniques and tools for designing and analyzing grid computing systems. The groundbreaking character of the project is that the developed tools will allow users to model systems purely by constructing graphical diagrams, following the model-driven engineering philosophy, and that verification will be formal, exhaustive, and automatic.

Written by Piotr Kaźmierczak on May 30th, 2010