仕様記述言語LOTOSで記述された分散システムの動作の可視化

点击翻译按钮获取中文摘要

申請者らの論文「安本,東野,松浦,谷口:マルチランデブを用いたLOTOS仕様の実行の可視化,情報処理学会論文誌,Vol.37,No.5,pp.687-697(1996年5月)」において,並行や割込動作などを含む分散システムの一つのノードの動的実行状況を可視化(動作状況をアニメーションなどを用いて図的に表示すること)する方法を考案した.また,申請者らが従来から開発しているLOTOSコンパイラにアニメーション表示機能を追加することで,システムの動作状況をディスプレイ上に高速に図的表示するシステムを構築した.次に,複数ノードが協調して動作する分散システムの全体の動的実行状況を元のシステムの実行効率を低下させることなく可視化するため,分散システムの異なるノード間に指定されたマルチランデブ(複数プロセス間で同期し動的にデータ交換をする機構)の効率良い実現法を考案した.以上を,申請者らの研究会報告,(1)「マルチランデブを用いた分散システムの記述とバス結合ネットワーク上での実行」,情報処理学会研究会報告96-DPS-79-12,pp.59-64(1996年11月),および(2)「バス結合型ネットワーク上でのマルチランデブの実現法」,電子情報通信学会技術研究報告SS96-7,pp.17-24(1996年7月)で発表した.また,考案した手法に基づき,異なるノード間にマルチランデブが指定された分散システムおよび可視化用シナリオが書かれたLOTOS仕様から,分散ノード間で協調動作する目的コード群を自動生成するコンパイラを作成した.現在一般配布に向け準備中である.以上の成果を,Second IFIP International workshop on Formal Methods for Open Object-based Distributed Systems(FMOODS97)に投稿した.今後,考案した可視化法およびシステムを実際のネットワーク管理などに適用した上で,論文誌への投稿を予定している