通信サービス相互作用に含まれる意味的矛盾動作検出方式

• Item type: Journal(1)
• 公開日: 1994-08-15
• タイトル: 通信サービス相互作用に含まれる意味的矛盾動作検出方式
• タイトル / 言語: en
• タイトル: A Method to Detect Semantically Inconsistent Behavior in Telecommunicaton Service Interactions
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: ソフトウェア工学
• 著者所属: ATR通信システム研究所
• 著者所属: ATR通信システム研究所
• 著者所属: ATR通信システム研究所
• 著者所属: ATR通信システム研究所
• 著者所属(英): en
• 著者所属(英): ATR Communication Systems Research Laboratories
• 著者所属(英): en
• 著者所属(英): ATR Communication Systems Research Laboratories
• 著者所属(英): en
• 著者所属(英): ATR Communication Systems Research Laboratories
• 著者所属(英): en
• 著者所属(英): ATR Communication Systems Research Laboratories
• 著者名: 原田, 良雄; 高見, 一正; 太田, 理; 寺島, 信義
• 著者名(英): Yoshio, Harada; Kazumasa, Takami; Tadashi, Ohta; Nobuyoshi, Terashima
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 通信サービスを既存サービスに追加する際こは、追加サービスと既存サービスとの相互作用（サービスインターラクション）を解析し、サービス仕様間に生じる矛盾を解消し、サービス全体として矛盾のない仕様を作成する必要がある。本稿では、相互作用に合まれる意味的矛盾動作に着目し、機械的に意味的矛盾動作を検出する方式を提案する。通信サービス動作は、すでに提案しているSTR手法を用いて形式的な規則形式で記述されていることを前提とする、提案方式では、矛盾状態知識を用い、サービス合成動作生成時に矛盾状態を判定し、初期状態から矛盾状態に至る状態遷移を検出する。提案方式をシステムとして試作し、実際に5つのサービスを記述し、サービスを組み合わせて、意味的矛盾動作の検出実験を行った。実験の結果、効率的に意味的矛盾動作の検出が可能になり、原因解析支援が容易に実現できた。
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 35, 号 8, p. 1602-1613, 発行日 1994-08-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764