In a specific Context which contains Type(s) of entities, one Entity playing a specific Role (which are part of a Type definition) have one and only Identifier which determines its identity.
Context := [Type]*
Type := [Role]*
Role := [Entity]*
Entity := [PlayerType] [ActorType] => (Identity)
PlayerType := 'sender' | receiver
ActorType := 'active' | 'pasive'
In a Dialog made of Statement(s) which are compound with Term(s), the Identity of a Player/Actor determines which Role the entity plays, determined with it's Type interactions/operations (Message*).
http://www.simetris.com.ar (more info)
|
