constructor uml state vertex incom list model uml partit activ graph list model activ graph 