分散システムの計算は、それぞれのプロセスと、プロセスで発生するイベント
の集合としてモデル化することができ、各イベントは因果関係と呼ばれる依存
関係を持っている。しかし、このイベントベースなモデルでは、イベント量の
膨大さやその因果構造の複雑さといった問題点から分散計算の解析は非常に困
難になる。
我々は、ユーザがより簡単に分散計算の解析を行えるような手法について研究
を行っている。具体的には、イベントを集合化し、その内部の因果関係を隠蔽
することでモデル全体の構造を簡単化する、イベントアブストラクションとい
う手法に着目し研究を進めている。
Back