Личный кабинет
Подробное описание документа
Статья в журнале
Девятков В. В.
Разработка процессов синхронизации моделей и принципов проверки их корректности / Девятков В. В., Ошкало Д. В. - DOI 10.18698/2308-6033-2013-11-1052 // Инженерный журнал: наука и инновации. - 2013. - № 11. -
Изложены новые принципы решения задачи синхронизации моделей на основе формального процессного описания механизмов синхронизации и свойств их корректности, формализуемых на языке временной модальной логики с последующей проверкой этих свойств с использованием логического вывода. Рассмотрены основные свойства, обеспечивающие корректность процесса синхронизации моделей, а также особенности создания систем синхронизации.
