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 model facad pseudost sv object model facad kind sv equal model pseudost kind choic problem equal model pseudost kind junction problem collect outgo model facad outgo sv need outgo outgo outgo size model facad state sv need outgo need outgo problem problem 