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