CORBAのコールバック問題のためのペトリネットの構造と解析について

摘要

ペトリネットはコンカレントシステムの有効なモデルの一つである。その応用として、著者らは、分散オブジェクト処理をペトリネットを用いモデル化し解析することにより、CORBAを始めとした分散オブジェクト処理において発生する分散コールバック問題に対する検討を行ってきた。 本報告では、このような分散オブジェクト処理をモデル化するペトリネットの構造を定義し、デッドロック検出のための解析手法について考察する。この構造は詳細化によって定義されるが、分解操作を行う手順も示すことで、デッドロック解析手法の有効性を示す。