2024-03-28T19:29:57Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000141632022-10-21T05:24:51Z00581:00768:00773
通信サービス相互作用に含まれる意味的矛盾動作検出方式A Method to Detect Semantically Inconsistent Behavior in Telecommunicaton Service Interactionsjpn論文http://id.nii.ac.jp/1001/00014163/Journal Articlehttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=14163&item_no=1&attribute_id=1&file_no=1Copyright (c) 1994 by the Information Processing Society of Japanソフトウェア工学ATR通信システム研究所ATR通信システム研究所ATR通信システム研究所ATR通信システム研究所原田, 良雄高見, 一正太田, 理寺島, 信義通信サービスを既存サービスに追加する際こは、追加サービスと既存サービスとの相互作用(サービスインターラクション)を解析し、サービス仕様間に生じる矛盾を解消し、サービス全体として矛盾のない仕様を作成する必要がある。本稿では、相互作用に合まれる意味的矛盾動作に着目し、機械的に意味的矛盾動作を検出する方式を提案する。通信サービス動作は、すでに提案しているSTR手法を用いて形式的な規則形式で記述されていることを前提とする、提案方式では、矛盾状態知識を用い、サービス合成動作生成時に矛盾状態を判定し、初期状態から矛盾状態に至る状態遷移を検出する。提案方式をシステムとして試作し、実際に5つのサービスを記述し、サービスを組み合わせて、意味的矛盾動作の検出実験を行った。実験の結果、効率的に意味的矛盾動作の検出が可能になり、原因解析支援が容易に実現できた。AN00116647情報処理学会論文誌358160216131994-08-151882-77642009-06-29