Семинар отдела Прикладной информатики

Диссертационное исследование посвящено автоматизации популяционного ракового регистра (ПРР). Определены структурные и функциональные требования к информационной системе, автоматизирующей деятельность ПРР, особенности её эксплуатации. Рассмотрены модель деятельности и информационная модель ПРР. Предложена оригинальная технология разработки информационной системы ПРР, базирующаяся на генерирующем программировании. Использование информационной системы, созданной в рамках диссертационного исследования, позволяет повысить оперативность обработки данных и качество лечения больных злокачественными новообразованиями, а также позволяет обеспечить единое информационное пространство для онкологической службы региона.
Результаты работы могут быть использованы для разработки информационных систем с динамически меняющейся структурой информационных процессов и требований к их реализации.

Проблема тестирования различных технических систем была и остается актуаль-ной. Для построения качественных тестов необходима формальная модель системы, одной из которых являются различные модификации автоматной модели. Автоматная модель, в частности, активно используется при синтезе проверяющих тестов для протокольных реализаций. Однако реальные технические системы часто оказываются настолько сложными, что такие автоматы практически невозможно построить. Поэтому для синтеза тестов для технических систем с конечным числом состояний используются различные модификации автоматной модели, одной из которых является расширенный автомат. Модель расширенного автомата является более компактной, однако расширенные автоматы изучены значительно хуже, и соответственно методы построения тестов с гарантированной полнотой по модели расширенного автомата развиты слабо, и диссертация Коломейца А. В. посвящена развитию таких методов.

В работе рассматриваются проблемы динамического формирования форм доку-ментов для сбора показателей и динамического создания сводных отчётов с комплексными показателями. Также рассматриваются задачи: 1) описание информации в динамических структурах данных в графовом представлении; 2) хранение динамических структур данных в реляционной СУБД; 3) подходы построения SQL запросов к динамическим структурам данных