Visual Modeling for Parallel Programming Based on DSL

Parallel Application Visual Modeling (PAVM) is a system that simplifies the development of parallel applications by providing a graphical user interface for visually modeling and generating corresponding source code framework according to the constructed model. The specification of graphical construction blocks and composition rules are proposed to help construct feasible visual models. Model checker is designed to conduct model verification, and code generator is implemented to translate models to source code framework. PAVM is implemented based on DSL tools. With the help of PAVM, programmers are able to focus on algorithm design and obtain source code framework from graphical models.