state machin belong diagram object state machin state diagram graph model graph model machin 