constructor uml state vertex incom list model uml state vertex contain list model contain 