Implementing Visual Programming Environment for Rewriting Computation

在本研究中，我们开发了一种重写计算的可视化技术和一种并行计算的分析方法。通过使用它们，我们实现了一个统一的可视化的重写计算编程支持环境。此外，我们还对程序验证、可视化和用户界面进行了研究，以供进一步开发。得到了以下结果：操纵重写计算的元语言我们提出动态项重写演算（dynamic Term rewrite Calculus， DTRC）来实现对程序转换和程序验证的形式化描述。我们还提出了术语集重写系统（TSRS）来扩展补全算法。改写计算的可视化方法编程环境TERSE提供了各种可视化方法来支持术语改写系统的分析、验证和转换。目前在TERSE.3中实现了五种可视化查看器。并行重写计算的可视化界面及其实现我们开发了一个可视化环境，用于与标记转换系统（LTS）的可视化图进行通信。调试器接受一对LTS，其中一个是规范，另一个是实现。该系统有效地开发了正确的通信流程。

In this research, we developed a visualization technique of rewriting computation and an analysis method for parallel computation. By using them, we implement a unified visual support environment for programming of rewriting computation. Additionally, we studied about program verification, visualization and user interfaces for further development. The following results were obtained ;1. Meta-Language for manipulating rewriting computationWe propose Dinamic Term Rewriting Calculus (DTRC) to enable formal description of program transformation and program verification. We also proposed Term Set Rewriting Systems (TSRS) to extend completion algorithm.2. Visualization method for rewriting computationProgramming environment TERSE provides various kinds of visualization to support analysis, verification and transformation of Term Rewriting Systems. Currently five sorts of visual viewers are implemented in TERSE.3. Visual Interface for parallel rewriting computation and its implementationWE develop a visual environment for communicating processes with a visual graph of labeled transitions systems (LTS). The debugger accepts a pair of LTS's where the one is a specification and the other is an implementation. The system cases the development of correct communicating processes efficiently.