Ограничения на многопоточные конструкции и временные задержки языка UCM

Конференция «Технологии Microsoft в теории и практике программирования»
Авторы:
Никифоров Игорь Валерьевич Котляров Всеволод Павлович Дробинцев Павел Дмитриевич
Аннотация:

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