用况细化是一个____，针对一个用况其行为可用多个分析类之间的相互作用来细化。