Ambient Calculusのための統合開発環境
スポンサーリンク
概要
- 論文の詳細を見る
本発表では,プロセス代数の一種であるAmbient Calculus(AC)によるモバイルプロセスの開発を支援するための統合開発環境(IDE)を提案する.ACはネットワーク上で動作するプログラムの計算機間移動を代数式の形で簡潔に記述することを目的とした言語である.本IDEはJavaなど一般的な言語に対するIDEの持つ基本的なプログラミング支援機能に加え,AC特有の性質に対応した以下の4つの特徴的な機能を有する.(1) ACの代数式のもつ動的な階層構造をグラフィカルに記述し,それをプロセス式に変換する機能.(2) ACのプロセス式の持つ非決定的な選択動作に対し,それらすべてをプログラマが明示的に選択し逐次実行する機能,実行後に後戻りする機能など,AC特有の動作に対応したデバッグ機能.(3)ネットワーク上を移動するモバイルプロセスの開発に対応できるよう,複数の計算機上で本IDEを起動し,計算機間を移動するACのプロセス式(モバイルプロセス)を動作させながら,動的にプロセス式の編集ができるような分散環境上でのデバッグ機能.(4) Java言語で作成されたプログラムをambientの中に入れ,ACの機能を用いてそのプログラムの実行状態を保ったままを計算機間を移動させる機能.以上の機能を持つIDEをEclipseのプラグインとして開発した.
- 2014-08-29