JavaScriptを有効にして再度、お越しください。新規登録ログインお知らせ※ユーザ登録は無料です.情報学広場に掲載されているコンテンツには有料のものも含まれています.有料コンテンツをご購入いただいた場合でも、領収書の発行はいたしておりません。クレジットカード会社様からの領収書/請求書をもってかえさせていただいております。複写複製および転載複製に係る著作権を学術著作権協会に委託しています。当該利用をご希望の方は、学術著作権協会が提供している複製利用許諾システムもしくは転載許諾システムを通じて申請ください。本会会員(賛助会員含む)および著者が転載利用の申請をされる場合については、学術目的利用に限り、無償で転載利用いただくことが可能です。刊行物に掲載されている製品名等は、各社の商標または登録商標です。新しい通信サービスを既存サービスに追加する場合に、新サービスと既存サービス間の相互作用によって引き起こされるサービス競合は通信サービスを迅速に開発するうえでの大きな障害となっており、サービス競合検出法は重要な課題となっている。最近のIN(IntelligentNetwork)の研究においては、通信システムに関する専門的な知識を必要とする交換機制御ソフトウェアの開発者に加えて、專門的な知識が無くても新しいサービスを提案できるスキルを持ったサービス開発者(非専門家)が通信サービスソフトウェアを設計できる支援手法が要求されている。本論文では、非専門家が形式的言語により記述したサービス仕様間の競合を検出することを目的とする。サービス鏡合を状態遷移の意味的矛置として形式的に定義し、その定義に基づく自動検出法を提案する。本論文では、サービス仕様は端末状態とイベントに基づく状態遷移モデルで定義する。その状態遷移関係はif?then型ルールの集合で規定し、1つのルールが1つの状熊遷移を表す。次に、意味的矛盾として2つのサービス仕様を同時に提供した場合に生成される異常な状態(単独サービス仕様には規定されていない状態)への遷移の定義と機械的な検出手法を提案する。本手法に基づくサービス仕様競合の机上検出実験結果についても述べる。104発行年1995-01-15ISSN1882-7764。