object synch state todo separ sync state uml tfm state 