Методы и инструментальные средства проектирования систем документооборота программных проектов тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Хлытчиев, Олег Игоревич

• Хлытчиев, Олег Игоревич
• кандидат технических наук
• 2008

Оглавление диссертации кандидат технических наук Хлытчиев, Олег Игоревич

Введение.

Глава 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 описаний компании в объектную модель данных и правила работы с ними можно считать достигнутыми.

Заключение

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

Список литературы диссертационного исследования кандидат технических наук Хлытчиев, Олег Игоревич, 2008 год

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.