predic object dm design dsgr model facad state vertex dm problem object sv state vertex dm model facad state sv object sm model facad state machin sv sm model facad sm sv problem collect outgo model facad outgo sv collect incom model facad incom sv need outgo outgo outgo size need incom incom incom size model facad pseudost sv object model facad kind sv equal model pseudost kind choic problem equal model pseudost kind junction problem equal model pseudost kind initi need incom model facad state sv need outgo need incom need outgo problem problem 