predic object dm design dsgr object destin region object sourc region object aux object tr model facad synch state dm problem iter outgo model facad outgo dm iter outgo tr outgo aux model facad contain model facad target tr destin region destin region aux aux equal destin region problem iter incom model facad incom dm iter incom tr incom aux model facad contain model facad sourc tr sourc region sourc region aux aux equal sourc region problem destin region model facad concurr region destin region problem sourc region model facad concurr region sourc region problem problem 