通信サービス仕様における異常な状態への遷移の解消支援に関する一考察

スポンサーリンク

概要

論文の詳細を見る
通信ネットワークの高度化にともない多様なサービスの早期開発が求められており、そのためには、仕様の早期確定が必要である。仕様確定における重要な課題にサービス合成検証がある。これは新規サービスを既存サービスと合成した時に発生する不具合を検出し、解消するものである。我々は状態遷移ルールによる通信サービスの記述による開発支援を研究しており、合成検証については異常な状態への遷移の検出と解消について検討している。異常な状態への遷移の検出と解消は新規サービスと既存サービスを合成した時に元のサービス仕様では定義していない状態に遷移することを検出し、解消ルールの候補を設計者が検討することにより行う。本論文では検出された異常な状態の解消を効率良く行なうための支援手法について提案するものである。
社団法人電子情報通信学会の論文
1995-03-27

著者

関連論文

もっと見る

スポンサーリンク