本論文では、Concurrency Workbenchを用いた通信プロセスの動作を視覚的に 理解し易くするため、CCS定義の際に用いるプロセス動作式からラベル付状態 遷移図を自動的に作成するシステムを構築する。Concurrency Workbenchは通 信プロセスを計算モデルとする並列システムの操作や解析を自動で行うツール であり、このツールにおける通信プロセスの記述方法は式によるものである。 しかし、通信プロセスの動作は、その非決定的な動作及び通信のメカニズムの ため複雑になり、この動作を一次元的な表現の式から理解することは一般的に 容易ではない。そこで、通信プロセスの動作を直接視覚的に表現し、直観的に 並行プログラムの動作理解を支援して、高信頼性プログラムの開発を目標とす る。