Implementing Visual Programming Environment for Rewriting Computation

实现重写计算的可视化编程环境

• 批准号: 07558037
• 负责人: INAGAKI Yasuyoshi
• 金额: $ 10.05万
• 依托单位: Nagoya University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (A)
• 财政年份: 1995
• 资助国家: 日本
• 起止时间: 1995 至 1997
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07558037/
• 关键词: term rewriting system; rewriting computation; process algebra; visual support environment; programming environment; functional language; computational model; algebraic programming; 書換え計算; 視覚化; 並行計算; プログラム変換; 項書換え系; 実時間並行計算; 検証; 代数的仕様; 帰納的定

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.

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

项目成果

鈴木 晃: "SCCS動作式に対するunfold変換によるLTSモデルの効率的構成法" 信学技報. COMP96-47. 93-100 (1997)

Akira Suzuki：“使用 SCCS 运动方程展开变换的 LTS 模型的高效构建方法”IEICE 技术报告 93-100 (1997)。

Su Feng: "Confluence Property of Simple Frames in Dynamic Term Rewriting Calculus" IEICE Transaction on Information and Systems. (掲載予定).

苏峰：“动态项重写微积分中简单框架的汇合性质”，IEICE Transaction on Information and Systems（待出版）。

大野健治: "項書換え系における書換え系列の視覚化" 電気関係学会東海支部連合大会講演論文集. 657-657 (1996)

Kenji Ohno：“术语重写系统中重写序列的可视化”电气工程学会东海分会会议记录 657-657 (1996)。

平手 孝: "診断テスト生成に基づくラベル付遷移システムのグラフィカル・デバッガ" 信学技報. COMP97-12. 25-32 (1997)

Takashi Hirate：“基于诊断测试生成的标记转换系统的图形调试器”COMP97-12 (1997)。

N.Kawaguchi, T.Sakabe, Y.Inagaki: "TERSE : A Visual Environment for Supporting Analysis, Verification and Transformation of Term Rewriting Systems" Proceedings of AMAST'96. LNCS 1101. 571-574 (1996)

N.Kawaguchi、T.Sakabe、Y.Inagaki：“TERSE：支持术语重写系统分析、验证和转换的可视化环境”AMAST96 论文集。