タクラ アキラ   Akira Takura
  田倉 昭
   所属   十文字学園女子大学  社会情報デザイン学部 社会情報デザイン学科
   職種   教授
言語種別 日本語
発行・発表の年月 1996/07
形態種別 研究論文
標題 Completing Protocols Synthesized from Service Specifications
執筆形態 共著
掲載誌名 IEICE Trans. on Communications,
巻・号・頁 Vol.E79-B(No.7),171-182頁
著者・共著者 Akira Takura and Atsushi Kanai.
概要 メッセージシーケンス図を使って通信サービスの要求仕様を記述し、ソフトウェア仕様に変換すると要求外動作に陥ることがあることを示し、その要求外動作に陥らないように自動的に変換する手法を提案する。X.227プロトコルへの適用例により有効性を示す。自動変換手法の提案を担当。