predic object dm design dsgr model facad composit state dm problem object cs composit state dm composit state attach statemachin toplevel composit state model facad state machin cs problem collect peer model facad subvertic cs initi state count peer problem iter iter peer iter iter object sv iter model facad pseudost sv model facad kind sv equal model pseudost kind initi initi state count initi state count problem problem 