Precise semantics for a behavior model in the context of object based distributed systems