氏名: 神谷 英治 (089433190)
論文題目: 時間プロセス言語の順序付き
SOS仕様に対する振舞い解析ツール
論文概要
本論文では、順序付きSOS仕様によって定義される時間プロ
セス言語に対する振舞い解析を行うツールを提案する。時間
プロセス言語の振舞いの性質は、構文的定義である順序付き
SOS仕様を解析することで検証できることが知られている。
このことに基づいて、時間プロセス言語の定義から直接、そ
の動的性質を検証することができるようになる。しかし、解
析は複雑で人手によるチェックは困難である。本ツールによ
って解析を自動化し、妥当な動的性質を持つ時間プロセス言
語の設計を容易にすることができる。
目次に戻る