Разработка процессов синхронизации моделей и принципов проверки их корректности

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

Способы снижения вычислительной сложности алгоритмов, вытекающие из принципа формирования решений, Моделирование 3D объектов, ...

Разработка процессов синхронизации моделей и принципов проверки их корректности УДК 004.413 Разработка процессов синхронизации моделей и принципов проверки их корректности В.В. Девятков, Д.В. Ошкало МГТУ им. <...> Н.Э. Баумана, Москва, 105005, Россия Изложены новые принципы решения задачи синхронизации моделей на основе формального процессного описания механизмов синхронизации и свойств их корректности, формализуемых на языке временной модальной логики с последующей проверкой этих свойств с использованием логического вывода. <...> Рассмотрены основные свойства, обеспечивающие корректность процесса синхронизации моделей, а также особенности создания систем синхронизации. <...> Механизмом синхронизации моделей, или просто синхронизацией, обычно называют механизм, имеющий дело с двумя моделями и осуществляющий внесение изменений в одну модель при изменениях в другой с сохранением корректности синхронизации. <...> В.В. Девятков, Д.В. Ошкало ректности синхронизации требует более строгого определения и будет дано позже. <...> В настоящее время наиболее распространенной является синхронизация, осуществляющая трансформацию одной модели в другую таким образом, что последняя уничтожается, а вместо нее создается новая версия. <...> Кроме того, синхронизация может затрагивать более двух моделей, однако мы ограничимся механизмом синхронизации двух моделей, поскольку он является основой для других синхронизаций. <...> Универсальный (пригодный для всех случаев) механизм синхронизации пока не разработан. <...> Для этого требуется точная формулировка критериев и процедуры проверки правил на соответствие им. <...> Средствами данного языка можно описывать правила трансформации и двунаправленного переноса изменений между моделями, но многие правила синхронизации в нем не реализованы или реализованы не полностью. <...> Императивный подход к проектированию систем синхронизации предполагает создание алгебры преобразований, так как операции трансформации <...>

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт