Логические аспекты языков спецификаций реагирующих информационных систем
Full Name of the work head: Байжанов Б.С.
Исполнители проекта: Б.Ш.Кулпешов
: Ин-т пробл. информат. и упр.
Inventory number: 0201РК00938
Registration number: 0100РК00348
Keywords: Информационные системы, Языки спецификаций, Реагирующие информационные системы,
Получено условие выделения фрагментов языка спецификаций Calculus Duration, интерпретируемых в о-минимальных теориях. Предложен способ представления абстрактных процессов, протекающих во времени, с коммуникацией с помощью формул ДС, что позволяет использовать логические методы для описания процесса и проверки его корректности.