氏名: 大久保信康 (l0461617)
論文題目: LOTOSを用いた通信ソフトウェア開発の効率化に関する研究
論文概要
情報通信システムの円滑な構築にあたっては、システムの仕様を曖昧なく厳密
に記述する必要がある。そのため、従来のように自然言語を用いるのではなく、
構文と意味が厳密に曖昧なく規定された形式記述言語を用いて仕様を記述するこ
とが望ましい。LOTOSはそのような形式記述言語の一つである。
本研究では、LOTOSを用いて既存の通信ソフトウェアの仕様を実際に記述して
みることによりその記述性を調べ、LOTOSで仕様を記述することの問題点などを
考察した。その上で、LOTOSで記述された仕様を利用することにより、通信ソフ
トウェア開発を効率化できることを確認した。記述対象としてはメール通知到着
システム(
youbinプロトコル
)を扱った。
目次に戻る