A不仅可以作为设计工具，还可以作为注释工具B形象直观C便于描述较为复杂的条件组合D支持逐步求精