縮退到達可能性解析における網羅性について
スポンサーリンク
概要
- 論文の詳細を見る
本稿ではローカルなループを含む通信有限状態遷移仕様に対する縮退到達可能性解析の網羅性について議論する。通信有限状態遷移仕様からメッセージシーケンスチャートを抽出するとき、洩れなく抽出されているかという網羅性が問題となる。縮退到達可能性解析を用いて抽出を行なう場合の網羅性を示すには、一般の到達可能性解析で得られる全ての動作系列に対し、対応する動作系列が縮退到達可能性解析により得られることを示せばよい。本稿ではこの証明を与え、縮退到達可能性解析を用いたメッセージシーケンスチャートの抽出が網羅性を保証することが可能であることを示す。
- 社団法人電子情報通信学会の論文
- 1995-09-28
著者
-
大友 健治
NTT ソフトウェア研究所
-
平川 豊
NTTソフトウェア研究所
-
平川 豊
NTT サービスインテグレーション基盤研究所
-
荒川 則泰
NTTサービスインテグレーション基盤研究所
-
平川 豊
日本電信電話株式会社サービスインテグレーション基盤研究所第一推進プロジェクト
-
荒川 則泰
Nttソフトウェア研究所
-
大友 健治
NTTソフトウェア研究所
関連論文
- 著作権を考慮した画像情報流通システム
- 情報販売システムの構成に関する研究
- WWW上のサービスプログラム構造に関する検討
- 3次元空間を利用した商品属性可視化手法の提案(ヒューマンコミュニケーショングループ(HCG)シンポジウム)
- D-6-13 ビジュアルショーケースオーサリングシステムの開発(D-6. コンピュータシステム)
- 三次元陳列空間制御システムVisualShowcaseにおけるオーサリングツールの開発(セッション7)
- 三次元陳列空間制御システムVisualShowcaseにおけるマルチブラウザ対応方式の検討(セッション7)
- 三次元陳列空間制御システムVisualShowcaseにおけるオーサリングツールの開発(セッション7)
- 三次元陳列空間制御システムVisualShowcaseにおけるマルチブラウザ対応方式の検討(セッション7)
- 仕様合成オペレータを持つ並行処理記述言語のアクションリファインメント
- 仕様合成オペレータを持つ並行処理記述言語のアクションリファインメント
- システム進化支援環境 リセプティブプラットホーム
- インターネット上でのデータベースマーケティング
- World Wide Webによる情報販売方式
- A-15-11 三次元空間を利用したビジュアル指向オークションサービスの提案
- 時間的要因を考慮したプロトコル検証法
- ユーザ経験の追加によるワークフロー機能拡張システム
- 逐次追加型ワークフローにおける記述方式 : TORECの提案
- 逐次追加によるAP構築手法
- 分散システムにおける動的改版技術
- 光コマースサービスとその技術的課題 (インターネットの新しいサービスとその基盤技術, 及び一般)
- 縮退到達可能性解析における網羅性について
- 光時代のコマースサービスを目指して
- 通信ソフトウェアにおけるリバースエンジニアリング
- 共用ウィンドウ管理システムXMULTI (ソフトウェア生産技術の研究)
- ウィンドウ共有管理システムXMULTI
- 電子会議のための動的マルチポイント接続モデルの提案
- メッセージシーケンス要求仕様に対する例外動作検出手法の拡張
- 分散システムにおける動的改版のためのグループ通信(その2)
- プロセス構成の変更を伴うサービスに対する MSC 仕様の適用法
- ネットワークの一部に対する通信ソフトウェア機能追加手法
- 通信ソフトウェアの機能改良手法