データフロー型ビジュアルプログラミング言語における実行回数解析

概要

論文の詳細を見る
本研究では、エンドユーザによるアプリケーションの開発、実行、改良を可能にするソフトウェア開発環境としてデータフロー型計算の考え方に基づくビジュアルプログラミングシステム(以下VPS)の開発を行っている。このVPSは、データベースアプリケーションのマクロ実行を目的としており、通常のVPSよりも高機能な部品オブジェクトを扱うものである。高機能なオブジェクト間で交換されるデータの型や、フロー上のデータの流れは一般に複雑になりやすいので、実際にフローを実行する前に自動的にチェックを行う機能が望まれる。VPSに将来、新しい部品が次々に追加される場合を考えると、このチェックアルゴリズムには高い拡張性が要求される。本研究ではチェックアルゴリズムを、あらかじめ相手の振る舞いを知らない部品オブジェクトどうしが情報交換し、フロー全体としての振る舞いを自己診断する処理と考えることで、高い拡張性の実現を目指している。本報告では、具体的問題として、無限ループやデータの流れない部分をチェックする機能(実行回数解析)をとりあげ、その実現方法を紹介する。
社団法人電子情報通信学会の論文
1996-03-11