Meta-evaluation of Actors with Side-effects

Abstract

Meta-evaluation is a process which symbolically evaluates an actor and checks to see whether the actor fulfills its contract (specification). A formalism for writing contracts for actors with side-effects is presented. Meta-evaluation of actors with side-effects is carried out by using situational tags which denotes a situation (local state of an actor systems at the moment of the transmissions of messages). And also it is illustrated how the situational tags are used for providing the termination of the activation of actors.