本研究では、並行計算の検証系として一般的なコンカレンシーワークベンチで利用できるCCS動作式を視覚的に作成、編集できるツールを作成する。 CCS動作式を視覚化することで利用者の理解を助け、直感的な操作で作成を支援し利用者が設計に注力できるようにする。プログラミング環境としてCCSが表すエージェントの合成や分解を視覚的に行うことができれば、CCSの代数的特徴を生かした直感的なプログラムが可能となる。コンポーザーはJavaのSwingを用いて作成した。
目次に戻る