Формализация потоков работ и ее применение тема диссертации и автореферата по ВАК РФ 05.13.18, кандидат технических наук Нестеренко, Алексей Константинович

• Нестеренко, Алексей Константинович
• кандидат технических наук
• 2007

Оглавление диссертации кандидат технических наук Нестеренко, Алексей Константинович

Содержание.

Введение.

1 Обзор технологий моделирования потоков работ.

1.1 Графические языки моделирования потоков работ.

1.1.1 Structured A nalysis and Design Technique.

1.1.2 Data Flow Diagrams.

1.1.3 Диаграммы деятельности UML.

1.1.4 Business Process Modeling Notation.

1.2 XML-языки моделирования потоков работ.

1.2.1 XML Process Definition Language.

1.2.2 Business Process Modeling Language.

2 Онтологический подход к проблеме моделирования потоков работ.

2.1 Онтологическая модель информационной системы.

2.2 Онтологическая оценка выразительности.

2.3 Онтологическая модель потока работ.

2.3.1 События.

2.3.2 Состояния.

2.3.3 Действия.

2.3.4 Поток работ и вложенный поток работ.

3 Алгебраическая и графическая запись онтологической модели потока работ.

3.1 Формальный язык описания потоков работ.

3.1.1 Структура описания.

3.1.2 Составные действия.

3.1.3 Простые действия.

3.1.4 Пример описания потока работ.

3.2 Оценка выразительности языка описания потоков работ.

3.2.1 Шаблоны потоков работ.

3.2.2 Шаблон 1 «Последовательность».

3.2.3 Шаблон 2 «Парахчельное выполнение».

3.2.4 Шаблон 3 «Синхронизация».

3.2.5 Шаблон 4 «Исключающий выбор».

3.2.6 Шаблон 5 «Простое слияние».

3.2.7 Шаблон 6 «Множественный выбор».

3.2.8 Шаблон 7 «Синхронизирующее слияние».

3.2.9 Шаблон 8 «Множественное слияние».

3.2.10 Шаблон 9 «Дискриминатор».

3.2.11 Шаблон 10 «Произвольные циклы».

3.2.12 Шаблон 11 «Подразумеваемое завершение».

3.2.13 Шаблон 12 «Множественные экземпляры без синхронизации».

3.2.14 Шаблон 13 «Множественные экземпляры с синхронизацией и известным на момент моделирования количеством экземпляров».

3.2.15 Шаблон 14 «Множественные экземпляры с синхронизацией и известным на момент исполнения количеством экземпляров».

3.2.16 Шаблон 15 «Множественные экземпляры с синхронизацией с неизвестным заранее количеством экземпляров».

3.3 Графическое представление потока работ.

4 Метод получения исполняемого описания потока работ но его модели.

4.1 Использование Web-сервисной архитектуры как среды функционирования потока работ

4.2 Языки описания композиций Web-сервисов.

4.2.1 Web Services Flow Language.

4.2.2 Business Process Execution Language for Web Services.

4.2.3 Web Services Choreography Interface.

4.3 Метод трансляции формального описания потока работ в язык BPEL.

5 Разработка средств моделирования потоков работ.

5.1 Разработка описаний потоков работ на формальном языке.

5.2 Трансляция формальных описаний в язык BPEL.

5.3 Разработка описаний потоков работ на языке BPEL.

6 Реализация предложенных моделей и алгоритмов в виде комплекса программ но управлению потоками работ.

6.1 Архитектура системы управления потоками работ.

6.2 Проект «Автоматизация гидроакустических исследований и мониторинга».

6.3 Проект «Информационный портал поддержки использования результатов фундаментальных исследований».

6.4 Проект «Электронная Земля: научные информационные ресурсы и информационно-коммуникационные технологии».

6.5 Проект «Разработка среды электронного взаимодействия федеральных органов исполнительной власти и хозяйствующих субъектов».

Введение диссертации (часть автореферата) на тему «Формализация потоков работ и ее применение»

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

• автоматизированная подготовка входных и выходных данных каждого этапа процесса;

• координация потока управления и потока данных;

• полная автоматизация отдельных участков потока работ (способность взаимодействия с «программными» исполнителями заданий в рамках некоторого унифицированного интерфейса);

• возможность быстрого, с минимальными трудозатратами создания нового описания потока работ, с возможной модульностью (декомпозицией на подпроцессы) для повторного использования описаний, с поддержкой быстрой и безболезненной для участников процесса модификацией имеющихся описаний;

• эффективная реакция потока работ на возникновение непредвиденных обстоятельств на пути его выполнения (например, недоступность в данный момент тех или иных ресурсов), в том числе четко регламентированные действия по устранению последствий некорректно выполненного этапа процесса;

• хорошая управляемость процессом с доступом к данным любого активного этапа;

• четкое ролевое разделение участников процесса (в том числе поддержка динамической взаимозаменяемости исполнителей в случае недоступности нужных ресурсов);

• возможность сбора статистики выполнения процесса для последующей оптимизации.

Для эффективного решения перечисленных выше задач большая часть усилий разработчиков программного обеспечения па текущий момент сконцентрирована вокруг теории автоматизированных потоков работ (Workflow[6]) и систем управлении потоками работ (Workflow Management Systems[6]), способных эффективно решать задачи их исполнения и координации. Количество подобных информационных систем, в основу которых на формальном уровне заложена базовая концепция интеграции распределенных ресурсов (как программных систем, так и человеческих ресурсов) для выполнения некоторой общей задачи, увеличивается очень быстрыми темпами. При этом новые решения приводят к появлению новых задач, адресованных системам управления потоками работ. К основным из них можно отнести следующие:

• построение автономных систем управления потоками работ (вне контекста конкретного варианта их использования) требует строгой формализации описаний потоков работ на некотором языке;

• поскольку основной контингент пользователей подобных систем составляют исполнители на местах, аналитики, менеджеры (т.е. люди неискушенные в программировании маршрута потока работ с использованием некоторых формальных языков), система разработки потоков работ должна предоставлять развитые средства по созданию и модификации описаний потоков работ. При этом должен использоваться наиболее интуитивно понятный обычному пользователю способ формирования потоков работ - визуальные диаграммы (так как практически каждый управляющий процессом человек привык использовать для таких целей некоторое прикладное средство, такое как, например, диаграммы деятельности UML[33]). Итого, помимо эффективного «языка программирования» потоков работ пользователям должна быть представлена удобная графическая нотация для их описания с достаточным уровнем абстракции;

• система управления потоками работ должна предоставлять создателям описаний потоков работ полный набор средств для проверки их работоспособности до начала опытной эксплуатации. Такие средства должны включать как простые статические верификаторы корректности созданных описаний потоков работ, так и динамические отладчики;

• интерактивные средства взаимодействия с пользователями являются особо важной составляющей частью системы, поскольку именно пользователи управляют ходом выполнения потока работ;

• большую важность имеют задачи обеспечения безопасности данных и поддержки транзакционности автоматизированных потоков работ.

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

• строгая формализация процесса описания потоков работ: можно реализовать стандартный (возможно частично автоматизированный) процесс по анализу и построению новых моделей реальных потоков работ.

• переносимость и интероперабельность: модели потоков работ, созданные в рамках одной системы, могут частично или полностью работать под управлением другой (возможно, удаленной) системы.

• универсальность: расширяемость стандартов делает возможным применение единого механизма описания потока работ в различных сферах деятельности.

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

В данной работе выполнена формализация понятий потока работ в рамках специализированной онтологической модели, разработан формальный язык описания потоков работ, на основе которых реализованы программные средства моделирования потоков работ и система управления потоками работ, использующая новейшие интеграционные стандарты и технологии.

Целыо диссертационной работы является разработка моделей, методов и технологий автоматизации управления потоками работ. Практической составляющей работы является разработка комплекса программ, автоматизирующего моделирование и исполнение потоков работ, используемого при решении ряда задач автоматизации научной деятельности. В работе исследованы и решены следующие задачи:

1. Обзор подходов к моделированию потоков работ, их сравнительный анализ.

2. Построение модели потока работ на базе онтологического подхода к задаче описания информационных систем.

3. Разработка формального языка описания потоков работ на базе предложенной модели.

4. Выбор графического представления для визуального моделирования описаний потоков работ.

5. Реализация программного комплекса, автоматизирующего моделирование потоков работ с помощью разработанного формального языка.

6. Реализация комплекса программ по управлению потоками работ, описанными с помощью предложенного формального языка.

7. Апробация полученных результатов в ряде прикладных задач по автоматизации научной деятельности.

Научная новизна работы заключается в создании новых технологий и методов реализации систем управления потоками работ. В отличие от большинства существующих систем автоматизации потоков работ и бизнес-процессов, разработанный программный комплекс имеет следующие особенности:

1. Описание потоков работ базируется па формализованной онтологической модели информационной системы. В диссертационной работе предложен оригинальный подход к построению модели потока работ: онтологическая модель информационной системы в целом была адаптирована к области задач, решаемых системами управления потоками работ. Данный подход обеспечивает полноту и выразительность полученной модели потока работ.

2. Представлен формальный язык описания потоков работ. Данный язык делает возможным разработку алгоритмов верификации и оптимизации описанных на нем потоков работ, а также средств его интерпретации в рамках исполняющей системы.

3. Предложена графическая запись потока работ на базе спецификации BPMN 1.0[34] для визуального представления моделей потоков работ в средствах моделирования.

4. Рассмотрена задача автоматизированной трансляции описаний потоков работ на формальном языке в существующие языки описания потоков работ различных исполняющих платформ. Эта задача решена автором в виде реализации автоматизированной трансляции в язык описания композиций Web-сервисов BPEL[42].

5. Разработана технология моделирования описаний потоков работ (формальное высокоуровневое описание и исполняемое низкоуровневое), реализован программный комплекс для автоматизации процесса моделирования потоков работ.

6. Реализован программный комплекс по управлению автоматизированными потоками работ, базирующийся па новейших интеграционных технологиях, таких как интеграция распределенных информационных систем с помощью \УеЬ-сервисов[37].

Практическая ценность работы. Построенная формальная онтологическая модель потока работ представляет собой каноническую модель, позволяющую решать проблему сопоставления описаний потоков работ, сделанных с помощью различных технологий моделирования, их взаимного сравнения и преобразования.

Представленное формальное описание потоков работ позволяет разрабатывать различные автоматизированные анализаторы и интерпретаторы описаний потоков работ (в том числе, в целях их верификации и оптимизации).

Предложенные методы и средства моделирования полностью автоматизируют процесс разработки описаний потоков работ от формального, высокоуровневого описания до непосредственно исполняемого кода.

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

Реализованные программные средства имеют широкий круг применения в области автоматизации научной и производственной деятельности.

Основные научные и практические результаты, выносимые на защиту

В диссертационной работе представлены следующие результаты, выносимые на защиту:

1. Предложена унифицированная модель потока работ, описывающая на формализованном уровне основные понятия потока работ, их характеристики и взаимосвязи между ними.

2. Предложен формальный язык описания потоков работ, соответствующий разработанной модели и поддерживающий графическое представление в рамках графического языка описания потоков работ BPMN 1.0.

3. Разработана технология моделирования потоков работ, включающая стадию моделирования и описания на формальном языке и стадию автоматизированного получения описания потока работ на языке описания композиций Web-сервисов BPEL 1.1.

4. Реализован программный комплекс моделирования потоков работ, автоматизирующих весь процесс получения исполняемого описания потока работ.

5. Предложенные модели и алгоритмы реализованы в виде комплекса программ, обеспечивающего автоматизированное управление потоками работ и использующего Web-сервисные технологии. Разработаны средства интерпретации описаний потоков работ, средства динамической отладки потоков работ, мониторинга их исполнения и протоколирования состояний исполняющегося потока работ для последующего анализа.

6. Разработанные модели, методы и технологии успешно использованы в ряде проектов РАН и в рамках проектов Федеральной Целевой Программы «Электронная Россия».

Публикации

По теме диссертации опубликовано 12 работ:

1. Сысоев Т.М., Бездушный А.А., Бездушный А.Н., Нестеренко А.К. Служба управления содержанием системы ИСИР, основанная на XML-технологиях // Новые технологии в информационном обеспечении науки: Труды X научно-практического семинара. /Библиотека по естественным наукам РАН. - М.: БЕН РАН, 2003. - С. 160-181.

2. Нестеренко А.К., Бездушный А.А., Сысоев Т.М., Бездушный А.Н. Возможности службы управления потоками работ по манипулированию ресурсами репозитория ИСИР // Новые технологии в информационном обеспечении науки: Труды X научно-практического семинара. /Библиотека по естественным наукам РАН. -М.: БЕН РАН, 2003.-С. 206-231.

3. Бездушный А.А., Бездушный А.Н., Нестеренко А.К., Серебряков В.А., Сысоев Т.М. Архитектура RDFS-системы. Практика использования открытых стандартов и технологий Semantic Web в системе ИСИР // Электронные библиотеки: перспективные методы и технологии, электронные коллекции: Труды V всероссийской научной конференции. /НИИ Химии СПбГУ. - СПб., 2003. - С. 45-60.

4. Нестеренко А.К., Сысоев Т.М., Бездушный А.А., Бездушный А.Н., Серебряков В.А. Интеграция распределенных данных на основе технологий Semantic Web и рабочих процессов // Электронные библиотеки: перспективные методы и технологии, электронные коллекции: Труды VI всероссийской научной конференции. /Институт математических проблем биологии РАН. - М., 2004. - С. 263-271.

5. Нестеренко А.К., Сысоев Т.М., Бездушный А.А., Бездушный А.Н. Интеграция информационных потоков посредством координирующих рабочих процессов // Научный сервис в сети Интернет: Сборник трудов всероссийской научной конференции. - М.: МГУ, 2004.-С. 165-167.

6. Нестеренко А.К. Служба управления потоками работ па базе стандартов WfMC // Интегрированная система информационных ресурсов: архитектура, реализация, приложения: Сборник трудов. /Вычислительный Центр им. А.А. Дородницына РАН. -М.: ВЦ РАН, 2004.-С. 96-112.

7. Bezdushny A.A., Bezdushny A.N., Nesterenko A.K., Serebriakov V.A., Sysoev T.M. Integrated System of Information Resources of the Russian Academy of Sciences // The 8th World Multi-Conference on Systemics, Cybernetics and Informatics SCI 2004, Orlando, Florida.-2004.-P. 462-467.

8. Бездушный A.H., Кулагин M.B., Серебряков В.А., Бездушный А.А., Нестеренко А.К., Сысоев Т.М. Предложения по наборам метаданных для научных информационных ресурсов // Журнал "Вычислительные Технологии". - 2005. - Т. 10, вып.7 - С. 29-48.

9. Нестеренко А.К. Использование технологии потоков работ для моделирования научных вычислительных процессов // Современные проблемы фундаментальных и прикладных наук: Труды XLVIII научной конференции. /Моск. физ.-тех. ин-т. -М., 2005. - С. 33-35.

10.Нестеренко А.К. Использование механизмов интеграции приложений для автоматизации процессов управления информационными ресурсами. // Порядковый анализ и смежные вопросы математического моделирования: Труды IV международной научной конференции. /Институт прикладной математики и информатики. - Владикавказ, 2006. - С. 66-76.

11. Нестеренко А.К., Данилина А.А., Сысоев Т.М., Бездушный А.Н., Серебряков В.А. Автоматизация процессов интеграции распределенных информационных ресурсов // Электронные библиотеки: перспективные методы и технологии, электронные коллекции: Труды VIII всероссийской научной конференции. /Ярославский государственный университет им. П.Г. Демидова. - Ярославль, 2006. - С. 279-290.

12. Нестеренко А.К. Использование парадигмы Model-View-Controller в задаче реализации средств моделирования бизнес-процессов И Современные проблемы фундаментальных и прикладных наук: Труды XLIX научной конференции. /Моск. физ.-тех. ип-т.-М„2006.-С. 61-63.

В работах с соавторами личный вклад автора заключается в создании методов моделирования потоков работ, формальных способов описания потоков работ, разработке теоретических основ их записи на формальном языке. Автором предложен онтологический подход к описанию модели потока работ с использованием технологий Semantic Web, описана архитектура системы управления потоками работ, являющейся частью Интегрированной Системы Информационных Ресурсов[3,7] (ИСИР), создан соответствующий комплекс программ.

Апробация

Основные результаты работы докладывались и обсуждались на следующих научных конференциях и семинарах:

• Научно-практический семинар "Новые технологии в информационном обеспечении науки" (Таруса, 2003-2005).

• Всероссийская научная конференция "Электронные библиотеки: перспективные методы и технологии, электронные коллекции" (Санкт-Петербург, 2003; Пущно, 2004; Суздаль, 2006).

• Всероссийская научная конференция "Научный сервис в сети Интернет" (Новороссийск, 2004).

• Международный коллоквиум Spring Young Researcher's Colloquium On Database and Information Systems - SYRCoDIS, St.-Petersburg, Russia, 2004.

• Международная конференция The 8th World Multi-Conference on Systemics, Cybernetics and Informatics - SCI 2004, Orlando, Florida, 2004.

• Научная конференция МФТИ (Долгопрудный, 2005-2006).

• Международная конференция "Порядковый анализ и смежные вопросы математического моделирования" (Владикавказ, 2006).

• Научные семинары отдела систем математического обеспечения Вычислительного Центра им. А.А. Дородницына РАН (Москва, 2001-2007).

Краткое содержание работы

В главе 1 приведен обзор существующих технологий моделирования потоков работ, рассмотрена эволюция методов моделирования, начиная от методов функциональной декомпозиции (стандарт IDEF0) и заканчивая развитыми средствами моделирования потоков управления и данных.

В главе 2 представлен подход к моделированию потоков работ, основанный на онтоло-гиях информационных систем, рассмотрен онтологический подход к оценке выразительности технологий моделирования потоков работ, предложено сужение онтологической модели информационных систем на область систем управления потоками работ.

В главе 3 представлена разработанная формальная запись потока работ, семантика которого определена описанной онтологической моделью. Для возможности визуального моделирования потоков работ на формальном языке использован графический язык описания потоков работ BPMN 1.0.

В главе 4 рассматривается задача трансляции описаний потока работ на формальном языке в языки описания потоков работ, поддерживаемые различными исполняющими платформами. Возможность такой трансляции обуславливается тем, что разработанный формальный язык описания потоков работ представляет собой базис большинства из существующих языков описания потоков работ (таких, как BPEL, XLANG/s, BPML и т.д.), поскольку он следует онтологической модели, описывающей базовые понятия потока работ.

В главе 5 описывается реализованный комплекс программных средств для автоматизации процесса моделирования потоков работ. Представлена архитектура системы моделирования потоков работ, поддерживаемый набор функций.

В главе 6 описывается архитектура разработанного комплекса программ по управлению потоками работ. Данное решение следует ряду Web-стандартов для поддержки открытой модульной архитектуры. В конце главы приводятся примеры наиболее успешного внедрения программного комплекса в ряде проектов РАН.

В заключении приведены основные результаты диссертационной работы.

В приложении приведены диаграммы классов, описывающие основные сущности онтологической модели потока работ, их атрибуты и связи между ними.

Заключение диссертации по теме «Математическое моделирование, численные методы и комплексы программ», Нестеренко, Алексей Константинович

ЗАКЛЮЧЕНИЕ

В данной диссертационной работе получены следующие научные и практические результаты:

1. Разработана унифицированная онтологическая модель потока работ. Данная модель покрывает все базовые понятия потока работ, поскольку следует общей онтологии информационных систем BWW. В работе представлены UML-диаграммы классов разработанной онтологической модели, приведено описание их атрибутов и раскрыт их семантический смысл. Созданная модель потока работ может быть использована в целях:

- разработки моделей реальных производственных и научных процессов;

- получения онтологической оценки полноты и выразительности различных технологий моделирования потоков работ;

- сопоставления описаний потоков работ, выполненных на различных языках описания потоков работ (как графических, так и текстовых), их взаимного сравнения и преобразования.

2. Для возможности разработки описаний потоков работ, соответствующих созданной онтологической модели, было разработано формальное описание потока работ. Данное описание является удобной формой представления потока работ, допускающей его анализ автоматизированными анализаторами. Это обеспечивает возможность:

- построения строгих алгоритмов структурной верификации описаний потоков работ до начала их исполнения;

- разработки алгоритмов оптимизации описаний потоков работ;

- использования формального описания для симуляции исполнения потока работ автоматизированными интерпретаторами в целях выявления его динамических характеристик.

3. Был проведен анализ возможности использования графического языка для разработки формальных описаний потоков работ. В качестве такого языка был использован стандарт BPMN. Было проведено сопоставление его метамодели и понятий разработанной онтологической модели потока работ. В результате была предложена методика использования данного языка для визуальной разработки формальных описаний.

4. Для возможности автоматизированного исполнения потока работ различными исполняющими платформами, был разработан общей метод трансляции описания потока работ на формальном языке в язык конкретной исполняющей системы. В частности была реализована автоматизированная трансляция в язык описания композиций Web-сервисов BPEL.

5. Предложенные подходы к моделированию потоков работ были реализованы в виде комплекса программ, автоматизирующего весь процесс разработки описаний потоков работ: начиная со стадии создания формального описания, и заканчивая трансляцией в язык BPEL с последующей доработкой.

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

В заключение автору хотелось бы поблагодарить всех сотрудников отдела систем математического обеспечения Вычислительного Центра им. А.А. Дородницына РАН, принимавших участие в разработке Интегрированной Системы Информационных Ресурсов РАН[3], частью которой являются созданные в данной работе методы и технологии. Особо хочу поблагодарить моего научного руководителя д.ф.-м.н. В.А. Серебрякова и к.ф.-м.н. А.Н. Бездушного, без которых данная работа не могла бы осуществиться.

Список литературы диссертационного исследования кандидат технических наук Нестеренко, Алексей Константинович, 2007 год

1. Нестеренко А.К., Сысоев Т.М., Бездушный А.А., Бездушный А.Н. Интеграция информационных потоков посредством координирующих рабочих процессов // Научный сервис в сети Интернет: Сборник трудов всероссийской научной конференции. М.: МГУ, 2004. -С. 165-167.

2. Бездушный А.Н., Кулагин М.В., Серебряков В.А., Бездушный А.А., Нестеренко А.К., Сысоев Т.М. Предложения по наборам метаданных для научных информационных ресурсов // Журнал "Вычислительные Технологии". 2005. - Т. 10, вып.7 - С. 29-48.

3. Нестеренко А.К. Использование технологии потоков работ для моделирования научных вычислительных процессов // Современные проблемы фундаментальных и прикладных наук: Труды XLVIII научной конференции. /Моск. физ.-тех. ин-т. М., 2005. - С. 33-35.

4. Берников Г.Н. Обзор стандарта IDEF0,2005. // http://www.idefinfo.ru/content/view/12/48/

5. Берников Г.Н. Обзор стандарта IDEF3,2005. // http://www.idefinfo.ru/content/view/18/51/

6. W.M.P. van derAalst, А.Н.М. ter Hofstede, В. Kiepuszewski, А.P. Barros Workflow Patterns // Department of Technology Management, Eindhoven University of Technology. 2002.

7. Weber R. Ontological Foundations of Information Systems // Monograph №4. /Australia: Melbourne, Vic., Coopers & Lybrand and the Accounting Association of Australia and New Zealand.-1997.

8. Wand Y., Weber R. An ontological model of an information system // IEEE Transactions on Software Engineering Journal. 1990. - 16(11). - P. 1281-1291.

9. Jan R., Michael R., Marta I., Peter G. Business Process Modeling: A Maturing Discipline? // Business Process Management Center Report. /Faculty of Information Technology, Queensland University of Technology. 2006.

10. Roberto P., Andrea P., Anna L.G. Conceptual design of web application families: the BWW approach // University of Lecce. 2005.

11. Giancarlo G., Heinrich H., Gerd W. On the General Ontological Foundations of Conceptual Modeling // ER 2002, 21st International Conference on Conceptual Modeling. /Springer, Berlin. -2002.-P. 65-78.

12. Nicola G. Formal Ontology and Information Systems // Proceedings of FOIS'98, Trento, Italy, 6-8 June 1998. /Amsterdam, IOS Press. 1998. - P. 3-15.

13. Peter G., Michael R. Ontological Analysis of Business Systems Analysis Techniques: Experiences and Proposals for an Enhanced Methodology // Queensland University of Technology, Australia. Idea Group Publishing, 2005.

14. Guizzardi G. Ontological Foundations for Structural Conceptual Models // CTIT PhD Thesis Series. /Enschede, The Netherlands. 2005.

15. Guizzardi G., Wagner G. A Unified Foundational Ontology and some Applications of it in Business Modeling // Centre for Telematics and Information Technology, Univ. of Twente Enschede, The Netherlands. 2005.

16. Eva S., Birger A., Paul J., Erik P., Benkt W. Towards a Framework for Comparing Process Modelling Languages // Department of Computer Science, University of Skovde. 2002.

17. Neelam G. Introduction to Software Specifications and Data Flow Diagrams // The University of Arizona.-2004.

18. Peter F.G., Michael R. Perceived ontological weaknesses of process modeling techniques: further evidence // School of Commerce, The University of Queensland, Ipswich Australia. 2005.

19. Extensible Markup Language (XML) 1.0 (Fourth Edition), W3C Recommendation, 2006. // http://www.w3.org/TR/2006/REC-xml-20060816/

20. OMG Unified Modelling Language 2.0, 2001. // http://www.omg.org/cgi-bin/doc7formal/01-09-67

21. OMG Business Process Modeling Notation Specification 1.0, 2004. // http://bpmn.omg.org/Documents/BPMN%20Vl-0%20May%203%202004.pdf

22. Workflow Management Coalition, Workflow Standard, Process Definition Interface, XML Process Definition Language 2.00, 2005. // http://www.wfmc.org/standards/docs/TC-1025xpdl22005-10-03 .pdf

23. BPML working draft, 2002. // http://xml.coverpages.org/bpml.html

24. Web Services Architecture. // http://www.w3.org/2002/ws/

25. SOAP Version 1.2 Part 1: Messaging Framework. // http://www.w3.org/TR/2003/REC-soapl2-partl-20030624/

26. Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language. // http://www.w3.org/TR/2004/WD-wsdl20-20040326/

27. Universal Description, Discovery and Integration Specification. // http://www.uddi.org

28. Web Services Flow Language 1.0 Specification. // http://xml.coverpages.org/wsfl.html/

29. Business Process Execution Language for Web Services 1.1 Specification. // http://www-106.ibm.com/developerworks/library/ws-bpel/

30. Web Service Choreography Interface (WSCI) 1.0, W3C Note, 2002. // http://www.w3.org/TR/wsci/

31. WS-Security Specification. // http://www.oasis-open.org/committees/tchome.php?wgabbrev=wss

32. Web Services Addressing (WS-Addressing), W3C Member Submission, 2004. // http://www.w3.org/Submission/ws-addressing/

33. Web Services Transaction (WS-Transaction) Specification. // http://www-106.ibm.com/developerworks/webservices/library/ws-transpec/

34. WS-ReliableMessaging Specification // http://www.oasis-open.org/committees/tchome.php?wgabbrev=wsrm

35. XSL Transformations (XSLT) Version 1.0, W3C Recommendation, 1999. // http://www.w3.org/TR/xslt

36. Object Management Group (OMG), XMI Mapping Specification, v2.1, 2005. // http://www.omg.org/docs/formal/05-09-01.pdf

37. XML Schema 1.1 Part 2: Datatypes, W3C Working Draft, 2006. // http://www.w3.org/TR/xmlschemal 1-2/1. СПИСОК ИЛЛЮСТРАЦИЙ

38. Рис. 1. Функциональный блок диаграммы IDEF0.14

39. Рис. 2. Метод функциональной декомпозиции стандарта IDEF0.15

40. Рис. 3. Описание сценария процесса с помощью стандарта IDEF3.15

41. Рис. 4. Диаграмма потоков данных.16

42. Рис. 5. Описание потока работ в виде диаграммы деятельности UML.17

43. Рис. 6. Описание потока работ в нотации BPMN.19

44. Рис. 7. Базовые сущности онтологической модели потока работ.28

45. Рис. 8. Пример потока работ.37

46. Рис. 9. Пример диаграммы потока работ на языке BPMN.44

47. Рис. 10. Схема взаимодействия компонентов Web-сервисной архитектуры.50

48. Рис. 11. Структура WSFL-композиции WEB-сервисов.52

49. Рис. 12. WSCI-хореография.55

50. Рис. 13. Архитектура редактора описаний потоков работ на формальном языке.60

51. Рис. 14. Объектная метамодель редактора диаграмм па формальном языке.62

52. Рис. 15. Управляющие элементы объектно-визуального отображения.63

53. Рис. 16. Общая схема работы подсистемы экспорта и импорта.64

54. Рис. 17. Конвейеры трансформации.64

55. Рис. 18. Окно редактора описаний потоков работ.65

56. Рис. 19. Область построения диаграмм редактора описаний потоков работ.66

57. Рис. 20. Область атрибутов редактора описаний потоков работ.66

58. Рис. 21. Управляющее меню редактора описаний потоков работ.66

59. Рис. 22. Управляющее контекстное меню редактора описаний потоков работ.67

60. Рис. 23. Интерфейс древовидного редактора BPEL-описаний.69

61. Рис. 24. Интерфейс двумерного редактора BPEL-описаний.70

62. Рис. 25. Интерфейс управления шаблонами BPEL-описаний.71

63. Рис. 26. Интерфейс редактора XML-представления BPEL-описаний.72

64. Рис. 27. Сиитаксическая верификация BPEL-описапий.73

65. Рис. 28. Автоподстановка XML-текста.73

66. Рис. 29. Выбор Web-сервисов из реестра UDDI.74

67. Рис. 30. Компонентная схема системы исполнения потоков работ.76

68. Рис. 31. Интерфейс просмотра и модификации данных о зарегистрированном потоке работ 77

69. Рис. 32. Клиентский интерфейс интерпретатора описаний потоков работ.78

70. Рис. 33. Клиентский интерфейс модуля отладки потоков работ.79

71. Рис. 34. Протокол исполнения потока работ.79

72. Рис. 35. Базовая схема мониторинга.80

73. Рис. 36. Процедура электронных взаимодействий.85

74. Рис. 37. События потока работ.88

75. Рис. 38. Внутренние события потока работ.88

76. Рис. 39. Локальный и глобальный вектор событий.89

77. Рис. 40. Действия потока работ.90

78. Рис. 41. Простые действия потока работ.90

79. Рис. 42. Составные действия потока работ.90

80. Рис. 43. Поток работ и вложенный поток работ.92

81. Рис. 44. Состояния потока работ.93