Контроль правильности построение диаграмм в case средстве осуществляется с помощью