Loading article…
TAPAsは、並行システムの仕様記述と解析を行うためのツールです。その目的は、プロセス代数の教育を支援することです。システムはプロセス代数の項として記述され、その後、ラベル付き遷移システム（LTS）にマッピングされます。特性は、具体的なシステム記述と抽象的なシステム記述の等価性をチェックするか、得られたLTSに対して時間式（μ計算またはACTLとして表現）をモデル検査することによって検証できます。TAPAsが教育に特に適している重要な特徴は、各システムのグラフィカル表現とテキスト表現を一貫して保持することです。グラフィカル表記が変更されると、テキスト表現は即座に更新されますが、テキストが変更された場合は、グラフィカル表現の更新を手動でトリガーする必要があります。
TAPAsでは、並行システムは、システム動作の非決定論的な記述であるプロセスと、プロセス合成によって得られるプロセスシステムによって記述されます。特に、プロセスは他のプロセスまたはプロセスシステムを用いて定義できます。プロセスとプロセスシステムは、特定のプロセス代数の演算子を用いて合成されます。現在、TAPAsはCCSPとPEPAという2つのプロセス代数をサポートしています。
CCSP（= CCS + CSP ）は、 CCSからCSPのいくつかの演算子を考慮することによって得られます。CCSPプロセスシステムを作成した後、ユーザーは以下のツールのいずれかを使用してそれを分析できます。
PEPA（Performance Evaluation Process Algebra）は、1990年代にジェーン・ヒルストンによって提唱された、コンピュータおよび通信システムのモデリングを目的とした確率過程代数です。この言語は、ミルナーのCCSやホーアのCSPといった古典的な過程代数を拡張し、確率的な分岐と遷移のタイミングを導入しています。レートは指数分布から抽出され、PEPAモデルは有限状態であるため、確率過程、具体的には連続時間マルコフ過程（ CTMC）を生成します。したがって、この言語は、スループット、利用率、応答時間といったコンピュータおよび通信システムのモデルの定量的特性だけでなく、デッドロックからの解放といった定性的特性の研究にも使用できます。この言語は、ゴードン・プロトキンが考案した構造化された操作的意味論を用いて正式に定義されています。
TAPASは、1990年にピサのIEI CNRがJACKというツールを開発したことから始まった共同作業の成果です。[ 1 ] この作業はピサのISTI - CNRによって継続されました。新しいTAPAsバージョンは、フィレンツェ大学のシステム情報学部で開発されました。