UPTのプロダクションルールによる仕様記述の検討
スポンサーリンク
概要
- 論文の詳細を見る
本論本ではユニバーサルパーソナル通信(UPT)サービス仕様をプロダクションルールSTRを用いて記述する手法および、設計時のサービス競合の検証手法について述べる。UPTサービスは高度化ネットワークで実現されるため、新サービスの増加にともないサービス競合が多く発生することが考えられる。本研究は、サービスの早期開発のためのサービス仕様の形式的な記述とサービス競合検証の実現に関するものである。
- 社団法人電子情報通信学会の論文
- 1994-11-24