519.7
Инсерционная семантика плоских многопотоковых моделей языка USM / А. А. Губа, К. И. Шушпанов //
УСиМ: Управляющие системы и машины : междунар. науч. журн. - . - N 6. - С. 15-21, 34. - Библиогр. в конце ст. - ISSN 0130-5395.
(Шифр в БД У481695/2012/6)
УДК
519.7
004.436.4

Ключові слова: ucm -- ucm -- символьная верификация -- символьна верифікація -- инсерционное моделирование -- інсерційне моделювання --
Анотація:
Предложена математическая семантика плоских многопотоковых моделей языка UCM. В качестве формализма используется инсерционная модель, обогащенная взаимодействием параллельных процессов через общую память. Разработана функция погружения параллельных процессов UCM в среду. Семантика предложена для символьной верификции многопотоковых моделей.
Запропоновано математичну семантику пласких багатопотокових моделей мови UCM. В якості формалізму використовується інсерційна модель, збагачену взаємодією паралельних процесів через спільну пам'ять. Розроблено функцію занурення паралельних процесів UCM в середовище. Семантику запропоновано для символьної веріфікціі багатопотокових моделей.
Додаткові точки доступу: