Инсерционная семантика параллельных процедурных конструктов языка UCM

Инсерционная семантика параллельных процедурных конструктов языка UCM

Інші назви: The Insertion Semantics of Parallel Procedural Constructs of the UCM Language
Інсерційна семантика паралельних процедурних конструктів мови UCM

Тема: Семантика формальных и естественных языков

УДК: 519.7 + 004.436.4

URI: http://dspace.nbuv.gov.ua/handle/123456789/83104

Посилання: Инсерционная семантика параллельных процедурных конструктов языка UCM / А.Б. Годлевский // Управляющие системы и машины. — 2012. — № 6. — С. 22-34. — Бібліогр.: 14 назв. — рос.

Дата: 2012

Завантажень: 518

Инсерционная семантика параллельных процедурных конструктов языка UCM

Анотація:

Предложено математическое описание семантики процедурного конструкта Stub в языке параллельного моделирования UCM с применением инсерционного подхода, основанного на взаимодействии сред и погруженных в них агентов.

The mathematical description of the semantics of a procedural construct Stub for the parallel modeling language UCM is suggested. This description used the insertion approach that is based on the interaction of environments and agents inserted in them.

Запропоновано математичний опис семантики процедурного конструкту Stub у мові паралельного моделювання UCM із застосуванням інсерційного підходу, основаного на взаємодії середовищ та занурених у них агентів.

Показати повний запис статті