アクターモデル

アクターモデル（英: actor model）とは、1973年、カール・ヒューイット、Peter Bishop、Richard Steiger が発表した並行計算の数学的モデルの一種。アクターモデルでは、並行デジタル計算の汎用的基本要素として「アクター」という概念を導入している。アクターモデルは並行性の理論的理解のフレームワークとして使われるほか、並行システムの実装の理論的基礎としても利用されてきた。

（中略）

アクターは並行的に受信するメッセージに対応した以下のような振る舞いを備えた計算実体（Computational Entity）である:

（他の）アクターに有限個のメッセージを送信する。

有限個の新たなアクターを生成する。

次に受信するメッセージに対する動作を指定する。

これらの振る舞いには逐次性は前提とされておらず、並列的にこれらを実行する。