Автоматизация процессов управления территориально-распределенным промышленным предприятием на основе сервис-ориентированного подхода тема диссертации и автореферата по ВАК РФ 05.13.06, кандидат технических наук Сорокин, Арсений Николаевич

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

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

ВВЕДЕНИЕ.

1. АНАЛИЗ ПРЕДМЕТНОЙ ОБЛАСТИ.

1.1. Современное состояние автоматизации управления территориально-распределенным предприятием.

1.1.1. Применение процессного подхода при управлении территориально-распределенным предприятием.

1.1.2. Основные задачи и используемые средства при создании информационных систем управления предприятием.

1.1.3. Анализ возможных проблем при внедрении информационных систем управления предприятием.

1.2. Применение сервис-ориентированного подхода для построения информационной системы управления территориально-распределенного предприятия.

1.2.1. Сервис-ориентированные архитектуры.

1.2.2. Обзор основных сервис-ориентированных технологий.

1.2.3. Архитектура OGSA и Grid сервисы.

1.2.4. Обзор систем, построенных с применением сервис-ориентированных технологий.

1.2.5. Анализ достоинств и недостатков сервис-ориентированного подхода при построении информационно-управляющих систем.

1.3. Основные подходы к моделированию и анализу бизнес-процессов предприятия.

1.3.1. Основные положения в теории сетей Петри.

1.3.2. Основные свойства сетей Петри и методы их анализа.

1.3.3. Преимущества при использовании сетей Петри.

1.4. Объектно-ориентированные сети Петри.

1.4.1. Примеры существующих объектно-ориентированных сетей

Петри.

1.4.2. Основные критерии, предъявляемые к объектноориентированным сетям Петри.

1.5. Выводы по главе.

2. ПОСТРОЕНИЕ ИНФОРМАЦИОННО-УПРАВЛЯЮЩЕЙ СИСТЕМЫ ТЕРРИТОРИАЛЬНО-РАСПРЕДЕЛЕННОГО ПРЕДПРИЯТИЯ.

2.1. Особенности функционирования территориально-распределенного предприятия, как объекта управления.

2.1.1. Организационная структура системы управления территориально-распределенного предприятия.

2.1.2. Основные задачи управления территориально-распределенным предприятием.

2.1.3. Специфика управления территориально-распределенным предприятием.

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

2.3. Построение архитектуры информационно-управляющей системы территориально-распределенного предприятия.

2.3.1. Требования к архитектуре информационно-управляющей системы территориально-распределенного предприятия.

2.3.2. Основные компоненты архитектуры информационно-управляющей системы.

2.3.3. Преимущества архитектуры информационно-управляющей системы, построенной с применением сервис-ориентированных технологий.

2.4. Выводы по главе.

3. МЕТОДИКА АНАЛИЗА И МОДЕЛИРОВАНИЯ СЕРВИС-ОРИЕНТИРОВАННЫХ СИСТЕМ, ПОСТРОЕННАЯ НА ОСНОВЕ АППАРАТА СЕТЕЙ ПЕТРИ.

3.1. Методика анализа и моделирования работы сервис-ориентированных систем.

3.2. Анализ и моделирование потока сообщений в сервис-ориентированных системах.

3.2.1. Некоторые определения.

3.2.2. Анализ и моделирование потока сообщений с помощью обыкновенных сетей Петри.

3.3. Расширение аппарата G-сетей Петри с целью анализа и моделирования потока сообщений в сервис-ориентированных системах.

3.3.1. Расширение G-сети для моделирования на уровне классов и объектов.

3.3.2. Расширение G-сети для поддержки принципов инкапсуляции

3.3.3. Определение полей объекта и методов для работы с ними.

3.3.4. Синхронизация методов в G-сети.

3.3.5. Конструкторы объектов и инициализирующий объект системы

3.3.6. Расширение аппарата G-сетей с помощью механизма наследования.

3.3.7. Моделирование различных форм наследования.

3.3.8. Исследование проблемы аномалий при наследовании.

3.4. Формальное определение сервис-ориентированной SG-системы 108 3.4.1. Коммуникационная инфраструктура сервис-ориентированной

SG-системы.

3.4.2 Передача сообщений в сервис-ориентированной SG-системе! 14 3.4.3. Детальная модель основных модулей сервиса.

3.5. Сравнительная характеристика расширенных G-сетей Петри.

3.6. Выводы по главе.

4. РАЗРАБОТКА ПРОГРАММНЫХ СРЕДСТВ И ПРАКТИЧЕСКОЕ

ПРИМЕНЕНИЕ РАЗРАБОТАННЫХ МОДЕЛЕЙ.

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

4.2. Анализ расширенных G-сетей Петри с помощью языка Пролог.

4.2.1. Представление предикатных сетей на языке Пролог.

4.2.2. Варианты задания основных структурных элементов расширенных G-сетей с помощью клозов языка Пролог.

4.2.3. Построение графа достижимых состояний с помощью языка Пролог.

4.2.4. Верификация G-систем с использованием временной логики, интерпретируемой на языке Пролог.

4.3. Пример построения сервис-ориентированной системы на крупном территориально-распределенном предприятии.

4.3.1. Описание сервис-ориентированной системы.

4.3.2. Анализ модели сервис-ориентированной системы.

4.3.3. Построение мобильного клиента для распределенной сервис-ориентированной системы.

4.3.4. Экономический эффект от внедрения сервис-ориентированной системы на предприятии.

4.4. Выводы по главе.

Введение диссертации (часть автореферата) на тему «Автоматизация процессов управления территориально-распределенным промышленным предприятием на основе сервис-ориентированного подхода»

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

Приведем формальное определение сервисно-ориентированной архитектуры, которое сформулировано специалистами корпорации IBM [17]: «СОА — это прикладная архитектура, в которой все функции определены как независимые сервисы с вызываемыми интерфейсами. Обращение к этим сервисам в определенной последовательности позволяет реализовать тот или иной бизнес-процесс». С точки зрения разработчиков, ту же мысль можно передать несколько иными словами: СОА — это компонентная модель, в которой разные функциональные единицы приложений, называемые сервисами, взаимодействуют по сети посредством интерфейсов. При этом интерфейсы должны быть нейтральными к специфике реализации сервиса, которые определяются аппаратной платформой, операционной системой, языком программирования. Подобный нейтралитет обеспечивает универсальность взаимодействия сервисов в разнородной (гетерогенной) среде, а сервисы, интегрированные посредством таких интерфейсов, являются слабо связанными.

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

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

Перечислим ряд задач в таких организациях, которые требуют привлечения большого объема данных и вычислительных ресурсов для своего решения. Это задачи оперативного финансового анализа, задачи сбора статистической отчетности [103] и др. К крупномасштабным задачам можно также отнести вопросы, связанные с обеспечением доступа к разнородным ресурсам предприятия [1].

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

В системах, построенных на принципах СОА, высокоуровневые прикладные компоненты, сервисы, взаимодействуют друг с другом и формируют сложные бизнес-приложения. И чем активнее внедряются принципы СОА в ИТ-инфраструктурах, которые поддерживают актуальные задачи науки и бизнеса, тем критичнее проблема контроля над работой приложений, построенных в соответствии с архитектурой СОА [81].

Системы, построенные в соответствии с новейшими распределенными технологиями, представляют собой совокупности большого числа объектов, взаимодействующих с помощью сообщений, и находящихся между собой в отношениях различных типов. Вопросам анализа и оптимизации вычислительных систем посвящены работы многих отечественных и зарубежных ученых, таких как: С.В. Назаров, Н.Н. Турин, Я.А. Коган, Л.Б. Богуславский, А.И. Ляхов, А.В. Костров, Ю.Б. Сениченков, Б.Я. Советов, 8

С.А. Яковлев, К. Jensen, van der Alst, J. Rumbaugh и др. Методам построения распределенных информационно-управляющих систем, базирующихся на объектно-ориентированных моделях, посвящены работы JI.A. Калиниченко,

B.П. Иванникова, К.В. Дышлевого, В.И. Задорожного, Д.К.Шмидта,

C.Виноски, Д.Суда, Ю.Б. Колесова, С. Lakos, Y.K. Lee, A. Perkusich, S. Philippi и др.

Надо отметить, что объектно-ориентированные методы моделирования и анализа распределенных систем применяются сравнительно недавно [88]. При этом существующие объектно-ориентированные аппараты имеют как свои преимущества, так и недостатки. В этой связи, проблема разработки комплексной методики построения и анализа моделей бизнес-процессов распределенной организации представляется весьма актуальной. Опираясь на труды предшественников, автор диссертационной работы видит путь к её решению в применении аппарата сетей Петри для описания, моделирования и анализа бизнес-процессов территориально-распределенного предприятия.

Решению вопросов анализа и управления бизнес-процессами ТРПП посвящается настоящая работа.

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

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

Предмет исследования - автоматизация управления ТРПП на основе бизнес-процессного и сервис-ориентированного подходов.

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

Научная новизна полученных результатов.

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

Конкретные результаты, обладающие новизной, заключаются в следующем:

1. Разработана структура системы управления ТРПП. Важными составляющими системы управления являются: сервис-ориентированная среда, позволяющая автоматизировать исполнение распределенных бизнес-процессов, и моделирующий комплекс, основанный на аппарате обыкновенных и объектно-ориентированных сетей Петри и позволяющий упростить механизм принятия решений по управлению бизнес-процессами предприятия.

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

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

4. Введены новые понятия, позволяющие расширить аппарат объектно-ориентированных G-сетей Петри, такие как: «сервис», «экземпляр сервиса», «сеть-наследник». Данные понятия позволяют описывать и анализировать сервис-ориентированные детали реализации бизнес-процессов территориально-распределенного предприятия.

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

Использование результатов диссертационной работы позволяет повысить эффективность управления ТРПП, снизить затраты на автоматизацию процессов управления, и в том числе позволяет:

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

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

3. Сократить временные затраты на анализ и моделирование бизнес-процессов ТРПП за счет разработанных программных средств.

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

Практическая значимость диссертации подтверждается актом о внедрении результатов исследования в ЗАО «Вологдаметаллострой» (г. Вологда).

Основные положения, выносимые на защиту:

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

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

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

4. Расширенный аппарат объектно-ориентированных G-сетей Петри, включающий новые понятия, такие как: «сервис», «экземпляр сервиса», «сеть-наследник». Предложенные понятия позволяют в терминах сетей Петри описывать распределенные бизнес-процессы предприятия, основанные на сервис-ориентированном подходе.

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

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

Заключение диссертации по теме «Автоматизация и управление технологическими процессами и производствами (по отраслям)», Сорокин, Арсений Николаевич

4.4. Выводы по главе

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

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

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

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

149

ЗАКЛЮЧЕНИЕ

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

Можно выделить следующие основные результаты, полученные в диссертации:

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

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

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

150

4. Введены новые понятия, позволяющие расширить аппарат объектно-ориентированных G-сетей Петри, такие как: «сервис», «экземпляр сервиса», «сеть-наследник». Расширение объектно-ориентированных сетей Петри позволяет описывать обработку заданий сервисами при реализации определенных бизнес-процессов предприятия.

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

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

7. Разработаны инструментальные средства, позволяющие автоматизировать процессы анализа и моделирования бизнес-процессов территориально-распределенного предприятия. Разработанное программно-алгоритмическое обеспечение опробовано на конкретных примерах и показало эффективность его применения в практике ряда предприятий и организаций. Методика и программное обеспечение внедрены на предприятии ЗАО «Вологдаметаллострой» (г. Вологда), что подтверждено соответствующим актом о внедрении.

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

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

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

1. Alonso G., et al., Web Services: Concepts, Architectures and Application. Springer, 2004.

2. Bastide R. "Approaches in unifying Petri Nets and the Object-Oriented approach," Proceeding of the Int'l Workshop on Object-Oriented Programming and Models of Concurrency, Turin, Italy, June, 1995.

3. Battiston E., Cindio F.D., Mauri G. "OBJSA Nets: a class of high-level nets having objects as domains," APN'88, and also LNCS 340, 1988, pp.20-43.

4. Benatallah В., Casati F., Toumani F., Representing, Analyzing and Managing Web Service Protocols. Data and Knowledge Eng. J. (DKE); http://dx.d0i.0rg/l 0.1016/j .datak.2005.07.006.

5. Biberstein O., Buchs D. "An Object-Oriented Specification Language based on Hierarchical Algebraic Petri Nets," Proceedings of the IS-CORE Workshop, Amsterdam, September, 1994 and TR: EPFL-DI 94-76,1994.

6. Biberstein O., Buchs D., Guel N. "Modeling of Cooperative Editors Using COOPN/2,"Proceeding of the Int'l Workshop on Object-Oriented Programming and Models of Concurrency, Osaka, Japan, June, 1996.152

7. Bray Т., Paoli J. and Sperberg-McQueen C.M. The Extensible Markup Language (XML) 1.0. 1998.

8. Brittenham, P. An Overview of the Web Services Inspection Language, 2001.

9. Bruno G., Balsamo A. 'Petri net-based object-oriented modeling of distributed systems'. ACM SIGPLAN Notices, 21(11), November 1986.

10. Bussler С., B2B Integration: Concepts and Architecture. Springer, 2003.

11. Buyya R., The Virtual Laboratory Project: Molecular Modeling for Drug Design on Grid, IEEE Distributed Systems Online, Vol. 2, No. 5, 2001.

12. Cao J., S. A. Jarvis, S. Saini, and G. R. Nudd. "GridFlow: Workflow Management for Grid Computing", In Proceedings of 3rd International Symposium on Cluster Computing and the Grid, at Tokyo, Japan, May 1215,2003, p. 198.

13. Channabasavaiah K., Holley K., Tuggle E.M., Migrating to a service-oriented architecture. IBM, December 2003.

14. Chapin S., Karpovich J., Grimshaw A. The Legion Resource Management System, Proceedings of the 5th Workshop on Job Scheduling Strategies for Parallel Processing, April 16, 1999, San Juan, Puerto Rico, USA, Springer Verlag Press, Germany, 1999.

15. Christensen E., Curbera F., Meredith G. and Weerawarana S. Web Services Description Language (WSDL) 1.1. W3C, Note 15,2001.

16. Common Object Request Broker: Architecture and Specification, Revision 2.2. Object Management Group Document 96.03.04,1998.

17. Curbera F., et al., Unraveling the Web Services Web: An Introduction to SOAP, WSDL, and UDDI // IEEE Internet Computing. March-April 2002.

18. Cybok D. "A Grid Workflow Infrastructure", In Proceedings of Workflow in Grid Systems Workshop in GGF10, at Berlin, Germany, March, 2004.

19. Drake C. Object-oriented programming with С++ and Smalltalk. Upper Saddle River, New Jersey, Prentice Hall, 1998.

20. Engelfriet J., Leih G., Rozenberg G. 'Net-Based Description of Parallel Object-Based Systems'. 'Foundations of Object-Oriented Languages', LNCS 489. Springer-Verlag, 1990.

21. English S. 'Coloured Petri Nets for object-oriented modelling'. Dissertation, University of Brighton, 1993.

22. Erwin, D. W. and D. F. Snelling. "UNICORE: A Grid Computing Environment", Lecture Notes in Computer Science, Vol. 2150: pp. 825-34, 2001.

23. Foster I., Kesselman C. (editors). The Grid: Blueprint for a Future Computing Infrastructure, Morgan Kaufmann Publishers, USA, 1999.

24. Foster I., Kesselman C. Globus: A Metacomputing Infrastructure Toolkit, International Journal of Supercomputer Applications, 11(2): 115-128, 1997.

25. Foster, I., Kesselman, C., Nick, J., Tuecke, S. The Physiology of the Grid: An Open Grid Services Architecture for Distributed Systems Integration, Globus Project, 2002.

26. Giese H., Graf J., Wirtz G. "Modeling Distributed Software Systems with Object Coordination Nets," Proceedings for the Int'l Symposium on Software Engineering for Parallel and Distributed Systems, Japan, April, 1998, pp.39-49.

27. Grimshaw A.S., Ferrari A., Knabe F.C., Humphrey M. Wide-Area Computing: Resource Sharing on a Large Scale. IEEE Computer, 32 (5). 2937. 1999.

28. Grimshaw A.S., Wulf W.A. The Legion Vision of a Worldwide Virtual Computer. Communications of the ACM, 40 (1). 39-45. 1997.

29. Harel D., Gery E. "Executable Object Modeling with Statechart," Proceedings of the 18th Int'l Conference on Software Engineering, Germany, March, 1996, pp.246-257.

30. Holtman K. CMS Data Grid System Overview and Requirements, The Compact Muon Solenoid (CMS) Experiment Note 2001/037, CERN, Switzerland, 2001.

31. Holvoet Т., Verbaeten P. 'PN-TOX: a Paradigm and Development Environment for Object Concurrency Specifications'. 'Proceedings of the 16th International Conference on the Application and Theory of Petri-Nets', Turin, 1995.

32. Hong J. E., Bae D.H. "HOONets: Hierarchical Object-Oriented Petri Nets for System Modeling and Analysis", Technical Report CS-TR-98-132, Dept. of Computer Science, KAIST, Nov., 1998.

33. Hong J. E., Lee N.H. Cha S.D., Bae D.H., "Towards Reusable Colored Petri Nets", Proceedings of Int'l Symposium on Software Engineering for Parallel and Distributed Systems, Kyoto, Japan, April, 1998. pp. 223-229.

34. Hoschek W., Jaen-Martinez J., Samar A., Stockinger H., Stockinger K. Data Management in an International Data Grid Project, Proceedings of the First IEEE/ACM International Workshop on Grid Computing, (Springer Verlag Press, Germany), India, 2000.

35. Huber P., Jensen K., Shapiro R.M. "Hierarchies in Coloured Petri nets," APN'90, and also LNCS 483,1991, pp.313-341.

36. Jensen K. Coloured Petri Nets: Basic concepts, Analysis methods, and Practical use, Vol 1.2., Springer-Verlag, 1992.

37. Kappel G., Schrefl M. 'Using an Object-Oriented Diagram-Technique for the Design of Information Systems'. H.G. Sol und K.M. van Нее, 'Dynamic Modelling of Information Systems'. Elsvier Science Publishers B.V. (North-Holland), 1991.

38. Kassem N., Team E. Designing Enterprise Applications with the Java 2 Platform, Enterprise Edition. Addison-Wesley, June 2000.

39. Kim D.J., et al., A Comparison of B2B E-Service Solutions. Comm. ACM, Dec. 2003.

40. Kreger H., et al., Management Using Web Services: A Proposed Architecture and Roadmap, tech report, IBM, Hewlitt-Packard and Computer Assoc. June 2005; www-128.ibm.com/developerworks/library/ specification/ws-mroadmap.

41. Krishnan, Sriram, Patrick Wagstrom, and Gregor von Laszewski, GSFL: A Workflow Framework for Grid Services Draft., July, 19, 2002.

42. Lakos C. "On the Abstraction of Coloured Petri Nets," Proceedings of Petri Net Conference97, Touloure, France, 1997.

43. Lakos C. "The Object Orientation of Object Petri Nets," Proceeding of the Int'l workshop on Object-Oriented and Models of Concurrency, Turin, Italy, June, 1995. (within the 16th Int'l conference on ATPN 95).

44. Lakos C., Keen C. "LOOPN++: A New Language for Object-Oriented Perti Nets,"Technical Report R94-4, Networking Research Group, Univesity of Tasmania, Australia, April, 1994.

45. Lee Y.K., Park S.J. "OPNets: An Object-Oriented High-Level Petri Net Model for Real-Time System Modeling", Journal of Systems Software, Vol(20), 1993. pp. 69-86.

46. Leymann F.Web Services Flow Language. May 2001.

47. Matsuoka S., Yonezawa A. "Analysis of inheritance anomaly in object-oriented concurrent programming languages". In Gul Agha et. al. (eds.), Research Directions in Concurrent Object-Oriented Programming, MIT Press, 1993, pp. 107-150.

48. Murata Т. Petri nets: Properties, analysis and applications, in: Proceedings of the IEEE, vol. 77,1989, pp. 541-580.

49. Perkusich A., de Figueiredo J. "G-nets: A Petri Net Based Approach for Logical and Timing Analysis of Complex Software Systems," Journal of Systems and Software, 39(1): 39-59, 1997.

50. Philippi S. 'Seamless object-oriented software development on a formal base'. In 'Workshop on Software Engineering and Petri-Nets', '21st Int. Conference on Theory and Applications of Petri-Nets 2000', Aarhus, Denmark, 2000.

51. Potts M., Sedukhin I., Kreger H., Web Services Manageability — Concepts (WS-Manageability), tech. report, IBM, Computer Assoc. and Talking Blocks. Sept. 2003.

52. Rumbaugh J., et al. Object-Oriented Modeling and Design, Prentice Hall, 1991.

53. Shields M., Taylor I. "Programming Scientific and Distributed Workflow with Triana Services", In Proceedings of Workflow in Grid Systems Workshop in GGF10, at Berlin, Germany, March, 2004.

54. Simple Object Access Protocol (SOAP) 1.1. W3C, Note 8,2000.

55. Steen M., Homburg P., Doom L., Tanenbaum A., Jonge W. Towards Object-based Wide Area Distributed Systems. In Carbrera, L.-F. and Theimer, M. eds. International Workshop on Object Orientation in Operating Systems, 1995, 224-227.

56. Thatte S. XLANG: Web services for Business Process Design. http://www.gotdotnet.com/team/xml wsspecs/xlang-c/default.htm, 2001.

57. Thomas L. "Inheritance Anomaly in True Concurrent Object Oriented Languages: A Proposal", IEEE TENCON'94, August 1994, pp. 541-545.

58. Workflow Management Coalition, http://www.wfmc.org.

59. Арнольд, К. Язык программирования Java / Кен Арнольд, Джеймс Гослинг.- Addison-Wesley Longman,U.S.A.,1996, Издательство "Питер-Пресс", 1997

60. Башарин, Г.П. Анализ очередей в вычислительных сетях. Теория и методы расчета. / Г.П. Башарин, П.П. Бочаров, Я.А. Коган. М.:Наука. Гл. ред. физ.-мат. лит., 1989. - 336 с.

61. Боркус, В. Практическое построение SOA: борьба с мифами / В. Боркус. PC Week, 2006, № 48. - с. 34-35.

62. Бородулин, А.Н. Внутрифирменное управление, учет и информационные технологии. Учебное пособие / А.Н. Бородулин, А.Ю. Заложнев, Е.Л. Шуремов, М.: ЗАО «ПМСОФТ», 2006. - 340 с.

63. Бочаров, П.П. Теория массового обслуживания: Учебник. / П.П. Бочаров, А.В. Печинкин. М.: Изд-во РУДН, 1995.-529 с.

64. Гревцов, Д.Е. Повышение эффективности корпоративного управления промышленными предприятиями. Автореферат диссертации на соискание ученой степени кандидата экономических наук / Д.Е. Гревцов. М., 2002. - 23 с.

65. Дубинин, В. Н. Вычисление логических запросов, основанных на временной логике / Пенз. гос. техн. ун-т / В.Н. Дубинин. Пенза, 1996 -54 с - Деп. в ВИНИТИ 140296, № 488-В96

66. Дубинин, В.Н. Спецификация и верификация процессов обмена информацией в вычислительных системах и сетях: Учеб. пособие / В.Н. Дубинин, С.А. Зинкин. Пенза: Изд-во Пенз. политехн.ин-та, 1992. - 95 с.

67. Дубинин, В.Н. Языки логического программирования в проектировании вычислительных систем и сетей: Учеб. пособие / В.Н. Дубинин, С.А. Зинкин. Пенза: Изд-во Пенз. гос. техн. ун-та, 1997. - 88 с.

68. Дубова, Н. SOA: подходы к реализации/ Н. Дубова. Открытые системы, 2004, № 6.

69. Зинкин, С.А. Сетевые спецификации, моделирование и проектирование вычислительных комплексов, систем и сетей: Учеб. пособие в 2-х кн. Кн.1 / С.А. Зинкин, В.Н. Дубинин. Пенза: Изд-во Пенз.гос.техн.ун-та, 1996. - 322 с.

70. Иванов, Д.А. Логистика. Стратегическая кооперация. / Д.А. Иванов. -М.: Вершина, 2006. 176 с.

71. Калянов, Г.Н. Теория и практика реорганизации бизнес-процессов / Г.Н. Калянов. М.: Синтег, 2000. - 212 с.

72. Клоксин, У. Программирование на языке Пролог / У. Клоксин, К. Меллиш. М.: Мир,1987. - 336 с.

73. Колесов Ю.Б. Объектно-ориентированное моделирование сложных динамических систем. СПб.: Изд-во СПбГПУ, 2004. - 239 с.

74. Колесов, А. Путь к SOA не обещает быть простым / А. Колесов. PC Week, 2006, №48.-с. 32-33.

75. Костров, А.В. Уроки информационного менеджмента. Практикум: Учеб. Пособие / А.В. Костров, Д.В. Александров. М.: Финансы и статистика, 2005. - 304 с.

76. Котов, В.Е. Сети Петри / В.Е. Котов М.: Наука, 1984. - 158с.

77. Ломазова, И.А. Сети Петри и анализ поведенческих свойств распределения систем / И.А. Ломазова, А.А. Соколов.

78. Михеев, А. Перспективы Workflow систем / А. Михеев, М. Орлов. PC Week, 2004, № 23.

79. Нежад, Х.М. Спецификации интероперабельности Web-сервисов / Х.М. Нежад, Б. Бенаталла, Ф. Касати, Ф. Томани. Открытые системы, 2006, №4.-с. 52-60.

80. Нотон, П. Полный справочник по Java / Патрик Нотон, Герберт Шилдт. McGraw-Hill, 1997, Издательство "Диалектика", 1997.160

81. Папазоглоу, М. Управление Web-сервисами / М. Папазоглоу, В. ван ден Хьювел. Открытые системы, 2006, № 4. - с. 29-35.

82. Питерсон, Дж. Теория сетей Петри и моделирование систем / Дж. Питерсон. М.: Мир, 1984. - 168с.

83. Редько, С.Г. Автоматизированная система управления сетевой инжиниринговой структурой. Автореферат диссертации на соискание ученой степени доктора технических наук / С.Г. Редько. СПб, 2002.

84. Русакова Е.В. Информационный потенциал промышленных предприятий: оценка, динамика, резервы повышения. Автореферат диссертации на соискание ученой степени кандидата экономических наук / Е.В. Русакова. Самара, 2006. - 24 с.

85. Советов, Б.Я. Автоматизированное управление современным производством / Б.Я. Советов, В.В. Цехановский. JL: Машиностроение, 1988. - 168 с.

86. Советов, Б.Я. Моделирование систем. / Советов Б.Я., Яковлев С.А. М.:Высш.шк.,1995. - 320с.

87. Советов, Б.Я. Моделирование систем. Практикум: Учебное пособие для ВУЗов по специальности «Автоматизированные системы обработки информ. и упр.» / Советов Б.Я., Яковлев С.А. -М.:Высш.шк.,1999. 224с.: ил.

88. Сорокин, А.Н. Использование технологий Grid компьютинга в научных исследованиях / А.Н. Сорокин, А.В. Тупицин. Современные технологии обучения «СТО-2005»: Материалы XI международной конференции. - СПб: СПбГЭТУ «ЛЭТИ», 2005. - Т2. - с.130-132.

89. Сорокин, А.Н. Методика моделирования и анализа распределенных гетерогенных сервис-ориентированных Grid систем / А.Н.Сорокин. Применение новых технологий в образовании: Материалы XVI международной конференции. - Троицк, 2005. - С. 185-186.

90. Сорокин, А.Н. Моделирование и анализ работы гетерогенных сервисов с применением аппарата высокоуровневых сетей Петри / А.Н. Сорокин. Системы управления и информационные технологии № 2.1 (24). - Воронеж, 2006. - с. 194-197.

91. Сорокин, А.Н. Моделирование и анализ распределенных сервис-ориентированных систем с применением аппарата высокоуровневых сетей Петри / А.Н. Сорокин. Информационные технологии моделирования и управления №4 (29). - Воронеж, 2006. - с. 495-503.

92. Сорокин, А.Н. Моделирование потока управления в среде Grid с применением аппарата сетей Петри / А.Н. Сорокин. Вузовская наука -региону: Материалы III Общероссийской научно-технической конференции. - Вологда: ВоГТУ, 2005. - С. 263-266.

93. Сорокин, А.Н. Применение технологии Data Grid в распределенной гетерогенной сети коммерческой организации / А.Н.162

94. Сорокин, А.В. Тупицин. Вузовская наука - региону: Материалы II Общероссийской научно-технической конференции / ВоГТУ. -Вологда, 2004. - С. 495-497.

95. Стерлинг, JI. Искусство программирования на языке ПРОЛОГ / Л. Стерлинг, Э.Шапиро. М., 1990.

96. Управление персоналом: Учебник для вузов / Под ред. Т.Ю. Базарова, Б.Л. Еремина. М.: Банки и биржи, ЮНИТИ, 1998. - 423 с.