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

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

Выбор технологий Data Mining для систем обнаружения вторжений в корпоративную сеть, Простое построение совершенных стегосистем на основе различных ошибок в помехоустойчивых кодах в модели трех каналов, ...

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

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