氏名: 山本 泰三 (l0361663)
論文題目: 状態遷移機械の記述に基づく通信プログラムの実装支援に関する研究
論文概要
通信プログラムの実装方法にはいくつかの方法が存在するが、そのうちで汎用プログラミング言語による実装への支援方法を研究する。一般に、通信プロトコルは状態遷移機械の概念を用いて表現することができる。また、通信プロトコルに従って動作するプログラムは状態遷移機械と見なすことができる。この点に注目し、状態遷移機械の記述から汎用プログラミング言語による通信モジュールを、自動的に生成する手法を提案する。また、それを通じて通信プログラムの実装を効率的に行なう手段を提供することを目指す。
目次に戻る