Рис. 1. Схема процесса преобразования ИТВ в РБД
методики, свободная от концептуальных ошибок, а значит, адекватная
объекту моделирования (методике).
На четвертом этапе с помощью деревьев достижимости анализи-
руются динамические свойства методики при нулевых задержках сра-
батывания переходов сети.
Операторная модель преобразования информации табличного
вида в реляционные базы данных.
На начальном уровне абстра-
гирования от большинства компонентов человеко-машинной системы
схема процесса преобразования ИТВ в РБД показана на рис. 1.
В связи с тем, что, как известно, БД всегда проектируются при
активном участии разработчика с применением соответствующих ав-
томатизированных средств, то при проведении мероприятий по пре-
образованию ИТВ в БД разработчик тем более необходим. В связи с
этим схема, приведенная на рис. 1, видоизменяется и принимает вид,
показанный на рис. 2.
Такая схема предполагает необходимость человеко-машинных ме-
тодов и средств, т.е. средств автоматизированного проектирования РБД
на основе ИТВ.
В связи с этим необходимо разработать методы и средства, которые
позволят разработчику активно участвовать в процессе проектирова-
ния РБД на основе ИТВ; автоматически решать все формализуемые
задачи проектирования; с наибольшей эффективностью использовать
теоретические положения проектирования РБД; с наибольшей эффек-
тивностью использовать известные инструментальные средства про-
ектирования РБД.
Введем оператор преобразования ИТВ в РБД — ОП. Результатом
применения этого оператора является модель РБД, отвечающая требо-
ваниям непротиворечивости, минимальности и целостности. К числу
операндов оператора ОП, в первую очередь, относится модель ИТВ.
Рис. 2. Модифицированная схема процесса преобразования ИТВ в РБД
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2007. № 4 57
