タクラ アキラ   Akira Takura
  田倉 昭
   所属   十文字学園女子大学  社会情報デザイン学部 社会情報デザイン学科
   職種   教授
言語種別 日本語
発行・発表の年月 1994/10
形態種別 研究論文
標題 Stepwise Telecommunication Software Generation from Service Specifications in State Transition Model
執筆形態 共著
掲載誌名 Proc. 1994 International Conference on Network Protocols,
出版社・発行元 ボストン
巻・号・頁 135-142頁
著者・共著者 Akira Takura and Tadashi Ohta.
概要 通信サービス仕様を端末の状態変化を表す規則の集合として記述したサービス仕様とそのサービス仕様を通信システム上で動作させるソフトウェア仕様への変換法を示す。次に、ソフトウェア仕様にネットワーク機器を制御するための仕様を組み込むための詳細仕様記述言語で記述された仕様と合わせた2段階詳細化により、通信ソフトウェアを自動生成する手法を提案する。PBXソフトウェア開発への適用により有効性を示す。