氏名: 伊藤 真洋 (l0461609)

論文題目: CCSに基づく通信プログラム向けツールキットの作成


論文概要

本論文では通信プログラムをC言語の実行可能なプログラムへ変換するツールキットCCS2Cを実現する。プロセス間の通信制御をCCSの動作式により記述し、データ構造はC言語により記述する。CCSを利用したことにより通信制御の記述に簡潔性と明晰性を持たせることができる。データ構造の記述としてC言語を用いることによりデータ構造に柔軟性を持たすことができ、通信プログラムを簡潔に記述することができる。例としてビデオのリモコン予約プログラムを記述しその有用性を示し、CCSに基づく通信プログラムの作成環境の実現を目指す。
目次に戻る