JavaScriptを有効にして再度、お越しください。新規登録ログインお知らせ※ユーザ登録は無料です.情報学広場に掲載されているコンテンツには有料のものも含まれています.有料コンテンツをご購入いただいた場合でも、領収書の発行はいたしておりません。クレジットカード会社様からの領収書/請求書をもってかえさせていただいております。複写複製および転載複製に係る著作権を学術著作権協会に委託しています。当該利用をご希望の方は、学術著作権協会が提供している複製利用許諾システムもしくは転載許諾システムを通じて申請ください。本会会員(賛助会員含む)および著者が転載利用の申請をされる場合については、学術目的利用に限り、無償で転載利用いただくことが可能です。刊行物に掲載されている製品名等は、各社の商標または登録商標です。通信サービスの開発において、近年、メッセージシーケンスチャート(MSC)がその理解性の良さなどから多く使われてきている。従来、MSCはシステムの粗い仕様を記述するのみに用いられることが多かったが、MSCでエラー処理を含むすべての仕様を記述しようとするアプローチも提案されている。このアプローチは到達可能解析に伴う状態爆発の問題を回避できるという点で有望であるが、記述すべきMSCの枚数が多くなり仕様の抜けなどが起こりやすくなるという問題がある。この問題を克服するために、筆者らはMSCとエラー処理を集約的に記述することのできるルールを併用した仕様記述法を提案し、その有効性を実験的に確認した。この記述法の実用性をさらに高めるためには、記述された仕様の正しさを検証する手段を与えることが不可欠である。そこで本稿では、まずルールからMSCを生成するアルゴリズムを示す。MSCとルールの仕様から得られるMSC集合が、MSC集合に要求される3つの性質feasibility,consistency,completenessのうちfeasibility,consistencyを満たすための条件を示す。264発行年1994-09-20。