分散システムの状態変化に対する非集中化モニタリング手法の提案

摘要

分散システムにおけるイベントの順序関係を定式化し、その関係を满たすようにシステムの状態遷移を定め、その状態遷移の中でシステムが満たすべき性質について動的に検証する方法を示した.また、大規模な分散システムに対する検証における処理を分散的に行う方法を示した.今後は、この手法を用いたシステムの実装を行い、分散システムによく見られる性質に対して検証を行いたい.