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