Унифицированная карточка ресурса.

(Информационние карты диссертаций)

.
Дата материала:   20.04.2009
Название:   Формализация потоков работ и ее применение
Основное описание:   Цель диссертации: разработка моделей, методов и технологий автоматизации управления потоками работ, а также разработка комплекса программ, автоматизирующего моделирование и исполнение потоков работ, используемого при решении ряда задач автоматизации научной деятельности. Получены следующие результаты, обладающие научной новизной: - описание потоков работ базируется на формализованной онтологической модели информационной системы, что обеспечивает полноту и выразительность получаемой модели потока работ; - представлен формальный алгебраический язык описания потоков работ. Данный язык делает возможным разработку алгоритмов верификации и оптимизации описанных на нем потоков работ, а также средств его интерпретации в рамках исполняющей системы; - предложена графическая запись потока работ на базе спецификации BPMN 1.0 для визуального представления моделей потоков работ в средствах моделирования; - разработана технология моделирования описаний потоков работ (формальное высокоуровневое описание и исполняемое низкоуровневое), реализован программный комплекс для автоматизации процесса моделирования потоков работ; - реализован программный комплекс по управлению автоматизированными потоками работ, базирующийся на новейших интеграционных технологиях, таких как интеграция распределенных информационных систем с помощью Web-сервисов. Построенная формальная онтологическая модель потока работ представляет собой каноническую модель, позволяющую решать проблему сопоставления описаний потоков работ, сделанных с помощью различных технологий моделирования, их взаимного преобразования и сравнения. Представленная алгебраическая форма записи описаний потоков работ позволяет разрабатывать различные автоматизированные анализаторы и интерпретаторы описаний потоков работ (в том числе, в целях их верификации и оптимизации). Предложенные методы и средства моделирования полностью автоматизируют процесс разработки описаний потоков работ от формального, высокоуровневого описания до непосредственно исполняемого кода. Разработанный комплекс программ по управлению потоками работ позволяет автоматизировать сложные распределенные процессы с использованием как человеческих ресурсов, так и взаимодействия с другими информационными системами и хранилищами данных. При этом средства динамической отладки потоков работ позволяют в кратчайшие сроки получать стабильно работающие процессы. Реализованные программные средства имеют широкий круг применения в области автоматизации научных вычислительных процессов.
Шифр специальности:   05.13.18 Математическое моделирование, численные методы и комплексы программ
Авторы (ФИО):   Нестеренко Алексей Константинович
Степень соискателя:   канд. техн. наук
Год защиты:   2007
УДК:   001.891.57:519.711, 001.89:004
ГРНТИ:   28.17.31 Моделирование процессов управления,
50.53.19 Направления работ по автоматизации научных исследований
Информация о источнике:   Российская государственная библиотека, отдел диссертаций - http://www.rsl.ru/i
dex.php?doc=104

Приоритетные направления:   Информационно-телекоммуникационные системы;

Связанные материалы
Диссертация -> Организация
Место защиты Московский физико-технический институт (государственный университет)
  Rambler's Top100