This actor model
can be build during the design phase of a system based on design specifications and principles associated with the system.
Having identified a range of characteristics that might be used to distinguish between 'old' actors and 'new' actors, we are in a position to overlay them on the Flexible Actor Model of Bellemare.
The churches' role in the WorkChoices campaign does appear to measure up to the category of a 'new' actor using the modified Flexible Actor Model. Their influence was not continuous, but within the context of more recent approaches to the concept of new actors it does not need to be.
In this paper we have used a modified version of the embryonic Flexible Actor Model to analyse the role the Australian Christian churches played in the debate over WorkChoices and have concluded that, in the context of a dynamic IR model which focuses on the processes of actions and outcomes, the churches do represent 'new' actors.
The choice of the actor model as a foundation for the underlying computations of an ODE system is in many ways a natural one.
Here is a simple example to demonstrate the actor model. Assume an operation can be performed by a computational entity (namely, an actor) called an "executor" once and only once.
Note that according to the semantics of the actor model, actors are free to reject exposing their internal states to the roles.
In the actor model, state change is specified using replacement behaviors.
Fair mergers in the actor model are implicit--they are captured by the guarantee of message delivery which states that any message sent to an actor must eventually be received--i.e., after a finite but arbitrarily long delay.
It provides a semantic foundation to the enriched Actor model by mapping it to the [pi]-calculus--which has emerged as the canonical process calculus for the semantic analysis of object-based concurrent systems.
The rest of this paper is organized as follows: Section 2 gives an introduction to the Actor model of computation; Section 3 introduces the basic [pi]-calculus notions required for the purposes of this paper; Section 4 develops a higher level of abstraction called Actor Troupe and defines a notion of equivalence between them; Section 5 demonstrates the translation process from actor systems to the [pi]calculus; Section 6 shows that the embedding is semantics preserving; Section 7 reviews related work; and finally Section 8 examines avenues for further research.