PEPA とは

パフォーマンス評価プロセス代数(PEPA)は、1990年代にJane Hillstonによって導入されたコンピュータおよび通信システムをモデル化するために設計された確率的プロセス代数です。この言語は、ミルナーのCCSやHoareのCSPなどの古典的なプロセス代数を、確率的な分岐と遷移のタイミングを導入することによって拡張します。
レートは指数分布から引き出され、PEPAモデルは有限状態であり、確率過程、具体的には連続時間マルコフ過程(CTMC)を生じさせる。したがって、この言語は、スループット、利用率、応答時間、デッドロックの解消などの定性的特性など、コンピュータおよび通信システムのモデルの定量的特性を調べるために使用できます。この言語は、Gordon Plotkinによって発明されたスタイルの構造化された操作セマンティクスを使用して正式に定義されています。
ほとんどのプロセス代数と同様に、PEPAは節約的な言語です。接頭辞、接頭辞、選択、協力、隠蔽の4つしかない。プロセス(a、r).Pは、コンポーネントrとして進化する前にレートrでアクティビティaを実行する。選択肢は、2つの可能な選択肢の間の競合を設定する。プロセス(a、 r).P +(b、s).Qレースに勝つ(そしてプロセスはその後Pとして動作する)か、またはbがレースに勝つ(プロセスはその後Qとして動作する)。
協力オペレータは、協同組合で指定された活動のために2つの「協同組合」が参加することを要求する。プロセスP a、b> Qにおいて、プロセスPおよびQは、活動aおよびしかし、他の活動は独立して行うことができる。逆の化合物代数定理は、協働が製品形態の定常分布を有するのに十分な条件の組を与える。
最後に、プロセスP / {a}はアクティビティaをビューから隠します(他のプロセスがビューに参加するのを防ぎます)。