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

用规范语言 LOTOS 编写的分布式系统行为的可视化

• 批准号: 08780266
• 负责人: 安本 慶一
• 金额: $ 0.51万
• 依托单位: Shiga University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1996
• 资助国家: 日本
• 起止时间: 1996 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-08780266/
• 关键词: 可視化; 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)に投稿した.今後,考案した可視化法およびシステムを実際のネットワーク管理などに適用した上で,論文誌への投稿を予定している

Applicant's paper,"Yasumoto, Higashino, Matsuura, Taniguchi: Visualization of the implementation of LOTOS operation in the middle of its use, Journal of the Society for Information Processing, Vol. 37, No. 5, pp. 687 -697(May 1996)," provides an examination of the method for visualizing the implementation of LOTOS operation in the middle of its use, including the distribution of LOTOS operation. In addition, the LOTOS system has been developed by the applicant for the operation status of the LOTOS system. Second, the efficiency of the whole operation of the decentralized system is low. The efficiency of the decentralized system is low. The efficiency of the decentralized system is low. The above, Report of the Research Committee of the Applicant,(1)"Description of the Decentralization System and Implementation of the Combination System", Report of the Research Committee of the Information Processing Society 96-DPS-79- 12, pp. 59 -64 (November, 1996),(2),"Implementation of the Combination Model," Technical Research Report SS96- 7, pp. 17 -24(July, 1996). For example, when a user selects a target group, the target group is automatically generated according to the user's preferences. Now the general distribution to prepare. The above results were submitted to the Second IFIP International workshop on Formal Methods for Open Object-based Distributed Systems(FMOODS97). In the future, the visual method of examination and case management will be applied to the actual production and management of papers, and the contribution of papers will be determined.

项目成果

安本慶一: "マルチランデブを用いたLOTOS仕様の実行の可視化" 情報処理学会論文誌. 37巻・5号. 687-697 (1996)

Keiichi Yasumoto：“使用多集合点执行 LOTOS 规范的可视化”，日本信息处理学会汇刊，第 37 卷，第 5 期，687-697（1996 年）。