アクターモデル
アクターモデルは、各種並行システムのモデリングや理解のフレームワークとして利用可能である。以下のような例がある:
TTCN(Testing and Test Control Notation)はアクターモデルにある程度基づいている。TTCN では、アクターとはテスト部品であり、パラレルテスト部品(PTC) と主要テスト部品(MTC)がある。テスト部品は(他のテスト部品やテストシステムと)メッセージを送受信し、通信相手をアドレスで識別する。各テスト部品は固有の動作ツリーを持ち、並行的に動作し、他のテスト部品を動的に生成する。組み込み言語機能により受信したメッセージの種類に対応した動作を記述できる。
アクターモデルは、それ以前の以下のような計算モデルの上に構築された。