Разработка логических исчислений, описывающих поведение информационных систем
Руководитель проекта: Б.С. Байжанов
Исполнители проекта: Вербовский В.В.
Организация: Институт проблем информатики и управления
Инвентарный номер: 0211РК01171
Регистрационный номер: 0109РК00718
Ключевые слова: логика темпоральная, оператор конкатенции, логика предикатов, системы информационные,
Построена интерпретация оператора конкатенации спецификации информационных гибридных систем в логике предикатов первого порядка на основе упорядоченной делимой абелевой группы с двумя архимедовыми классами. Исследованы вопросы сводимости расширенных запросов баз данных к ограниченным над слабо циклически минимальной областью определения. Построены категории и функторы для описания диаграмм классов, компонентов, развертывания объектов, пакетов, деятельности для формализации фрагментов унифицированного языка моделирования (UML).