Визуальный уровень представления алгоритмов функционирования распределённых систем реального времени на языке структурного моделирования

Abstract

Предлагается развитие концепции модульной технологии проектирования распределённых систем реального времени в направлении разработки средств автоматизации процессов эволюции моделей систем. Вводится понятие языка структурного моделирования (языка SML) и соответствующей технологии структурного моделирования (SML-технологии). Инструментальные средства SML-технологии разрабатываются в соответствии с правилами семантической среды функционирования систем, представленными в базе знаний и определяющими область возможных эволюций моделей. Разработан визуальный уровень представления исходных моделей систем в форме графа потока данных на языке SML. Предложен ряд механизмов доопределения моделей по обновлению данных и доступу к ресурсам, которые дают представление о характере операций, выполняемых инструментальными средствами SML-технологии в процессе эволюции моделей.