分散システムの位相空間的特徴づけ Tweet

Proposal: (不採択)

分散システムの仕様を厳密に記述し自動的に検査する方法論は、古くからの研究テーマである。仕様が「安全性」と「活性」に分類できることは広く知られているが、1985 年の Alpern と Schneider による位相的な定式化やそれに連なる研究は、分散システムの挙動と数学的な概念との対応をより詳細に説明しており、自動検査アルゴリズムの効率化の面でも意義深い。本講演では、分散システムに興味を持つ中上級者に向け、関連研究のサーベイを通して仕様記述に対する基礎的理解を提供する。