[论文解读] A visual programming language for drawing and executing flowcharts

Drazen Lucanin, Ivan Fabek|arXiv (Cornell University)|Feb 10, 2012

Model-Driven Software Engineering Techniques参考文献 11被引用 5

一句话总结

本文提出 vIDE，一种基于 Eclipse IDE 和 GMF 框架构建的可视化编程语言，允许用户通过流程图设计算法，并自动生成可读的 Python 代码。通过利用 OCL 实现实时约束检查以及 GOTO 到 WHILE 的转换算法，vIDE 确保了语法正确性和语义清晰性，为学习编程提供了用户友好且教育有效的可视化算法设计环境。

ABSTRACT

With recent advances in graphical user interfaces, more and more tasks on computers have become easier to perform. Out of the belief that creating computer programs can also be one of them, visual programming languages (VPLs) have emerged. The goal of VPLs is to shift a part of work from the programmer to the IDE so that the programmer can focus more on algorithm logic than the syntax of the implementation programming language. In this article, the methods required to build a VPL are presented, with an emphasis on a novel method of code generation in a WHILE language. Also, the methods for achieving basic principles of VPLs will be shown - suitable visual presentation of information and guiding the programmer in the right direction using constraints. These methods are demonstrated on an example of vIDE, a VPL based on the Eclipse integrated development environment (IDE). The design of vIDE with respect to the Eclipse Graphical Modeling Framework (GMF) is described. The concept of a flowchart graphical notation is examined in contrast with the algorithm model it maps to. Finally, the disambiguity of the model representation of an algorithm is discussed and the methods for transforming it to an actual implementation in a programming language.

研究动机与目标

• 通过允许用户通过流程图可视化设计算法，降低编程的入门门槛。
• 开发一个系统，能够从可视化流程图表示自动生成正确且可读的 Python 代码。
• 通过使用 OCL 实现实时约束检查，防止设计过程中出现无效的程序结构。
• 通过展示生成的源代码，支持从可视化编程到传统编码的平滑过渡。
• 通过智能用户界面推断（例如，根据已有连接动态隐藏冗余选项）提升可用性。

提出的方法

• vIDE 系统作为 Eclipse 插件实现，使用 Eclipse 图形建模框架（GMF）进行图表建模和渲染。
• 流程图被建模为结构化 WHILE 语言中的树状抽象语法树，以实现算法的无歧义表示。
• GOTO 到 WHILE 的转换算法通过识别反向连接来检测流程图中的循环，从而实现循环代码的生成。
• 通过深度优先遍历抽象语法树执行代码生成，将每个指令映射到等效的 Python 语法。
• 使用对象约束语言（OCL）定义并强制执行实时的语法和结构约束（例如，禁止自连接）。
• 在 Java 中实现智能用户界面推断，以推断用户意图（例如，在已选择一个分支后隐藏冗余的“真/假”选项），从而减少视觉杂乱。

实验结果

研究问题

• RQ1 如何设计一个可视化编程环境，以同时支持直观的流程图创建和正确的代码生成？
• RQ2 哪些机制可以确保在流程图构建过程中实现实时的语法和语义约束检查？
• RQ3 可视化编程工具如何通过动态用户界面自适应推断用户意图并减少界面复杂性？
• RQ4 可视化流程图表示在多大程度上可以无歧义地转换为结构化编程语言（如 Python）？
• RQ5 可视化编程环境在多大程度上能通过展示生成的源代码，有效支持向传统编程的过渡？

主要发现

• vIDE 系统成功地从用户绘制的流程图生成正确且人类可读的 Python 代码，以欧几里得算法为例进行了验证。
• 通过 OCL 实现实时约束检查，可防止出现如自连接等无效结构，从而提高可用性和错误预防能力。
• GOTO 到 WHILE 的转换算法通过检测反向连接，正确识别流程图中的循环，从而实现正确的 WHILE 循环生成。
• 智能用户界面推断通过动态隐藏语义上冗余的选项（例如，在已有“真”分支时省略“假”选项），有效减少了视觉干扰。
• 该系统通过展示底层 Python 代码，实现了从可视化编程到文本编程的无缝教育过渡。
• GMF 与 OCL 的集成支持了一个强大且可扩展的框架，兼顾可视化建模与形式化约束验证。