氏名: 平手孝 (l0461659)

論文題目: CCSのためのグラフィック・エディタ


論文概要

本論文では、Milnerにより提案されたCCSの動作式をグラフィ ック・ユーザー・インターフェースによって編集するエディタに ついて述べる。理解しやすい表現形であり、ユーザーにとって入 力の容易なグラフィックでフローグラフとデリベーショングラフ と呼ばれるものを編集することによりCCSの動作式をこのエデ ィタは出力する。その際のCCSの動作式とグラフィックの関係 についての対応や意味などがどのようになっているか説明する。 また、生成されたCCSの動作式の使用例として2つの式が同じ ものを表現しているかどうかの判定をCCSの代表的なツールで ある"Concurrency Workbench"を用いることで実現してみる。
目次に戻る