タクラ アキラ   Akira Takura
  田倉 昭
   所属   十文字学園女子大学  社会情報デザイン学部 社会情報デザイン学科
   職種   教授
言語種別 日本語
発行・発表の年月 1994/01
形態種別 研究論文
標題 サービス非依存な競合回避機能を有するプロトコル合成法
執筆形態 共著
掲載区分国内
出版社・発行元 信学会交換システム研究会
巻・号・頁 SSE93-139,61-66頁
著者・共著者 田倉昭、太田理。
概要 複数端末の大域状態遷移規則として記述された通信サービス仕様から端末毎に局所状態を保持するプロセスの仕様をサービス依存動作とサービス非依存動作の二階層からなるソフトウェア仕様として導出する方式を提案する。大域状態遷移記述から導出される局所状態遷移記述では、プロセス間通信において競合が発生することがある。このプロセス間通信における競合をサービス非依存な通信方式により回避する。このサービス非依存な通信方式を用いることにより、通信システムのアーキテクチャに依存しないソフトウェアの自動生成が可能となる。