226
ПО Аналитика / Re: Управление изменениями требований
« : 01 Октября 2017, 00:13:54 »И тут везде одно и то же: один ВИ и два связанных с ним ДЛ. В каждом случае чеккер прочтёт модель с одинаковым смыслом.Именно, как только мы начинаем производить автоматическую трансформацию с целью получения исполняемого кода или другого интерпретируемого продукта.
Мне неизвестны случая (это конечно не означает, что их нет), когда на основе чтения ДВИ можно получить больше чем просто описание модели.
Но даже в спецификации написано для чего применяется диаграмма ВИ и описание закладываемого в ВИ поведения определяется другими средствами: диаграммой деятельности, машиной состояния, последовательности.


