VirD-GM : Towards to a Grid Computing Environment

This work describes the integration of the Geometric Machine model (GM) with the execution environment for pervasive and grid computing EXEHDA. The model is responsible for the logical structure of the process which graphic expressions may be constructed in the interface of the Visual Programming Environment related to the Geometric Machine model (VPE-GM), while the middleware EXEHDA carries out its parallel and distributed execution. The resulting environment is a simple and reliable framework where the performance of several parallel programming tasks can be analyzed in an uniform way. VPE-GM handles the entire workflow, from modelling to execution of algorithms of scientific computations, and it is especially useful for partial, concurrent and non-deterministic programs. The simulator validates the graphic representation in the environment, including the control of process constructors and memory configurations. This means that encoding processes free from semantic errors can be exported to the execution module in a higher abstraction level.

[1]  Dana S. Scott,et al.  The lattice of flow diagrams , 1971, Symposium on Semantics of Algorithmic Languages.

[2]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[3]  David B. Skillicorn,et al.  Models and languages for parallel computation , 1998, CSUR.

[4]  Claudia Ermel,et al.  Visual Specification and Parsing of a Statechart Variant usi ng GENGED , 2001 .

[5]  Jorge L. V. Barbosa,et al.  A framework for exploiting adaptation in high heterogeneous distributed processing , 2002, 14th Symposium on Computer Architecture and High Performance Computing, 2002. Proceedings..

[6]  Graçaliz Pereira Dimuro,et al.  The Interval Geometric Machine , 2002 .

[7]  Renata Reiser,et al.  First Steps in the Construction of the Geometric Machine Model , 2002 .

[8]  Graçaliz Pereira Dimuro,et al.  A Programming Language for the Interval Geometric Machine , 2003, Electron. Notes Theor. Comput. Sci..

[9]  Graçaliz Pereira Dimuro,et al.  Specifying the geometric machine visual language , 2003, IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003.

[10]  Graçaliz Pereira Dimuro,et al.  The Distributed Interval Geometric Machine Model , 2004, PARA.

[11]  Iara Augustin,et al.  EXEHDA: adaptive middleware for building a pervasive grid environment , 2005, SOAS.