2024-03-28T19:28:40Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000224122023-04-27T10:00:04Z01164:01384:01504:01507
要求仕様に基づくプロトコル仕様の完全化についてCompleting Protocol according to Requirementsjpnhttp://id.nii.ac.jp/1001/00022412/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=22412&item_no=1&attribute_id=1&file_no=1Copyright (c) 1988 by the Information Processing Society of JapanNTTソフトウェア研究所NTTソフトウェア研究所田倉, 昭市川, 晴久要求仕様にない動作をする可能性のある不完全なプロトコル仕様を完全化する手法を提案した.要求をメッセージシーケンス,その実現仕様であるプロトコル仕様を状態遷移機械で表現したとき,システムがプロトコル仕様上で要求外動作に伴なう異常状態に陥らないように必要なイベントを付加することにより,完全化を行う.イベントの付加による完全化は,次の二種類に分類される.(1)要求仕様を変更しない範囲で,プロトコル仕様を完全化する.(2)要求仕様,プロトコル仕様ともに変更して,すべての要求外動作に対してプロトコル仕様を完全化する.本手法を通信ソフトウェア作成支援環境SDEに組込み,実用性の高い設計支援を行うことができる.This paper presents a method to complete protocol specifications which may behave beyond requirements specifications. The method supports the insertion of events in a given protocol specification necessary to recover the specified system from undesired states, where protocol and requirements specifications are described as a set of state transition machines and as a set of message sequences between the machines, respectively. The event insertion is categorized into two types: (1) The Protocol specifications modified, but the requirements specifications not modified. (2) Both the protocol and requirements specifications modified. The method can be incorporated into the communications software development support system called "SDE (Systems Design Environment)".AN10112981情報処理学会研究報告ソフトウェア工学(SE) 198857(1988-SE-061)181988-07-272009-06-30