predic object dm design dsgr model facad model element dm problem object dm model facad equal problem str len str length normal model element allow space state make except len str charact letter digit model facad state vertex problem problem 