initi panel specif field casu substat vertex list initi subvertic list uml composit state subvertex list uml composit state subvertex list model 