アクターモデル
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/11/08 06:58 UTC 版)
アクターモデル(英: actor model)とは、1973年、カール・ヒューイット、Peter Bishop、Richard Steiger が発表した並行計算の数学的モデルの一種[1]。アクターモデルでは、並行デジタル計算の汎用的基本要素として「アクター」という概念を導入している。アクターモデルは並行性の理論的理解のフレームワークとして使われるほか、並行システムの実装の理論的基礎としても利用されてきた。
- ^ Carl Hewitt(1973年), "A Universal Modular Actor Formalism for Artificial Intelligence". IJCAI.
- ^ a b c d William Clinger(1981年6月), "Foundations of Actor Semantics". Mathematics Doctoral Dissertation. MIT.
- ^ a b Irene Greif(1975年8月). "Semantics of Communicating Parallel Processes". EECS Doctoral Dissertation. MIT
- ^ a b Henry Baker(1977年8月). "Laws for Communicating Parallel Processes". IFIP.
- ^ a b c Gul Agha(1986年). "Actors: A Model of Concurrent Computation in Distributed Systems". Doctoral Dissertation. MIT Press.
- ^ a b Gul Agha; Ian Mason, Scott Smith, and Carolyn Talcott(1993年1月). "A Foundation for Actor Computation". Journal of Functional Programming.
- ^ Carl Hewitt(2006年4月27日). "What is Commitment? Physical, Organizational, and Social". COIN@AAMAS.
- ^ Mauro Gaspari(1997年5月). "An Algebra of Actors". Technical Report UBLCS-97-4. University of Bologna.
- ^ M. Gaspari(1999年). "An Algebra of Actors". Formal Methods for Open Object Based Systems.
- ^ Gul Agha(2004年). "An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language". From OO to FM (Dahl Festschrift) LNCS 2635.
- ^ John Darlington(1994年). "Formalizing Actors in Linear Logic". International Conference on Object-Oriented Information Systems.
- ^ 「無制限の不確定性」とも言う。ヒューイットがニールス・ボーアに倣って好んで使った用語
- 1 アクターモデルとは
- 2 アクターモデルの概要
- 3 応用
- 4 アクターモデルの重要性
- 5 参考文献
- 6 外部リンク
固有名詞の分類
- アクターモデルのページへのリンク