Подробное описание документа

Девятков В. В., Ошкало Д. В.
   Разработка процессов синхронизации моделей и принципов проверки их корректности / Девятков В. В., Ошкало Д. В. - DOI 10.18698/2308-6033-2013-11-1052 // Инженерный журнал: наука и инновации. - 2013. - № 11. - П.Н. 19.

Скачать документ

Полнотекстовый документ

DOI 10.18698/2308-6033-2013-11-1052

https://doi.org/10.18698/2308-6033-2013-…

engjournal.bmstu.ru/catalog/it/hidden/1052.html

https://engjournal.bmstu.ru/catalog/it/h…

Изложены новые принципы решения задачи синхронизации моделей на основе формального процессного описания механизмов синхронизации и свойств их корректности, формализуемых на языке временной модальной логики с последующей проверкой этих свойств с использованием логического вывода. Рассмотрены основные свойства, обеспечивающие корректность процесса синхронизации моделей, а также особенности создания систем синхронизации.