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