マッチング機能を利用した通信システム仕様記述手法
スポンサーリンク
概要
- 論文の詳細を見る
通信サービスの仕様記述では、有限状態遷移図を基本とし、状態にメモリを持たせるなどして記述能力を強化した手続的記述手法(SDL,Estelleなど)が利用されている。しかし、多者の関わるサービス、特に不特定多者の関わるサービスに関しては、従来手法による簡潔な記述はできない。本稿では、マッチング(変数を含むリストの整合性判定)機能を利用した非手続形の仕様記述手法を提案する。この手法により、不特定多者の関わるサービスの簡潔な記述が可能である。本手法では、マッチング機能を用いることにより、複数の状態遷移規則を1つのパタン遷移規則で記述可能とし、無限個の状態遷移規則をも記述可能として、記述能力を強化している。以下では、不特定多者の関わることのできるキャッチホンサービス記述を例に取り上げ、提案する記述手法による記述例を示す。次に従来手法による記述との比較・検討を行う。
- 一般社団法人情報処理学会の論文
- 1986-10-01
著者
関連論文
- サービス仕様の自動生成に関する考察
- 設計修正時の思考支援に関する考察
- 思考履歴を利用した設計支援環境の考察
- サービス記述検証支援システム
- 分散システムの記述とプロセス動作
- プロセス数に依存しない動作記述における状態の到達可能性解析
- サービス仕様の自動生成に関する考察 : 自動生成機構の構想
- 4ZE-1 秘密分散法を組み込んだOpenOfficeの評価(システムセキュリティ,一般セッション, セキュリティ,情報処理学会創立50周年記念)
- 2Y-6 PCの利用状況に応じたタスク制御手法の検討(システム運用・管理,学生セッション,ネットワーク)
- プロトコル射影検証手法における縮退検証と信号削除規律
- マッチング機能を利用した通信システム仕様記述手法
- 4ZE-2 個別閾値を用いたオンライン署名照合システム(システムセキュリティ,一般セッション, セキュリティ,情報処理学会創立50周年記念)
- 5R-9 Webにおけるサンプルコード検索支援手法の検討(Webシステム,学生セッション,データベースとメディア,情報処理学会創立50周年記念)
- H-017 個別閾値を用いたオンライン署名認証システム(画像認識・メディア理解,一般論文)
- E-009 Webにおけるサンプルコード検索支援手法の検討(自然言語・音声・音楽,一般論文)