МЕТОДИКА ВРЕМЕННОГО АНАЛИЗА ИНФОРМАЦИОННЫХ СИСТЕМ

Автор(ы): Баранюк Татьяна Васильевна

Рубрика: Информационные технологии

Выпуск: 2015-1 (9)

Страницы: 108-113

Ключевые слова: Информация, Информационные системы, Информационные модели, Процессуальные модели, Логический вывод, Темпоральная логика, Согласование ограничений, Согласование сценариев

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

Библиографическая ссылка: Баранюк Т.В. МЕТОДИКА ВРЕМЕННОГО АНАЛИЗА ИНФОРМАЦИОННЫХ СИСТЕМ // Образовательные ресурсы и технологии. – 2015. – № 1 (9). – С. 108-113. doi: