constructor uml synch state bound document uml synch state bound document bound 