能方便清晰地表达复杂条件组与其应做动作之间的对应关系的详细设计工具是_______________.