- Actor model later history
computer science, the Actor model, first published in 1973ref_harvard|Hewitt|Hewitt et al. 1973|-, is a mathematical model of concurrent computation. This article reports on the later history of the Actor model in which major themes were investigation of the basic power of the model, study of issues of compositionality, development of architectures, and application to Open systems. It is the follow on article to Actor model middle historywhich reports on the initial implementations, initial applications, and development of the first proof theory and denotational model.
Power of the Actor Model
Investigations began into the basic power of the Actor model.
Carl Hewitt argued that because of the use of Arbiters that the Actor model was more powerful than logic programming(see indeterminacy in concurrent computation).
A family of
Prolog-like concurrent message passing systems using unification of shared variables and data structure streams for messages were developed by Keith Clark, Hervé Gallaire, Steve Gregory, Vijay Saraswat, Udi Shapiro, Kazunori Ueda, "etc." Some of these authors made claims that these systems were based on mathematical logic. However, like the Actor model, the Prolog-like concurrent systems were based on message passing and consequently were subject to indeterminacy in the ordering of messages in streams that was similar to the indeterminacy in arrival ordering of messages sent to Actors. Consequently Carl Hewitt and Gul Agha  concluded that that the Prolog-like concurrent systems were neither deductive nor logical. They were not deductive because computational steps did not follow deductively from their predecessors and they were not logical because no system of mathematical logic was capable of deriving the facts of subsequent computational situations from their predecessors
Compositionality concerns composing systems from subsystems. Issues of compositionality had proven to be serious limitations for previous theories of computation including the
lambda calculusand Petri nets. "E.g.," two lambda expressions are not a lambda expression and two Petri nets are not a Petri net and cannot influence each other.
In his doctoral dissertation Gul Agha addressed issues of compositionality in the Actor model. Actor "configurations" have "receptionists" that can receive messages from outside and may have the addresses of the receptionists of other Actor configurations. In this way two Actor configurations can be composed into another configuration whose subconfigurations can communicate with each other. Actor configurations have the advantage that they can have multiple Actors ("i.e." the receptionists) which receive messages from outside without the disadvantage of having to poll to get messages from multiple sources (see issues with getting messages from multiple channels).
Carl Hewitt  pointed out that openness was becoming a fundamental challenge in software system development. Open distributed systems are required to meet the following challenges:
; Monotonicity: Once something is published in an open distributed system, it cannot be taken back. ; Pluralism: Different subsystems of an open distributed system include heterogeneous, overlapping and possibly conflicting information. There is no central arbiter of truth in open distributed systems.; Unbounded nondeterminism: Asynchronously, different subsystems can come up and go down and communication links can come in and go out between subsystems of an open distributed system. Therefore the time that it will take to complete an operation cannot be bounded in advance (see
unbounded nondeterminism).; Inconsistency: Large distributed systems are inevitably inconsistent concerning their information about the information system interactions of their human users
Carl Hewitt and Jeff Inman  worked to develop semantics for Open Systems to address issues that had arisen in Distributed Artificial Intelligence. Carl Hewitt and Carl Manning  reported on the development of Participatory Semantics for Open Systems.
Caltechunder the leadership of Chuck Seitz developed the Cosmic Cube which was one of the first message-passing Actor architectures. Subsequently at MITresearchers under the leadership of Bill Dally developed the J Machine.
Attempts to relate Actor semantics to algebra and linear logic
[Kohei Honda and Mario Tokoro 1991] , [José Meseguer 1992] , [Ugo Montanari and Carolyn Talcott 1998] , [M. Gaspari and G. Zavattaro 1999] have attempted to relate Actor semantics to algebra. Also [John Darlington and Y. K. Guo 1994] have attempted to relate linear logic to Actor semantics.
However, none of the above formalisms addresses the crucial property of guarantee of service (see
Recent developments in the Actor model have come from several sources.
Hardware development is furthering both local and nonlocal massive concurrency. Local concurrency is being enabled by new hardware for 64-bit many-core microprocessors, multi-chip modules, and high performance interconnect. Nonlocal concurrency is being enabled by new hardware for wired and wireless broadband packet switched communications. Both local and nonlocal storage capacities are growing exponentially. These hardware developments pose enormous modelling challenges. Hewitt [Hewitt 2006a, 2006b] is attempting to use the Actor model to address these challenges.
*Carl Hewitt. The Challenge of Open Systems Byte Magazine. April 1985. Reprinted in "The foundation of artificial intelligence---a sourcebook" Cambridge University Press. 1990.
* Gul Agha: [https://dspace.mit.edu/handle/1721.1/6952 Actors: A Model of Concurrent Computation in Distributed Systems] Doctoral Dissertation. MIT Press. 1986.
*Carl Manning. Traveler: the actor observatory ECOOP 1987. Also appears in
Lecture Notes in Computer Science, vol. 276.
*William Athas and Charles Seitz Multicomputers: message-passing concurrent computers IEEE Computer August 1988.
*William Dally and Wills, D. Universal mechanisms for concurrency PARLE 1989.
*W. Horwat, A. Chien, and W. Dally. Experience with CST: Programming and Implementation PLDI. 1989.
*Carl Hewitt. Towards Open Information Systems Semantics Proceedings of 10th International Workshop on Distributed Artificial Intelligence. October 23-27, 1990. Bandera, Texas.
Akinori Yonezawa, Ed. ABCL: An Object-Oriented Concurrent System MIT Press. 1990.
* K. Kahn and Vijay A. Saraswat, " [http://doi.acm.org/10.1145/97946.97955 Actors as a special case of concurrent constraint (logic) programming] ", in SIGPLAN "Notices", October 1990. Describes Janus.
*Carl Hewitt. Open Information Systems Semantics Journal of Artificial Intelligence. January 1991.
*Carl Hewitt and Jeff Inman. DAI Betwixt and Between: From "Intelligent Agents" to Open Systems Science IEEE Transactions on Systems, Man, and Cybernetics. Nov./Dec. 1991.
*Carl Hewitt and Gul Agha. Guarded Horn clause languages: are they deductive and Logical? International Conference on Fifth Generation Computer Systems, Ohmsha 1988. Tokyo. Also in "Artificial Intelligence at MIT", Vol. 2. MIT Press 1991.
*Kohei Honda and Mario Tokoro. An Object Calculus for Asynchronous Communication ECOOP 91.
*José Meseguer. Conditional rewriting logic as a unified model of concurrency in Selected papers of the Second Workshop on Concurrency and compositionality. 1992.
*William Dally, "et al." The Message-Driven Processor: A Multicomputer Processing Node with Efficient Mechanisms
IEEE Micro. April 1992.
*S. Miriyala, G. Agha, and Y.Sami. Visulatizing actor programs using predicate transition nets Journal of Visual Programming. 1992.
* Gul Agha, Ian Mason, Scott Smith, and Carolyn Talcott: A Foundation for Actor ComputationJournal of Functional Programming January 1993.
*Carl Hewitt and Carl Manning. Negotiation Architecture for Large-Scale Crisis Management AAAI-94 Workshop on Models of Conflict Management in Cooperative Problem Solving. Seattle, WA. Aug. 4, 1994.
* John Darlington and Y. K. Guo: Formalizing Actors in Linear Logic International Conference on Object-Oriented Information Systems. Springer-Verlag. 1994.
*Carl Hewitt and Carl Manning. Synthetic Infrastructures for Multi-Agency Systems Proceedings of ICMAS '96. Kyoto, Japan. December 8–13, 1996.
*S. Frolund. Coordinating Distributed Objects: An Actor-Based Approach for Synchronization MIT Press. November 1996.
*W. Kim. ThAL: An Actor System for Efficient and Scalable Concurrent Computing PhD thesis. University of Illinois at Urbana Champaign. 1997.
* Mauro Gaspari and Gianluigi Zavattaro: An Algebra of Actors, Technical Report UBLCS-97-4, University of Bologna, May
*Ugo Montanari and Carolyn Talcott. Can Actors and Pi-Agents Live Together? Electronic Notes in Theoretical Computer Science. 1998.
* M. Gaspari and G. Zavattaro: An Algebra of Actors Formal Methods for Open Object Based Systems, 1999.
*N. Jamali, P. Thati, and G. Agha. An actor based architecture for customizing and controlling agent ensembles IEEE Intelligent Systems. 14(2). 1999.
*P. Thati, R. Ziaei, and G. Agha. A Theory of May Testing for Actors Formal Methods for Open Object-based Distributed Systems. March 2002.
*P. Thati, R. Ziaei, and G. Agha. A theory of may testing for asynchronous calculi with locality and no name matching Algebraic Methodology and Software Technology. Springer Verlag. September 2002. LNCS 2422.
* Gul Agha and Prasanna Thati. [http://formal.cs.uiuc.edu/papers/ATactors_festschrift.pdf An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language] , From OO to FM (Dahl Festschrift) LNCS 2635. Springer-Verlag. 2004.
*Carl Hewitt. "The repeated demise of logic programming and why it will be reincarnated" What Went Wrong and Why: Lessons from AI Research and Applications. Technical Report SS-06-08. AAAI Press. March 2006b.
*Carl Hewitt [http://www.pcs.usp.br/~coin-aamas06/10_commitment-43_16pages.pdf "What is Commitment? Physical, Organizational, and Social"] COIN@AAMAS. 2006a.
Wikimedia Foundation. 2010.
Look at other dictionaries:
Actor model — In computer science, the Actor model is a mathematical model of concurrent computation that treats actors as the universal primitives of concurrent digital computation: in response to a message that it receives, an actor can make local decisions … Wikipedia
Actor model and process calculi history — The Actor model and process calculi share an interesting history and co evolution.Early workThe Actor model, first published in 1973, [Carl Hewitt, Peter Bishop and Richard Steiger. A Universal Modular Actor Formalism for Artificial Intelligence… … Wikipedia
Denotational semantics of the Actor model — The denotational semantics of the Actor model is the subject of denotational domain theory for Actors. The historical development of this subject is recounted in [Hewitt 2008b]. Contents 1 Actor fixed point semantics 2 Compositionality in… … Wikipedia
History of Pakistan — also see History of AJK · Balochistan · G B · KPK · Punjab · Sindh Timeline of Pakistan … Wikipedia
History of the Jews in Mexico — Jewish Mexican Mexicano de origen Judio Ilan Stavans · Arturo Ripstein Total population 67,476 Regions with significant populations … Wikipedia
History of film — This article is about the history of cinema. For other uses, see History of photography. Years in film 1870s 1880s 1890s … Wikipedia
History of Doctor Who — The Doctor Who diamond logo, used in the show s opening titles from 1973 to 1980 Doctor Who is a British television science fiction series, produced and screened by the British Broadcasting Corporation on their BBC One channel from 1963 to 1989… … Wikipedia
History of Chrysler — 1936 Chrysler Airflow Series C 9 This article is about the History of Chrysler, an American automobile manufacturer. Contents 1 History … Wikipedia
History of unmanned aerial vehicles — Unmanned aerial vehicles, known variously as UAVs, drones, and remotely piloted vehicles (RPVs), have been a feature of aviation for much of its history, though in limited or secondary roles, and often overlooked. For the purposes of this article … Wikipedia
History of Blake's 7 — This article is specifically about the production history of the television series Blake s 7 : for a more general overview of this series, please see the main Blake s 7 article. Blake s 7 is a British science fiction television programme,… … Wikipedia