автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.11, диссертация на тему:Методы и инструментальные средства проектирования систем документооборота программных проектов

На правах рукописи

'1^

Хлытчиев Олег Игоревич

МЕТОДЫ И ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА ПРОЕКТИРОВАНИЯ СИСТЕМ ДОКУМЕНТООБОРОТА ПРОГРАММНЫХ ПРОЕКТОВ

05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук

Автор:

г дРН

Москва-2008

003457746

Работа выполнена в Московском инженерно-физическом институте (государственном университете)

Научный руководитель: кандидат технических наук, доцент

Синицын Сергей Владимирович

Официальные оппоненты: доктор технических наук, профессор

Хорошевский Владимир Федорович

кандидат технических наук, доцент Федоров Николай Владимирович

Ведущая организация: Московский государственный университет

приборостроения и информатики, г. Москва

Защита диссертации состоится 24 декабря 2008 г. в часов 00 минут на заседании диссертационного совета Д 212.130.03 в Московском инженерно-физическом институте (государственном университете) по адресу: 115409, г. Москва, Каширское шоссе, 31.

С диссертацией можно ознакомиться в библиотеке института. Автореферат разослан "_[?_" ноября 2008 г.

Ученый секретарь диссертационного совета д.т.н., профессор Шумилов Ю.Ю.

Общая характеристика работы

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

Многие современные международные стандарты, такие как IS09001:2000, AS9006B, AS9100B, DO-178B, CMMI, SPICE, используют процессный подход для описания деятельности компаний занимающихся разработкой программного обеспечения (ПО).

Идея использования процессного подхода при описании деятельности предприятия рассматривалась в теории административного управления А. Файоля еще в первой половине XX века. Свое дальнейшее развитие процессный подход получил в виде методологии структурного анализа и проектирования Structural Analysis and Design Technique (SADT), предложенной Дугласом Т. Россом в 1969 году. Эта методология основывалась на опыте НАТО, использующего процессный подход для описания своих регламентов. Основным языком моделирования в методологии SADT является IDEF0. В 1983 году SADT становится федеральным стандартом США, а в 2001 и российским стандартом методологии функционального моделирования.

Аналогичные подходы к описанию функционирования предприятия используются и в современных языках моделирования потоков работ при помощи таких средств как еЕРС, BPMN, BPEL, XPDL. Однако для понимания этих описаний необходима серьезная подготовка, и эти средства затруднительно использовать для подготовки новых сотрудников. В то же время язык IDEF0, напротив, достаточно прост в понимании, но, тем не менее, позволяет построить описание процессов с любой степенью детальности.

Более того, в важных государственных проектах разных стран, например, в ВВС США, ЦБ РФ, Российской Государственной Налоговой Инспекции, используется именно структурный подход и язык моделирования IDEF0.

Методология структурного проектирования SADT получила развитие в виде новых языков IDEF1, IDEFlx, IDEF3, IDEF5 и др. Большинство современных языков проектирования систем, таких как UML, включают в себя аналогичные средства описания процессов.

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

Для решения этой проблемы в 2002 году ряд авторов из Южной Кореи и Великобритании предложили совместно использовать ГОЕРО для описания компании и ЦМЬ для задания архитектуры системы. Однако методов построения объектной архитектуры программной системы на базе процессной модели компании на сегодняшний день не существует и этот переход проектировщикам необходимо выполнять вручную.

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

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

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

Предметом исследования данной диссертации является метод проектирования объектов информационной системы и правил работы с ними на основе ЮЕРО модели компании, детализированной ГОЕРЗ описаниями.

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

4

является создание программного инструментшшюго средства автоматизации построения типов документов и их ЖЦ.

Для достижения поставленной цели были решены следующие задачи:

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

- построен метод преобразования процессного описания компании в объектную модель типов документов;

- разработан метод, позволяющий строить ЖЦ документов по IDEF0 и IDEF3 описаниям компании;

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

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

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

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

- впервые предложен метод, позволяющий автоматизировать процесс построения объектной модели типов документов по процессной модели IDEF0;

- разработан оригинальный метод построения ЖЦ типов документов по совместной IDEF0 и IDEF3 модели компании;

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

- предложен способ описания типов, ЖЦ и правил взаимодействия документов при помощи 71-исчисления;

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

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

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

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

Методы и программное инструментальное средство также могут быть использованы в компаниях, деятельность которых жестко регламентирована, и чем более строго регламентируется деятельность компании, тем эффективнее использование предлагаемого метода (например, в банковском секторе). На защиту выносятся:

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

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

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

- эвристические методы, позволяющие упростить получаемые ЖЦ типов документов и метод построения набора ролей по отношению к документу;

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

- разработанная обобщенная архитектура системы документооборота;

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

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

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

- XII-XVII Международные научно-технические семинары «Современные технологии в задачах управления, автоматизации и обработки информации» (г. Алушта, 2003 -2008 гг.).

- Научная сессия МИФИ (г. Москва, 2004 - 2008 гг.).

- InterSystems-Симпозиум (г. Москва, 2005 г.).

- XV Всероссийская научно-практическая конференция «Проблемы информационной безопасности в системе высшей школы» (г. Москва, 2008 г.).

- VI Международная научно-практическая конференция «Исследование, разработка и применение высоких технологий в промышленности» (г. Санкт-Петербург, 2008 г.). Реализация результатов работы. Предложенные в работе методы реализованы в

виде программного инструментального средства автоматизации процесса проектирования ядра системы документооборота. Разработанное инструментальное средство было успешно применено в компании ООО «ДС «БАРС», занимающейся разработкой и верификацией авиационного ПО, для проектирования системы проведения совещаний, прототипа системы документооборота и ядра полнофункциональной промышленной системы документооборота компании. Реализована и внедрена полнофункциональная система документооборота в компании ООО «ДС «БАРС».

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

Публикации. Имеется 16 публикаций по теме диссертационного исследования. Три статьи опубликованы в журналах, два из которых включены ВАК РФ в перечень ведущих рецензируемых научных журналов и изданий.

Структура и объем работы. Диссертация содержит пять глав, введение и заключение, 37 рисунков, 13 таблиц, 12 приложений. Общий объем без приложений: 138 с. (с приложениями 208 е.). Список использованных источников содержит 120 наименований.

Основное содержание работы

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

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

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

В работе рассматриваются требования, предъявляемые к документации и процессам компаний стандартами качества серии ИСО 9001 - 2001 и AS9006/AS9100 (встроенные системы), отраслевым стандартом КТ-178 и международной моделью зрелости CMMI. Все выше перечисленные стандарты рассматривают предприятие с точки зрения его процессов и определяют минимальный набор необходимых документов и требований к наличию данных, необходимых для функционирования процессов компании.

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

«работ» (workflow - маршрутизация заданий на работу, последовательность выполнения работ определяется бизнес-процессами компании).

Тем не менее, «работы» workflow системы могут быть представлены в виде документов при наличии развитых средств управления документами и их взаимосвязями в docflow системе, и наоборот - необходимые документы могут поддерживаться «работами» workflow системы. Однако, в docflow системе контроль над документами всегда остается за системой (не передается автору или иному сотруднику), поэтому, если речь идет о юридически значимых документах, то чаще всего используется термин «система документооборота».

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

Анализ подходов к проектированию систем документооборота показал, что на практике наиболее широко используется подход, заключающийся в построении системы на основе процессной модели компании. Эта модель чаще всего разрабатывается при помощи DFD, SADT (IDEF0) или AR1S методологии. В последнее время возрастает значение новых языков, специально разработанных для описания бизнес-процессов компаний, таких как XPDL, В PEL (BPML), BPEL4WS.

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

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

В работе рассматривается язык IDEF0 и проводится сравнительный анализ инструментальных средств поддержки моделирования на этом языке. Анализ показал,

9

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

Основная проблема рассмотренного подхода к проектированию информационных систем заключается в сложности перехода от процессной модели к модели структур данных и модели программной системы. За последние несколько лет появились публикации, посвященные решению этой проблемы. Такие исследователи как С. HanKim, R. Weston, Hoon-Shik Woo, Н.Б. Баканова предлагают совместно использовать IDEF0 и UML модели, a Cheol-Han Kima, R.H. Westonb, A. Hodgsonb предлагают преобразовывать процессные модели IDEF0 и IDEF3 в ряд диаграмм UML.

Автором работы предлагаются методы и средства, позволяющие автоматизировать преобразование процессной модели компании на языке IDEF0 в объектную модель ядра системы документооборота.

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

Под типом документа понимается шаблон документа со всеми метаданными, информацией о правилах работы с документом и возможными его связями с другими документами. Типы документов характеризуются не только набором атрибутов {аь-.а,,}, в которых хранятся данные, но и правилами работы, задаваемыми в виде ЖЦ типа документа. ЖЦ рассматривается как множество состояний {Sb..,Sit}, множество правил переходов {R],..,!^} из одного состояния в другое и множество действий, которые выполняются при переходах из состояний в состояния {Db..,Dm}. В общем случае ЖЦ можно представить в виде ориентированного графа, дуги которого взвешены правилом перехода Rj и действием Dj.

Также в работе предложен метод, позволяющий описать ЖЦ типа документа при помощи тс-исчислсния.

Для построения метода преобразования процессного описания исходная IDEF0 модель представляется в виде ориентированного графа:

Ориентированный граф PD = {V,E}:

v, е V - множество вершин {процессы), i = \,n,

ej е Е- множество связей (информация, ресурсы), j = 1, т.

С типизированными дугами:

ALLOUT(vt) - исходящие дуги вершины \\, i = 1 ,п,

ALLIN (v,) - входящие дуги eepmunbiv.J = 1 ,п.

V/: ej е ALLIN{\\) => e'f е /(v, )ve'Jn е C(v,) v ef e A/(v,), i = Tji, j =

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

нового графа OD={V, Е):

U ek,i = \,N-y, |Я = ЛГ

I 1

Преобразование выполняется пошагово. Функция F на очередном шаге преобразования выделяет подмножество дуг V' по определенным признакам. Затем строится вершина нового графа, которая будет отражать объединенную совокупность дуг V. Далее F снова применяется к остающемуся множеству дуг VW исходного графа.

Дуги нового графа получаются в результате анализа вершин исходного графа. Сначала используется прямое соответствие е, =vk . Далее новый граф может быть упрощен. e,=vk>

7t б иош (Vj), vk е V',i = 1,2-Г, Q = \e\j = \,N-y.

Основными этапами преобразования процессной модели компании в объектную модель типов документов являются:

- выделение объектов (типов документов);

- выделение атрибутов и построение ЖЦ объектов;

- построение связей между объектами;

- упрощение объектной модели;

- верификация полученной модели.

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

выделение объектов по ключевому слову, критерий объединения дуг varl и var2: Dictionary (varl) = Dictionary(var2)

структурный метод, критерии объединения дуг varl и var2: (varl <->Р&var2 Q) & (3 R: varl о R & R * P)& (Vr: varl T => T = Q), (varl <->P&var2 О 0&(3R :var2 <+R&R*Q)&0?T:varl<+T=>T = P), (varl -> P & var2 <-P)& (Vvar3 R, var 3 var 1 & var 3 * var 2: R * P) функциональный метод, критерий объединения дуг varl и var2: [Count(var2 Р)» Count(var2 о Q: V Q)] & (P! = varl), где «» - вход процесса, «<- » - выход процесса, «о » - вход или выход процесса, P\=varl: операция Р выполняется над предметом varl.

Предлагается обобщенный алгоритм выделения объектов, основанный на трех указанных методах.

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

о,,о2.....о, . Другая IDEF0 модель этой же компании содержит предметы р\,р\,...,р) и

процессы ql,q\,...,ql и отличается от исходной IDEF0 модели только степенью детализации (дуг и процессов) и терминологией обозначения дуг и процессов. Пусть а(о) - свойство объекта о, D(o) - операция объекта о, R(o) - роль объекта о. Тогда справедливы следующие семь утверждений. Cl.Vrf:3ot,3t:(fi,(ok) = rf) С2. 4ok:ok = {Jpf

i=Ek

СЗ. Vg] :(3ot :D,(o4) = gJ)v0o41,.,ota : (J />>„) = <i])

M,

v=Fk

C4. Vot :VZ>v(0t):(Dv(0t)= |J q))y(D,(ok)eCDD\ CDD-методы создания/удаления

j=Fk

C5. Vo4 \(\/u:Ru(ok)= (J pf)&(3j:pf e M(q2j )), гдеМ(q)- мехаиизм процесса q

ieEk

С6.Чр*:(р?€АО)&(Зои=р? У р1)&(Зои=р{] р12) ->{к! = к2), где АО -

множество предметов, которые нельзя далее детализировать.

С7. В ЖЦ о4нет циклов, если никакое множество [д]} не образует обратной связи ни для одного предмета р].

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

В работе предложен метод построения ЖЦ типов документов на основе ГОЕРО модели, дополненной на нижних уровнях детализации ГОЕРЗ описаниями процессов. Рассматриваются эвристические методы (рисунок 1) и набор критериев, позволяющих упростить ЖЦ типов документов.

Рисунок 1 - Методы упрощения ЖЦ (а - разбиение ЖЦ, б - объединение состояний)

Предлагается метод описания IDEF0 модели в виде я-исчисления и формализация разработанного метода выделения объектов для моделей на я-исчислении.

Построена обобщенная модель системы менеджмента качества компании с учетом ИСО 9001 - 2001 и предложен унифицированный ЖЦ типового документа. Разработана схема взаимодействия основных процессов компании ООО «ДС «БАРС» при помощи п-исчисления.

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

Инструментальное средство построено на основе Microsoft Visio. Инструмент хранит все данные во внешней базе и работает с ней через ODBC драйвер. Основная логика

реализована на языке VBA. Рассматривается разработанный модуль импорта диаграмм из представления инструмента IDEFO.EMTool в формат MS Visio.

Разработанное средство позволяет вести терминологический словарь, группировать термины, задавать их атрибуты и взаимные связи и поддерживает автоматическое обновление IDEF0 модели при внесении изменений в словарь. Словарь может быть экспортирован и импортирован из MS Excel.

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

В результате применения этого инструмента строится диаграмма классов UML, которая может быть экспортирована в виде XML-документа или описания объектов и кода их методов на языке COS (Caché Object Script), или в виде модели на языке к-исчисления. Информация об исходной IDEF0 диаграмме также может быть экспортирована в виде описания с использованием языка я-исчисления. Реализованное инструментальное средство позволяет строить различные отчеты по исходной IDEF0 диаграмме, процессу преобразования и полученной диаграмме.

В четвертой главе приведены основные результаты и особенности разработки системы документооборота для компании ООО «ДС «БАРС» при помощи предложенных в работе методов и средств.

Рассматривается разработка полнофункционального прототипа системы документооборота на основе документов MS Word. В ходе построения прототипа при помощи предложенных в работе эвристик и критериев были унифицированы процедуры работы с большинством документов. Были разработаны два универсальных ЖЦ, которые поддерживались прототипом системы документооборота.

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

Полнофункциональная система документооборота реализована в виде web-приложения на основе СУБД Caché и имеет трехуровневую архитектуру. Первый уровень - это уровень базы данных и представления данных. Второй уровень - уровень

14

логики (поддержки ЖЦ документов). На третьем уровне происходит представление данных для пользователя в виде XML-документа, который затем пересылается клиенту для дальнейшей XSLT трансляции в HTML код.

В основу всех типов документов положен абстрактный объект, для которого реализована поддержка ЖЦ, связи с ролями, работа с атрибутами и контроль прав доступа. Все изменения с этим объектом журналируются, поддерживается версионный контроль.

Система может автоматически настраиваться на любые типы документов, которые задаются в виде XML описаний, представляющих собой упрощенные модели, базирующиеся на предложенных в работе описаниях ЖЦ в виде тс-исчисления.

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

Для инструментального средства проводилось тестирование корректности импорта IDEF0 диаграмм из IDEFO.EMTool. Разработанная структура реляционной базы данных инструмента позволила получить линейную зависимость времени импорта модели от количества элементов в ней (дуг и блоков).

Подробно рассматривается преобразование процессной модели ООО «ДС «БАРС» в объектную модель типов документов. Проводится оценка полученных объектов. Разработанное инструментальное средство позволило автоматизировать процесс преобразования на 78%.

В работе приводится анализ результатов внедрения разработанной системы документооборота. Увеличение активности использования системы за первые полгода ее функционирования почти в два раза (рисунок 2) подтверждает адекватность ЖЦ типов документов процессам компании и отражает удовлетворенность пользователей системой.

Приводятся различные статистики использования системы документооборота. Проведенный анализ позволил выявить всего один недостающий переход между двумя состояниями для одного из ЖЦ, что представляет собой всего 7% от общего числа построенных переходов для этого ЖЦ.

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

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

Рисунок 1 - Среднее число обращений в неделю к системе документооборота за первые полгода

эксплуатации

Разработанная и внедренная система обеспечивает работу более 100 пользователей и поддерживает функционирование более 1000 документов. Система способствовала успешному прохождению компанией сертификационных и надзорных аудитов по стандартам ISO 9001:2000 и AS9100 международным сертификационным органом Bureau Veritas Quality International (BVQI).

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

Основные результаты работы

Основные результаты, полученные автором диссертационного исследования, состоят в следующем.

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

2. Впервые предложен метод построения объектной модели типов документов на основе IDEF0 моделей процессов компании. Предложены дополнительные методы, позволяющие построить модели ЖЦ типов документов.

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

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

5. Предложен метод построения описаний типов документов и их ЖЦ при помощи л-исчисления. Дополнительно показан способ описания IDEF0 моделей в виде л> исчисления.

6. Разработано программное инструментальное средство для автоматизации предложенных в работе методов Предложенные методы и построенное инструментальное средство использованы для разработки технического задания для приложения банковской информационной системы, разрабатываемой компанией ООО «Интерсофт Лаб» и системы документооборота компании ООО «ДС «БАРС».

7. Разработанная система документооборота внедрена в компании ООО «ДС «БАРС» и включена в систему менеджмента качества. Анализ функционирования системы документооборота показал ее соответствие процессам и потребностям компании. Адекватность системы подтверждена успешным прохождением компанией сертификационного аудита на соответствие требованиям стандартов качества ISO 9001:2000 и AS9100B.

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

Основные публикации по теме диссертации

1. Синицын C.B., Хлытчиев О.И. От процессов предприятия к основным объектам системы документооборота программных проектов // Информационные технологии. -2008,-№5.-С. 70-75.

2. Синицын C.B., Хлытчиев О.И. Проектирование системы документооборота программных проектов // Программные продукты и системы - 2008. - №3. - С. 52-55.

3. Синицын C.B., Хлытчиев О.И. Разработка модели системы управления качеством

на IT-предприятии // Банки и Технологии. - 2004. - № б. - С. 62-67.

17

4. Синицын C.B., Хлытчиев О.И. Методы и средства автоматизации ранних стадий проектирования программных систем // Современные технологии в задачах управления, автоматики и обработки информации: Труды XII Международного научно-технического семинара. - М.: Издательство МЭИ. - 2003. - С. 89-90.

5. Синицын C.B., Хлытчиев О.И. Модель взаимодействия процессов управляющего документооборота предприятия // Современные технологии в задачах управления, автоматики и обработки информации: Труды XIII Международного научно-технического семинара. - Часть I. - М.: Изд-во ЦПИ при механико-математическом факультете МГУ им. Ломоносова.-2004.-С. 120-121.

6. Синицын C.B., Хлытчиев О.И. Средства планирования работ информационной системы управления предприятием // Современные технологии в задачах управления, автоматики и обработки информации: Труды XIV Международного научно-технического семинара. - Самара: Самарский государственный аэрокосмический университет. - 2005. - С. 69.

7. Синицын C.B., Хлытчиев О.И. Разработка подходов к проектированию жизненного цикла документа // Научная сессия МИФИ-2006. Сборник научных трудов. В 15 томах. - Т.2. Программное обеспечение. Информационные технологии. - М.: МИФИ.-2006.-С. 98-99.

8. Синицын C.B., Хлытчиев О.И. Временной аспект расчета метрик процессов по данным системы документооборота // Научная сессия МИФИ-2007. Сборник научных трудов. В 15 томах. - Т.2. Программное обеспечение. Информационные технологии. -М.: МИФИ.-2007.-С. 55.

9. Синицын C.B., Хлытчиев О.И. Переход от IDEF0 диаграмм к пи-исчислению // Научная сессия МИФИ-2008. Сборник научных трудов. - Т.11. - М.: МИФИ. - 2007. - С. 112-113.

10. Синицын C.B., Хлытчиев О.И. Построение основных информационных объектов системы автоматизации на основе бизнес процессов // Труды Шестой международной научно-практической конференции «Исследование, разработка и применение высоких технологий в промышленности». - Т.1 - СПб.: Изд-во Политехи, ун-та. - 2008. - С. 103105.

Подписано а печать 14.1 ] .2008 г.

Печать трафаретная

Заказ № 1190 Тираж: 100 экз.

Типография «11-й ФОРМАТ» ИНН 7726330900 115230, Москва, Варшавское ш., 36 (499) 788-78-56 www.autoreferat.ru

Введение.

Глава 1. Исследование подходов к разработке систем документооборота программных проектов.

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

1.1.1 Процессы и документы по стандарту ГОСТ Р ИСО 9001 —

1.1.2 Процессы и документы по стандарту КТ-178.

1.1.3 Процессы и документы по стандартам AS9006 и AS9100.

1.1.4 Процессы и документы согласно модели зрелости CMMI.

1.2 Понятие информационной системы предприятия.

1.3 Подходы к построению систем документооборота.

1.4 Методы и средства описания деятельности предприятия.

1.4.1 Язык функционального описания IDEF0.

1.4.2 я-исчисленпе - язык описания параллельных процессов.

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

1.5 Цель и задачи диссертационного исследования.

1.6 Выводы.

Глава 2. Метод построения объектной модели системы документооборота.

2.1 Метод построения объектной модели типов документов и моделей их ЖЦ.

2.1.1 Ограничения IDEF0 модели.

2.1.2 Понятие типа документа и его ЖЦ.

2.1.3 Представление IDEF0 модели в виде ориентированного графа.

2.1.4 Суть метода построения объектной модели типов документов и их ЖЦ по процессному описанию компании.

2.1.5 Алгоритм выделения основных объектов на основе 1DEF0 модели компании.

2.1.6 Алгоритмы построения ЖЦ типов документов на основе процессных описаний компании.

2.2 Предварительный анализ метода построения объектной модели типов документов и ихЖЦ.

2.2.1 Теорема о соответствии и непротиворечивости.

2.2.2 Построение процессной модели по документам и их ЖЦ.

2.2.3 Описание IDEF0 диаграмм при помощи я-исчисления.

2.2.4 Алгоритм преобразования описаний на языке л-исчисления.

2.2.5 Использование л-исчисления для задания настроек системы документооборота.

2.2.6 Обобщенная процессная модель системы менеджмента качества компании, занимающейся разработкой ПО.

2.2.7 Модель типового ЖЦ документа системы менеджмента качества.

2.3 Модель документооборота ООО «ДС «БАРС».

2.3.1 Схема взаимодействия процессов ООО «ДС «БАРС».

2.3.2 Процессная модель взаимодействия работ, документов и ресурсов ООО «ДС «БАРС».

2.4 Выводы.

Глава 3. Построение инструментального средства автоматизации разработки систем документооборота.

3.1 Средства импорта диаграмм из IDEFO.EmTool.

3.2 База данных инструмента IDUM.

3.3 Архитектура инструмента IDUM.

3.4 Представление полученной в результате преобразования объектной модели.

3.5 Выводы.

Глава 4. Разработка системы документооборота ООО «ДС «БАРС».

4.1 ЖЦ разрабатываемой системы.

4.2 Система документооборота САДО.

4.2.1 Требования и цели прототипа системы документооборота.

4.2.2 Архитектура системы документооборота САДО.

4.2.3 Интерфейс системы документооборота САДО.

4.2.4 Проблемы внедрения и поддержки системы документооборота САДО.

4.3 Полнофункциональная система EDEN.

4.3.1 Разработка требований.

4.3.2 Общая архитектура системы документооборота.

4.3.3 Основы пользовательского интерфейса.

4.3.4 Три уровня представления информации в системе EDEN.Ill

4.3.5 Особенности реализации типов документов.

4.3.6 Задание типов документов.

4.3.7 Некоторые количественные характеристики системы EDEN.

4.4 Выводы.

Глава 5. Анализ предложенного метода и инструментального средства разработки систем документооборота и эксплуатационные характеристики реализованной системы документооборота.

5.1 Использование построенного средства автоматизации IDUM.

5.1.1 Исходные данные.

5.1.2 Тестирование импорта моделей инструментом IDUM.

5.1.3 Преобразование IDEF0 моделей.

5.1.4 Оценка разработанного метода и его применимость.

5.2 Эксплуатация разработанной системы документооборота.

5.2.1 Сбор информации по системе документооборота (САДО).

5.2.2 Первые результаты опытной эксплуатации подсистемы управления ресурсами системы документооборота EDEN.

5.3 Выводы.

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

Многие современные международные стандарты, такие как IS09001:2000, AS9006B, AS9100B, DO-178B, CMMI, SPICE, используют процессный подход для описания деятельности компаний занимающихся разработкой программного обеспечения (ПО).

Идея использования процессного подхода при описании деятельности предприятия рассматривалась в теории административного управления А. Файоля еще в первой половине XX века. Свое дальнейшее развитие процессный подход получил в виде методологии структурного анализа и проектирования Structural Analysis and Design Technique (SADT), предложенной Дугласом Т. Россом в 1969 году. Эта методология основывалась на опыте НАТО, использующего процессный подход для описания своих регламентов. Основным языком моделирования в методологии SADT является IDEF0. В 1983 году SADT становится федеральным стандартом США, а в 2001 и российским стандартом методологии функционального моделирования.

Аналогичные подходы к описанию функционирования предприятия используются и в современных языках моделирования потоков работ при помощи таких средств как еЕРС, BPMN, BPEL, XPDL. Однако для понимания этих описаний необходима серьезная подготовка, и эти средства затруднительно использовать для подготовки новых сотрудников. В то же время язык IDEF0, напротив, достаточно прост в понимании, но, тем не менее, позволяет построить описание процессов с любой степенью детальности.

Более того, в важных государственных проектах разных стран, например, в ВВС США, ЦБ РФ, Российской Государственной Налоговой Инспекции, используется именно структурный подход и язык моделирования IDEF0.

Методология структурного проектирования SADT получила развитие в виде новых языков IDEF1, IDEFlx, IDEF3, IDEF5 и др. Большинство современных языков проектирования систем, таких как UML, включают в себя аналогичные средства описания процессов.

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

Для решения этой проблемы в 2002 году ряд авторов из Южной Кореи н Великобритании предложили совместно использовать IDEF0 для описания компании и UML для задания архитектуры системы. Однако методов построения объектной архитектуры программной системы на базе процессной модели компании на сегодняшний день не существует и этот переход проектировщикам необходимо выполнять вручную.

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

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

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

Предметом исследования данной диссертации является метод проектирования объектов информационной системы и правил работы с ними на основе IDEF0 модели компании, детализированной IDEF3 описаниями.

Целью диссертационной работы является построение моделей, методов и алгоритмов, позволяющих автоматизировать преобразование IDEF0 и IDEF3 описаний компании в объектную модель данных и правила работы с объектами. Использование результатов исследования в этом случае позволит по процессному описанию компании строить основные типы документов и их жизненные циклы (ЖЦ) с целью использования их для проектирования системы документооборота. Практической составляющей работы является создание программного инструментального средства автоматизации построения типов документов и их ЖЦ.

Для достижения поставленной цели необходимо решить следующие задачи: - проведен анализ современных подходов к проектированию систем документооборота, исследован метод использования процессной модели компании для построения объектной архитектуры системы, выявлены ограничения на исходные модели; 5

- построен метод преобразования процессного описания компании в объектную модель типов документов;

- разработан метод, позволяющий строить ЖЦ документов по IDEF0 и IDEF3 описаниям компании;

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

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

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

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

- впервые предложен метод, позволяющий автоматизировать процесс построения объектной модели типов документов по процессной модели IDEF0;

- разработан оригинальный метод построения ЖЦ типов документов по совместной IDEF0 и IDEF3 модели компании;

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

- предложен способ описания типов, ЖЦ и правил взаимодействия документов при помощи л-исчисления;

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

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

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

Методы и программное инструментальное средство также могут быть использованы в компаниях, деятельность которых жестко регламентирована, и чем более строго регламентируется деятельность компании, тем эффективнее использование предлагаемого метода (например, в банковском секторе). На защиту выносятся:

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

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

- язык описания типов, ЖЦ и правил взаимодействия документов, базирующийся на я-исчислении;

- эвристические методы, позволяющие упростить получаемые ЖЦ типов документов и метод построения набора ролей по отношению к документу;

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

- разработанная обобщенная архитектура системы документооборота;

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

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

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

- XII-XVII Международные научно-технические семинары «Современные технологии в задачах управления, автоматизации и обработки информации» (г. Алушта, 2003 - 2008 гг.).

- Научная сессия МИФИ (г. Москва, 2004 - 2008 гг.).

- InterSystems-Симпозиум (г. Москва, 2005 г.).

- XV Всероссийская научно-практическая конференция «Проблемы информационной безопасности в системе высшей школы» (г. Москва, 2008 г.).

- VI Международная научно-практическая конференция «Исследование, разработка н применение высоких технологий в промышленности» (г. Санкт-Петербург, 2008 г.). Реализация результатов работы. Предложенные в работе методы реализованы в виде программного инструментального средства автоматизации процесса проектирования ядра системы документооборота. Разработанное инструментальное средство было успешно применено в компании ООО «ДС «БАРС», занимающейся разработкой и верификацией авиационного ПО, для проектирования системы проведения совещаний, прототипа системы документооборота и ядра полнофункциональной промышленной системы документооборота компании. Реализована и внедрена полнофункциональная система документооборота в компании ООО «ДС «БАРС».

Публикации. По теме диссертационного исследования опубликовано 16 работ:

- 2 печатные работы в реферируемых журналах, рекомендованных ВАК для публикации результатов кандидатских и докторских диссертаций [95,104];

- 1 статья в журнале [110];

- 13 тезисов докладов в сборниках научных трудов конференций [88,90,91,93,94,96,97,100,105,112-114,120].

Структура работы. Диссертация содержит пять глав, введение и заключение, 37 рисунков, 13 таблиц, 12 приложений. Общий объем без приложений: 138 с. (с приложениями 208 е.). Список использованных источников содержит 120 наименований.

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

Заключение

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

1. ISO 9001:2000. Quality Management System Requirements. - International Organization for Standardization, 2000. - 33 p.

2. ГОСТ P ИСО 9001-2001. Системы менеджмента качества. Требования. М.: ИПК Изд-во стандартов, 2001. - 140 с.

3. КТ-178. Квалификационные требования. Требования к программному обеспечению бортовой аппаратуры и систем сертификации авиационной техники. — Межгосударственный авиационный комитет, Авиационный регистр, 1996. 37 с.

4. RTCA/DO-178B. Software considerations in airborne system and equipment certification -RTCAInc, 1992.- 138 p.

5. AS9006A. Aerospace Software Supplement for AS9100A. G-14 Americas Aerospace Quality Group (AAQG), SAE, 2003. - 24 p.

6. AS 9100A. Quality System Model of Quality Assurance in Design, Development, Production, Installation and Servicing. - G-14 Americas Aerospace Quality Group (AAQG), SAE, 2003. - 69 p.

7. ГОСТ P ИСО 9000-2001. Системы менеджмента качества. Основные положения и словарь. М.: ИПК Изд-во стандартов, 2000. - 79 с.

8. ГОСТ Р ИСО 9004-2001. Системы менеджмента качества. Рекомендации по улучшению деятельности. М.: ИПК Изд-во стандартов, 2004. — 171 с.

9. ISO 9000:2000. Quality Management Systems Fundamentals and Vocabulary. -International Organization for Standardization, 2000. - 37 p.

10. ISO 9004:2000. Quality Management System Guidelines for performance improvements. - International Organization for Standardization, 2000. - 56 p.

11. Менеджмент качества и ISO 9000 Электронный ресурс. / Роман Озеранский, 2002 2008. - Режим доступа: http://quality.eup.ru. - Загл. с экрана,

12. Шеер. А. Бизнес-процессы. Основные понятия. Теория. Методы. М.: Весть-МетаТехнология, 1999.- 152 с.

13. Туровец О.Г. Процессный подход к организации производства // Организатор производства. 2006. - № 2 (29). - С. 22-24.

14. Shewhart W. Economic Control of Quality of Manufactured Product. Milwaukee, WI: ASQ Quality Press, 1931 (reprint 1980). - 501 p.

15. Джордж С., Ваймерскирх А. Всеобщее управление качеством: стратегии и технологии, применяемые сегодня в компаниях (TQM). СПб: Виктория плюс, 2002. -256 с.

16. CMMI Web Site Электронный ресурс. / Carnegie Mellon University, 2008. Режим доступа: http://www.sei.cmu.edu/cmmi. - Загл. с экрана.

17. Разработка ПО: стандарты качества Электронный ресурс. / ООО «Издательский Дом 1ТС», 1993 2008. - Режим доступа: http://itc.ua/article.phtml ?ID=21715&IDw=33&pid=52. - Загл. с экрана.

18. ISO/IEC 15504-4:2004. Guidance on Use for Process Improvement and Process Capability Determination. — International Organization for Standardization, 2004. 42 p.

19. Информационные системы в экономике: Учебник / Под ред. Проф. В.В. Дика. -М.: Финансы и статистика, 1996. 272 с.

20. Webster's New World Dictionary of Computer Terms, Fourth edition. New York : Prentice Hall, 1993.-458 p.

21. Просто об электронном документообороте Электронный ресурс. / Компания DIRECTUM, 2006 2008. - Режим доступа: http://www.directum-journal.ru/special.aspx?ContentID=1649468 - Загл. с экрана.

22. Михеев А., Орлов М. Война стандартов в мире workflow Электронный ресурс. / Компания DIRECTUM, 2006 2008. - Режим доступа: http://www.DIRECTUM-Journal.ru/docs/I852841.html - Загл. с экрана.

23. Paul R.J., Hlupic V. and Giaglis G. Simulation modeling of business processes. // Avison D. and Edgar-Neville D., ed. Proceedings of the 3rd UK Academy of Information Systems Conference. Lincoln: McGraw-Hill. - p. 311-320.

24. Model Requirements for the Management of Electronic Records, 2001 Электронный ресурс. / Cornwell Management Consultants pic, 2007. Режим доступа: http://www.cornwell.co.uk/edrm/moreq.asp. - Загл. с экрана.

25. WfMC Web Site Электронный ресурс. / Workflow Management Coalition, 2008. -Режим доступа: http://www.wfmc.org. Загл. с экрана.

26. Сайт компании SAP Электронный ресурс. / SAP AG, 2008. Режим доступа: http://www.sap.com. - Загл. с экрана.

27. Сайт компании Microsoft Электронный ресурс. / Microsoft, 2008. — Режим доступа: http://www.microsoft.com — Загл. с экрана.

28. Калянов Г.Н. Консалтинг при автоматизации предприятий: подходы, методы, средства. 3-е изд. - М.: Горячая линия-Телеком, 2002. — 320 с.

29. Йеличич Б., Пузырникова Е. Понять и воплотить // Вестник McKinsey. 2004. - № 3(8).-С. 3-9.

30. Соммервилл И. Инженерия программного обеспечения 6-е издание. : Пер. с англ. — М.: Издательский дом «Вильяме», 2002. — 624 с.131

31. Майерс Г. Надежность программного обеспечения. — М.: МИР, 1980. 360 с.

32. Калянов Г.Н. Теория и практика реорганизации бизнес-процессов. Серия «Реинжиниринг бизнеса». М.: СИНТЕГ, 2000. - 212 с.

33. Рыбченко Н.Е. Проектирование системы управления компании на основе процессного подхода // Управление большими системами. Выпуск 4. 2003. — М.: ИПУ РАН. - С. 92-99.

34. Ивлев В., Попова Т., Чекаленко Ю. Два подхода к проектированию информационных систем Электронный ресурс. / Hardline.ru, 2006 . Режим доступа: http://w\vw.hardline.ru/5/60/928. -Загл. с экрана.

35. Репин В.В., Елиферов В.Г. Процессный подход к управлению. Моделирование бизнес-процессов. Практический менеджмент. 6-е изд. - М.: РИА «Стандарты и качество», 2008. - 408 с.

36. Jablonski S., Bussler С. Workflow Management: Modeling Concepts, Architecture and Implementation. Thomson Computer Press, London, UK, 1996.

37. Марка Д.А., МакГоуэн К. Методология структурного системного анализа и проектирования SADT. М.: Метатехнология, 1993. - 240 с.

38. Скворцов В.И. Технологические основы использования системы ARIS Toolset 7.0. М.:Диалог-МИФИ, 2006. - 288 с.

39. Сайт компании Oracle Электронный ресурс. / Oracle, 2008. — Режим доступа: http://www.oracle.com. Загл. с экрана.

40. Integrated Computer-Aided Manufacturing (ICAM) Part II Function Modeling-Manual (IDEFO), Contract no. AFWAL-TR-81-4023. - № IV, 1981.

41. Баканова Н.Б. Разработка комбинированного метода для проектирования Систем документооборота // International Conference «e-Management & Business Intelligence». -2007.-№7.

42. Окулесский В.А. Функциональное моделирование методологическая основа реализации процессного подхода. - М.: НИЦ CALS-технологий «Прикладная логистика». -2001.

43. Mulyar N., Aalst W.M.P., Hofstede А.Н.М., Russell N. A critical analysis of the 20 classical workflow control-flow patterns. Technical report, BPM Center Report BPM-06-18, 2006.

44. Cheng-Leong A., Pheng K.L., Leng G.R.K. IDEF*: a comprehensive modelling methodology for the development of manufacturing enterprise systems, International Journal of Production Research. 1999,-№ 37 (17).-p. 3839-3858.

45. Ларман К. Применение UML и шаблонов проектирования. М.: Изд. дом Вильяме, 2001.- 489 с.

46. Ramaswamy S., Barber K.S. A Design Architecture For The Modeling, Analysis And Design Of Manufacturing Control Software Электронный ресурс. / CiteSeer.IST at NUS, 1999. Режим доступа: http://citeseer.comp.nus.edu.sg/334429.html. -Загл. с экрана.

47. Корпорация: языки управления бизнес-процессами. BPML Электронный ресурс. / CIT Forum; Перевод: Intcrsoft Lab, 2005. Режим доступа: http://www.citforum.ru/internet/xml/bpml. - Загл. с экрана.

48. Business Process Modeling Notation (BPMN) Information Электронный ресурс. / Object Management Group, 2007 2008. - Режим доступа: http://www.bpmn.org/. - Загл. с экрана.

49. Workflow Patterns home page Электронный ресурс. / Workflow Patterns Initiative; Webmaster: Jessica Prestedge, 2007. Режим доступа: http://www.workflowpatterns.com. -Загл. с экрана.

50. Van der Aalst, А.Н.М. ter Hofstede. YAWL: Yet Another Workflow Language. // Information Systems. 2005. - № 4 (30). - p. 245-275.

51. Коалиция IBM, Microsoft и BEA, язык BPEL4WS Электронный ресурс. / IBM Corporation, 2007. Режим доступа: http://www-06.ibm.com/developerworks/library/ws-bpel. - Загл. с экрана.

52. XPDL Standard Электронный ресурс. / Коалиция WfMC, 2008. Режим доступа: http://www.wfmc.org/standards/docs/TC-102510xpdl102502.pdf. - Загл. с экрана.

53. Badica С. Business Process Modelling in Inspire Using Petri Nets, submitted at CONTI Timisoara, Romania, 2002.

54. Hennessy M. Distributed pi-calculus, Cambridge University Press, 2007.

55. Milner R. Communicating and mobile systems: the p-calculus, Cambridge University Press, 1999.

56. Yourdon E. Modern Structured Analysis,Yourdon Press, Englewood Cliffs, USA, 1988.

57. ГОСТ Р 50.1.028-2001. Информационные технологии поддержки жизненного цикла продукции. Методология функционального моделирования. — М.: ИПК Изд-во стандартов, 2001. 53 с.

58. Wiederhold, Gio, Ph.D., et al. Integrating Data Into Objects Using Structural Knowledge. // Third International Symposium on Command and Control Research and Technology (3ICCRTS), National Defense University. 1997.

59. Ang C.L., Klioo L.P., Gay R.K.L. IDEF: a comprehensive modelling methodology for development of manufacturing enterprise system. // International Journal of Production Research. 1999. -№ 37 (17).

60. Cheol-I Ian K. Weston R.H. Hodgson A. Kyung-Huy L. The complementary use of IDEF and UML modelling approaches. // Computers in Industry archive. 2003. - № I (50). - p. 3556.

61. Colquhoun, G.J, Baines, R.W, Crossley, Roger, A State of the Art Review of IDEF0. // International Journal of Computer Integrated anufacturing. 1993. — № 4 (6). - p. 252-264.

62. Milner R., Parrow J., Walker D. A Calculus of Mobile Processes Part I. LFCS Report 89-85. University of Edinburgh. -1989. - 46 p.

63. Milner R., Parrow J., Walker D. A Calculus of Mobile Processes Part П. LFCS Report 89-86. University of Edinburgh. - 1989. - 41 p.

64. Milner R. The polyadic Pi-calculus: a tutorial. Technical Report ECSLFCS 91-180, Computer Science Department, University of Edinburgh, UK. -1991.-50 p.

65. Sangiorgi D., Walker D. The Pi-Calculus A Theory of Mobile Processes, Cambridge University Press, 2001.

66. Sangiorgi D. The Pi-Calculus: A Theory of Mobile Processes, Cambridge University Press, 2003.

67. Фиошин. M. Основы я-исчисления Электронный ресурс. / Научно-практическая и учебно-методическая конференция «Наука и технология шаг в будущее», 2000. - Режим доступа: progr.tsi.lv/research/picalc.pdf. -Загл. с экрана.

68. Busi N., Gorrieri R. A Petri Net Semantics for the Pi-Calculus. // Proceedings of International Conference on Concurrency Theory. 1995. - p. 145-159.

69. Pierce B.C. Programming in the pi-calculus: A Tutorial introduction to Pict Электронный ресурс. / Lulea tekniska universitet, 1997. Режим доступа: http://www.csee.ltu.se/~leijon/publications/tipi-09.pdf. — Загл. с экрана.

70. Pierce B.C., Turner D.N. Pict: A Programming Language based on the Pi-Calculus. Indiana University, CSCI Tech. Rep. 1997. № 476.

71. Маклаков С.В. BPwin и ERwin. CASE-средства разработки информационных систем. М.: ДИАЛОГ-МИФИ, 2001. - 304 с.

72. Федоров Н.В., Проектирование информационных систем на основе современных ease-технологий М.: МГИУ, 2007. - 287 с.

73. Сычевский М. Использование BPwin в консалтинговых проектах // КомпьютерПресс. 2002. — № 1.

74. Совершенствование бизнес-процессов с помощью Microsoft Office Visio 2003 Электронный ресурс. / Interface.ru, 2008. Режим доступа: http://www.interface.ru/home.asp7artIcH4052. -Загл. с экрана.

75. Использование Microsoft Project 2002. Специальное издание. : Пер. с англ. М.: Издательский дом «Вильяме», 2003. - 1184 с.

76. Integration Definition for Function Modeling (IDEFO). — Federal Information Processing Standard, US Federal Standards. 120 p.

77. Information integration for Concurrent Engineering (IICE). IDEF5 Method Report, Knowledge Based Systems, Inc. University Drive East, College Station, Texas. 1994.

78. Верников Г. Стандарт IDEF5: Методология разработки онтологических моделей, 1999 Электронный ресурс. Дмитрий Рябых, 1998 2008. - Режим доступа: http://wvvw.cfm.ru/vernikov/idef/idef5.shtml. — Загл. с экрана.

79. OWL Web Ontology Language Overview Электронный ресурс. / W3C, 2004. -Режим доступа: http://www.w3.org/TR/owl-features. Загл. с экрана.

80. Gomez P. Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web. Springer Verlag, 2002.

81. Hinkelmann K. and Kieninger Th. Task-oriented web-search refinement and information filtering. DFKI GmbH, 1997.

82. Staab S., Schnurr H.-P., Studer R., Sure Y,. Knowledge processes and ontologies // IEEE Intelligent Systems. 2001. -№ 16 (1). - p. 26-34.

83. Гаврилова Т. Онтологический подход к управлению знаниями при разработке корпоративных информационных систем. // «Новости искусственного интеллекта». -2003,- №2.-С. 24-30.

84. AllFusionProcessModeler 4.1.4: «Гибридные (IDEFO, DFD, IDEF3) функциональные модели. Функциональная модель проезда перекрестка автодороги» Электронный ресурс.135

85. Interface.ru, 2008. — Режим доступа: http://\vww.interface.ru/home.asp?artId=9216. Загл. с экрана.

86. Конявский В.А. основы понимания феномена электронного обмена информацией Мн.: «Беллитфонд», 2004.-282 с.

87. Синицын С.В., Хлытчиев О.И. Определение жизненного цикла документа. // Научная сессия МИФИ-2005. Сборник научных трудов. В 15 томах. — Т.2. Программное обеспечение. Информационные технологии. М.: МИФИ, 2005. - С. 64-65.

88. Синицын С.В., Хлытчиев О.И. Разработка подходов к проектированию жизненного цикла документа. // Научная сессия МИФИ-2006. Сборник научных трудов. В 15 томах. — Т.2. Программное обеспечение. Информационные технологии. — М.: МИФИ. -2006.-С. 98-99.

89. Крачтен Ф. Введение в Rational Unified Process. 2-е изд.: Пер. с англ. - М.: Издательский дом «Вильяме», 2002. - 240 с.

90. Синицын С.В., Хлытчиев О.И. От процессов предприятия к основным объектам системы документооборота программных проектов. // Информационные технологии. -2008.-№5.-С. 70-75.

91. Синицын С.В., Хлытчиев О.И. Переход от процессного описания функционирования предприятия к жизненным циклам документов // Труды XV научно-технического семинара. М.: МИФИ. - 2006. - С. 100.

92. Whitman, L., В. Huff, et al. Structured Models and Dynamic Systems Analysis: The Integration of the IDEF0/IDEF3 Modeling Methods and Discrete Event Simulation // Proceedings of the Winter Simulation Conference, Atlanta, GA. 1997.

93. Whitman, L., B. Huff, et al. Issues Encountered Between Model Views, Flexible Automation and Intelligent Manufacturing // FAIM 98, Portland, OR. 1998.

94. Фаулер М., Скотт К. UML основы. Краткое руководство по унифицированному языку моделирования. — М.: Символ-Плюс. 2002. 192 с.

95. Мацяшек JI.A. Анализ требований и проектирование систем. Разработка информационных систем с использованием UML. — М.: Вильяме, 2002.-428 с.

96. Буч Г., Рамбо Дж., Джекобсон А. Язык UML. Руководство пользователя. М.: ДМК, 2000. - 429 с.

97. Синицын С.В., Хлытчиев О.И. Проектирование системы документооборота программных проектов. // Программные продукты и системы. 2008. - № 3. — С. 52-55.

98. Синицын С.В., Хлытчиев О.И. Переход от IDEF0 диаграмм к пи-исчислению. // Научная сессия МИФИ-2008. Сборник научных трудов. T.l 1. -М.: МИФИ. - 2007. - С. 112-113.

99. Benjamin С. Pierce Programming in the pi-calculus: A tutorial introduction to Pict, 1997 Электронный ресурс. / The Pennsylvania State University, 2007. Режим доступа: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.603. — Загл. с экрана.

100. Smith, П., Fingar, P. Workflow is Just a Pi Process, Computer Sciences Corporation, Hampshire, 2004 Электронный ресурс. / Howard Smith and Peter Fingar, 2003. Режим доступа: http://www.bpm3.com/picalculus. - Загл. с экрана.

101. Martin J. H. Enterprise engineering: the key to corporate survival. // Lancashire, England: Savant Institute. 1994 -№ 5.

102. Синицын C.B., Хлытчиев О.И. Разработка модели системы управления качеством на IT-предприятии // Банки и Технологии. 2004. - № б. - С. 62-67.

103. Горбатов В.А. Фундаментальные основы дискретной математики. М.: Наука, Физматлит, 2000. - 544 с.

104. Синицын С.В., Хлытчиев О.И. Об одном из подходов к моделированию жизненного цикла документов. // Научная сессия МИФИ-2004. Сборник научных трудов. В 15 томах. Т.2. Программное обеспечение. Информационные технологии. — М.: МИФИ, -2004.-С. 84-85.

105. Wizdom Systems Электронный ресурс. / Wizdom Systems Inc., 2005 2008. -Режим доступа: http://www.wizdom.com. - Загл. с экрана.

106. Харт-Девис Г. Word 2000. Руководство разработчика. К.: Издательская группа BHV, 2000. - 944 с.

107. Кирстен В. и др. СУБД Cache: Объектно ориентированная разработка приложений. СПб.: Питер, 2001. 384 с.

108. Кречетов Н.Е., Петухова Е.А., Скворцов В.И., Умников А.В., Щукин Б.А. Постреляционная технология Cache для реализации объектных приложений. М.: МИФИ, 2001.- 152 с.

109. Р50-1-031-2001. Информационные технологии поддержки жизненного цикла продукции: Терминологический словарь. Часть 1. Стадии жизненного цикла продукции. — М.: Госстандарт РФ, 2001.