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