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

• Михелев, Михаил Владимирович
• кандидат технических наук
• 2011

Оглавление диссертации кандидат технических наук Михелев, Михаил Владимирович

ВВЕДЕНИЕ.

1. ОБЗОР И АНАЛИЗ ПРОБЛЕМ ПРОЕКТИРОВАНИЯ ПРОГРАММНЫХ СИСТЕМ УПРАВЛЕНИЯ.

1.1. Обзор технологий проектирования программных систем управления.

1.2. Задачи и проблемы моделирования при проектировании программных систем управления.

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

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

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

Выводы по первому разделу.

2. ВЫБОР СРЕДСТВ РЕШЕНИЯ ПОСТАВЛЕННЫХ ЗАДАЧ.

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

2.2. Обоснование выбора математического аппарата для формального описания процессов.

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

3. ИССЛЕДОВАНИЕ И ФОРМАЛИЗАЦИЯ ВИЗУАЛЬНЫХ ГРАФОАНАЛИТИЧЕСКИХ МОДЕЛЕЙ ПРОЦЕССОВ УПРАВЛЕНИЯ.

3.1. Адаптация алгебраического аппарата ПИ-исчисления для формализации графоаналитической УФО-модели процесса управления.

3.1.1. Формализация основных конструкций процесса управления.

3.1.2. Алгебраический способ описания графоаналитических моделей процессов.

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

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

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

3.5. Разработка формализованного метода моделирования процессов управления.

Выводы по третьему разделу.

4. АПРОБАЦИЯ ФОРМАЛИЗОВАННОГО МЕТОДА МОДЕЛИРОВАНИЯ И АНАЛИЗА ПРОЦЕССОВ УПРАВЛЕНИЯ.

4.1. Применение формализованного метода моделирования и анализа при проектировании системы управления наружным освещением.

4.2. Проектирование основных модулей системы управления наружным освещением.

4.3. Анализ результатов применение формализованного метода моделирования процессов при проектировании системы управления наружным освещением.

Выводы по четвертому разделу.

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

Актуальность темы диссертации. Сложность процесса проектирования современных информационных программных систем (ИС), а также большая ответственность за их результаты, в частности в области систем управления (СУ), и слабая формализованность используемых средств и методов делают актуальным проведение исследований и разработок в области совершенствования средств и методов проектирования СУ. Одним из самых слабо формализованных этапов проектирования любой ИС является этап моделирования процессов, для автоматизации которых данная ИС и проектируется. Такое моделирование составляет основное содержание первоочередного этапа создания ИС - этапа анализа. Этот анализ проводится в соответствии с международным стандартом ИСО12207 (Жизненный цикл программного обеспечения). Главным средством проведения анализа является компьютерное системное моделирование с использованием средств системного анализа и визуальных графоаналитических моделей. Как известно, без визуальных графоаналитических моделей не обходится ни один проект по созданию программного обеспечения, что зафиксировано в международном стандарте.

В настоящее время стремительное развитие компьютерных технологий привело к значительному разрыву между быстро прогрессирующими способами практического анализа, визуального графического моделирования и проектирования сложных систем и медленно развивающимися методами их математического описания. Например, известные визуальные графоаналитические способы системно-структурного (ОИВ, ЮЕИ, АШБ и т.п.), а также объектного (иМЬ) моделирования систем управления и процессов управления, хотя и причисляются к числу формализованных, не дают возможности точно оценить, на сколько построенная модель системы соответствует выбранной спецификации (требованиям), т.е. не обеспечивают возможность формальной верификации модели.

Разнообразные методы и подходы к системному моделированию и проектированию сложных организационных и информационных систем разработаны в трудах отечественных и зарубежных ученых: Г.Буча, А.М.Вендрова, У.Гренандера, Г.Н.Калянова, Э.Квейда, С.И.Маторина, Дж.А.Милнера, А.Б.Петровского, Д.А.Поспелова, В.В.Репина, Д.Росса, С.В.Рубцова, Дж.Форрестера, Ю.Г. Карпова и других. Однако эти методы, из-за отсутствия формального описания визуальных моделей, не позволяют решать задачи верификации, проверки эквивалентности и сокращения числа состояний этих моделей. Что создает проблему при решении вопросов анализа, оптимизации и принятия решений в ходе проектирования СУ.

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

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

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

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

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

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

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

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

Объект и предмет исследования. Объект исследования - процесс проектирования программных СУ на этапе анализа процессов управления. Предмет исследования — средства моделирования и формализации процессов управления при проектировании программных СУ.

Методы исследования. Системный подход «Узел-Функция-Объект» (УФО-подход), системно-объектный анализ (УФО-анализ), алгебра процессов (ПИ-исчисление), пакет верификатор SPIN, темпоральная логика LTL, язык Promela.

Результаты, выносимые на защиту

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

2. Метод и алгоритм верификации графоаналитических моделей процессов управления.

3. Метод и алгоритм сокращения числа состояний графоаналитических моделей процессов управления.

4. Метод и алгоритм проверки эквивалентности графоаналитических моделей.

5. Формализованный метод системного моделирования и анализа процессов управления.

6. Применение визуальных и формализованных графоаналитических моделей процессов управления при проектировании программной СУ наружным освещением.

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

Научная новизна. Теоретически обоснованы и разработаны новый формализованный метод и алгоритм системного моделирования и анализа процессов управления' для проектирования программных СУ. Метод и алгоритм отличаются от существующих возможностью алгебраического описания визуальных графоаналитических моделей процессов управления, построенных с помощью системно-объектного подхода (в терминах «Узел-Функция-Объект» - УФО подход). Их использование позволяет повысить эффективность проектирования программных систем за счет возможности проведения анализа компьютерных визуальных графоаналитических моделей алгебраическими средствами путем верификации, проверки эквивалентности и сокращение числа состояний таких моделей.

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

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

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

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

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

Практическая значимость работы.

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

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

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

4. Формализованный метод системного моделирования и анализа процессов управления успешно применен при проектировании программной СУ наружным освещением путем построения и формализации визуальной графоаналитической (системно-объектной) модели процессов управления наружным освещением. Разработанная СУ наружным освещением показала свою эффективность и была успешна внедрена в семи областях РФ, в частности в Белгородской, Ярославской, Курской областях, городе Тамбове и в других в регионах.

Апробация работы.

Основные положения и результаты диссертационного исследования докладывались и обсуждались на Международной .научно технической интернет конференции «Информационные технологии в управлении и мЬделировании», Белгород 2006; VII Международной конференции «Информатика и моделирование» - Харьков 2008; III Всероссийская молодежная конференция по проблемам управления, - Москва 2008; 3-ей Международной конференции «Системный анализ и информационные технологии», Звенигород 2009, Недели науки в Белгородском государственном университете, Белгород 2009, 2010.

Данное диссертационное исследования поддержано грантом РФФИ № 10-07-00266.

На основании полученных результатов в ООО «Институт высоких технологий Белгородского государственного университета» автором получен акт об использовании результатов диссертационной работы.

По результатам исследований опубликовано 11 печатных работ, из них 4 в изданиях из списка ВАК РФ, получено 2 свидетельства о государственной регистрации ПО для ЭВМ.

Работа выполнена в Федеральном государственном автономном образовательном учреждении высшего профессионального образования «Белгородский государственный национальный исследовательский университет» (НИУ «БелГУ»), факультет компьютерных наук и телекоммуникаций, кафедра прикладной информатики.

Заключение диссертации по теме «Системный анализ, управление и обработка информации (по отраслям)», Михелев, Михаил Владимирович

Выводы по четвертому разделу

1. На основе изучения системы наружного освещения, построены компьютерный визуальные графоаналитические УФО-модели основных процессов управления.

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

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

ЗАКЛЮЧЕНИЕ

Теоретически обоснованы и разработаны новый формализованный метод и алгоритм системного моделирования и анализа процессов управления для проектирования программных СУ. Метод и алгоритм отличаются от существующих возможностью алгебраического описания визуальных графоаналитических моделей процессов управления, построенных с помощью системно-объектного подхода (в терминах «Узел-Функция-Объект» - УФО подход). Их использование позволяет повысить эффективность проектирования программных систем за счет возможности проведения анализа компьютерных визуальных графоаналитических моделей алгебраическими средствами путем верификации, проверки эквивалентности и сокращение числа состояний таких моделей.

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

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

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

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

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

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

Список литературы диссертационного исследования кандидат технических наук Михелев, Михаил Владимирович, 2011 год

1. Карабанов Б. Бизнес-инжиниринг. Не роскошь, а средство управления. // http:// www.intalev.ru

2. Кудрявцев Е.М. Исследование операций в задачах, алгоритмах и программах. -М.: Радио и связь, 1984. -184 с.

3. Слепцов А.И., Юрасов А.А. Автоматизация проектирования управляющих систем гибких автоматизированных производств./Под ред. В.Н.Малиновского. К.: Технжа, 1986. - 110 с.

4. Рубцов С. Какой CASE-инструментарий нанесет наименьший вред организации? // Директору информационной службы. 2002. №1 // http:// www. osp.ru/cio/2002/008.htm.

5. Трофимов С.А. CASE-технологии: практическая работа в RationalRose. М.: ЗАО «Издательство БИНОМ», 2001.

6. Маторин B.C., Маторин С.И., Полунин Р.А., Попов А.С. Знаниеориентированный CASE-инструментарий автоматизации UFO-анализа // Проблемы программирования. 2002. №1-2. С. 469-476.1ЕЕЕ Std 1209-1992.

7. IEEE Recommended Practice for the Evaluation and Selection of CASE Tools.

8. IEEE Std 1348-1995. IEEE Recommended Practice for the Adoption of Computer-Aided Software Engineering (CASE) Tools.

9. ISO/IEC 14102:1995(E). Information technology Guideline for the evaluation and selection of CASE Tools.

10. Кода Е.Ф. Реляционная модель данных для больших совместно используемых банков данных. СУБД # 1, 1995, с. 145-160.

11. Тандоев АЛО. Архитектура продуктов клиент-сервер фирмы Sybase. СУБД # 1, 1995, с. 62-69.

12. Chen P.P. The Entity-Relationship Model: Toward a Unified View of Data. ACM Transactions on Database Systems, vol.1., # 1, 1976.

13. Горин С.В., Тандоев А.Ю. Среда разработки приложений PowerBuilder. DBMS/RussianEdition, # 1, 1995.

14. С.В. Горин, А. Ю. Тандоев Применение CASE-средства ERwin 2.0 для информационного моделирования в системах обработки данных.

15. Ойхман Е.Г., Попов Э.В. Реинжиниринг бизнеса. М.: Финансы и статистика, 1997.

16. Менеджмент знаний в оборонном ведомстве / http:// center.dau.mil

17. Липаев В. Стандарты в области информационных технологий//Рс\уеек. -1998. -№24.

18. Кобёрн А. Современные методы описания функциональных требований к системам. М.: "Лори", 2002.

19. Паронджанов С.Д. Методология создания корпоративных ИС. www.citforum.ru

20. Волков О. Стандарты и методологии моделирования бизнес-процессов. Журнал Связьинвест. Выпуск 6.2005.

21. Вендров A.M., Современные технологии создания программного обеспечения. Обзор Информационный бюллетень Jetlnfo2004 г,

22. Ф. Брукс Мифический человеко-месяц или как создаются программные системы: Пер. с англ. — СПб.: Символ-Плюс, 1999

23. Якобсон А. Вуч Г. Унифицированный процесс разработки программного обеспечения 2002, СПб., "Питер"

24. Г. Буч Объектно-ориентированный анализ и проектирование с примерами приложений на С++. 2-е изд.: Пер. с англ. - М.: Издательство Бином, СПб.: Невский диалект, 1999

25. A.M. Вендров Проектирование программного обеспечения экономических информационных систем: Учебник. - М.: Финансы и статистика, 2000

26. X. Гома UML. Проектирование систем реального времени, распределенных и параллельных приложений.: Пер. с англ. - М.: ДМК, 2002

27. Э. Кармайкл , Д. Хейвуд Быстрая и качественная разработка программного обеспечения.: Пер. с англ. - М.: Вильяме, 2003

28. А. Коберн Быстрая разработка программного обеспечения.: Пер. с англ. -М.: ЛОРИ, 2002

29. Bauer F.L. Decrypted Secrets: Methods and Maxims of Cryptology. Fourth Edition 2006

30. Bauer F.L Sequential Formula Translation, Commun. ACM 3(2): 76-83 1960

31. Роберт Гласс . Факты и заблуждения профессионального программирования. Символ-Плюс, 2007

32. Павловская Т. А., Щупак Ю. А. С++. Объектно-ориентированное программирование: Практикум. СПб.: Питер, 2006

33. В.В. Липаев. Качество программных средств. Методические рекомендации. М.: «Янус-К». 2002. 298с.

34. Боэм Б.У. Инженерное проектирование программного обеспечения: Пер. с англ./Под ред. A.A. Красилова. М.:Радио и связь, 1985.

35. В.В. Липаев, А.И. Потапов. Оценка затрат на разработку программных средств. М.: Финансы и статистика. 1988

36. Владимир Рябикин SW-CMM. Модель зрелости процессов разработки программного обеспечении

37. С.А. Орлов. Технологии разработки программного обеспечения. Учебник для вузов. М., Санкт-Петербург: «Питер». 2002.

38. Г. Коллинз, Дж. Блей. Структурные методы разработки систем: от стратегического планирования до тестирования. М.: «Статистика», 1980. 260с.:ил.

39. Информационные системы в экономике. Под ред. Проф. В.В. Дика. Учебник для вузов, М., «Финансы и статистика». 1996. 270 с.

40. ЕлашкинМ. SAP Business One. Строим эффективный бизнес. ООО "Кудиц-пресс" 2007. - 236с.

41. Практические аспекты информатизации. Стандартизация, сертификация и лицензирование. Справочная книга руководителя. Под редакцией Л.Д. Реймана. М.: 2000. -259с.

42. В. И. Грекул, Г. Н. Денишенко, H. JI. Коровкина Проектирование информационных систем: курс лекций: учеб пособие для студентов вузов, обучающихся по специальностям в области информ. технологийМ.: Интернет-Ун-т Информ технологий -2005.304с.

43. Вендров А. М. Практикум по проектированию программного обеспечения экономических информационных систем: Учеб. пособие. — 2-е изд., перераб. и доп. М.: Финансы и статистика. 2006, 190с.

44. Маклаков C.B. Создание информационных систем с ALLFusionModelingSuite. Диалог-Мифи. 2003. 432 с

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

46. Буч Г.Коналлен Д.Максимчук Р.А.Хьюстон К.Энгл М.Янг Б.Объектно-ориентированный анализ и проектирование с примерами приложений. Вильяме. 2008, 720с.

47. Т. Кватрани — Визуальное моделирование с помощью Rational Rose 2002 и UML.: Пер. с англ. М.: Вильяме, 2003

48. К. Ларман — Применение UML и шаблонов проектирования. 2-е издание.: Пер. с англ. — М.: Вильяме, 2002

49. Д. Розенберг , К. Скотт ~ Применение объектно-ориентированного моделирования с использованием UML и анализ прецедентов.: Пер. с англ. -- М.: ДМК, 2002

50. М. Фаулер , К. Скотт — UML в кратком изложении. Применение стандартного языка объектного моделирования.: Пер. с англ. ~ М.: Мир, 1999

51. Т. Конноли , К. Бегг Базы данных: проектирование, реализация и сопровождение. Теория и практика. 3-е издание.: Пер. с англ. - М.: Вильяме, 2003

52. Д. Леффингуэлл , Д. Уидриг Принципы работы с требованиями к программному обеспечению. Унифицированный подход.: Пер. с англ. - М.: Вильяме, 2002

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

54. С.Р. Палмер , Дж.М. Фелсинг Практическое руководство по функционально-ориентированной разработке ПО.: Пер. с англ. - М.: Вильяме, 2002

55. ГОСТ Р ИСО 9127 94 «Системы обработки информации. Документация пользователя и информация на упаковке потребительских программных пакетов».

56. ГОСТ 34601 — 90. «Информационная технология. Комплекс стандартов на автоматизированные системы. Автоматизированные системы. Стадии создания».

57. ГОСТ 34601 89. «Информационная технология. Комплекс стандартов на автоматизированные системы. Техническое задание на создание автоматизированной системы».

58. ГОСТ 34601 92. «Информационная технология. Виды испытаний автоматизированных систем».

59. Джонстон М. Обнародована модель бизнес-процессов // http: // www. osp.ru/cw/2001 /10/02 l0.htm.

60. Колесников С. Методики моделирования в бизнесе // http:// .www. consulting.ru/main/ mgmt/texts/m3/032methodl .htm

61. Коберн А. Современные методы описания функциональных требований к системам.: Пер. с англ. М.: ЛОРИ, 2002.

62. Ойхман Е.Г., Попов Э.В. Реинжиниринг бизнеса: реинжиниринг организациии информационные технологии. М.: Финансы и статистика, 1997.

63. Беляев И.П., Капустян В.М. Системный анализ для разработки и внедрения информационных технологий.- М.: МГСУ, 2007.

64. Репин В.В., Елиферов В.Г. Процессный подход к управлению. Моделирование бизнес процессов. М.: РИА «Стандарты и качество», 2006, 405с.

65. Елиферов В. Г., Репин В. В. Бизнес-процессы: регламентация и управление-ИНФРА-М. 2005,319с

66. Верников Г. Основные методологии обследования организации. Стандарт IDEF0 // http:// www.consulting.ru/ main/ mgmt/texts/m7/079idef.shtml

67. Верников Г. Основные методологии обследования организации. Стандарт IDEF0 // http:// www.consulting.ru/ main/ mgmt/texts/m7/080idef.shtml

68. Кузнецов M. MDA новая концепция интеграции приложений. -«Открытые системы», №9, 2003.

69. Драган 3. Милошевич. Набор инструментов для управления проектами -Компания АйТи, ДМК пресс. 2008, 736 стр.

70. Кондратьев В. В., Кузнецов М. Н. Показываем бизнес-процессы Эксмо, 2008, 256с.

71. Август-Вильгельм Шеер. Моделирование бизнес-процессов. М: Весть-МетаТехнология, 2000, 222с

72. Тельнов Ю.В. Реинжиниринг бизнес-процессов (Учебное пособие) -Московский международный институт эконометрики, информатики, финансов и права. 2003, 99с.

73. Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов. -М.:Мир, 1981.-368 с.

74. Хачумов В.М., Юмагулов М.Г. Об оптимизации метода совмещения вычислительных процессов в специализированных устройствах. В кн.: Управление в сложных нелинейных системах. - М.: Наука, 1984.

75. Шеннон Роберт. Имитационное моделирование систем: искусство и наука -М.: Мир. 1978, 424с

76. Емельянов A.A., Власова Е.А., Дума Р.В. Имитационное моделирование экономических процессов: Учеб. Пособие. М.: Финансы и статистика. 2002, 368с

77. Карпов Ю. Имитационное моделирование систем. Введение в моделирование с AnyLogic 5 БХВ-Петербург. 2006, 400с

78. Томашевский В., Жданова Е. Имитационное моделирование в среде GPSS -Бестселлер. 2003, 416с

79. Тарасов В.Б. От многоагентных систем к интеллектуальным организациям: Философия, психология, информатика Едиториал УРСС, 2002, 352с

80. Cea Ж. Оптимизация. Теория и алгоритмы Мир, 1973, 244с

81. Саати Г.А. Элементы теории массового обслуживания и ее приложения. -М.: Советское радио, 1971.-520 с.

82. Федосин С.А. Практикум по GPSS/PS. -Саранск, 2001.

83. Быков С.П., Храмов A.A. Разработка моделей в системе моделирования GPSS.- Москва, МИФИ, 1998.

84. Методы параллельного микропрограммирования/ Под ред. О.Л.Бандман -Новосибирск, Наука, 1981. -180 с.

85. C.B. Черемных , И.О. Семенов , B.C. Ручкин Структурный анализ систем: IDEF-технологии. - М.: Финансы и статистика, 2001

86. C.B. Черемных, И.О. Семенов, B.C. Ручкин. Моделирование и анализ систем. I DEF-технологии: практикум М.: Финансы и статистика, 2006, 192с

87. Методология функционального моделирования IDEF0. Руководящий документ РДГОЕР0 2000. - М.: Госстандарт России, 2000.

88. ТК РБ 4.2-МР-05-2002. Методика и порядок работ по определению, классификации и идентификации процессов. Описание процессов на базе методологии IDEF 0. Методические рекомендации.-Мн.:БелГИСС, 2002.

89. Калянов Г.Н. Построение архитектуры предприятия//Корпоративные системы.-2005.-№3.

90. Дворников A. IDEF 0 как инструмент моделирования процессов//Авант Партнер.-2005.-№22.

91. Верников Г. Основы методологии IDEF1, IDEFIX, IDEF3, IDEF5 // http:// www.citforum.ru/ cfin/vernikov

92. Верников Г. Описание стандарта документирования технологических процессов IDEF3.

93. А.Н. Калашян , Г.Н. Калянов Структурные модели бизнеса: DFD-технологии. - М.: Финансы и статистика, 2003

94. М. Каменнова , А. Громов , М. Ферапонтов , А. Шматалюк Моделирование бизнеса. Методология ARIS. - М.: Весть-МетаТехнология, 2001

95. Ф. Крачтен Введение в RationalUnifiedProcess.: Пер. с англ. - М.: Вильяме,2002

96. Инструментарий ARIS. Методы. Весть МетаТехнология. 2000.

97. ВРМ для начинающих. Моделирование бизнеса с ARIS DesignPlatformPo6 Довис, Эрик Брабендер, Пер с англ., 2008. — 436 с.

98. Ильин В. В. Реинжиниринг бизнес-процессов с использованием ARIS -Вильяме, 2008, 256 с

99. Stephen A. White. BPMN. Modeling and reference guide ВРМ Focus, 2008

100. Официальная страница BPMN, страница OMG о BPMN http://www.bpmn.org/

101. Маторин С.И. Анализ и моделирование бизнес-систем: системологическаяобъектно-ориентированная технология / Предисл. Э.В. Попова. Харьков. ХНУРЭ, 2002. -322с.

102. Маторин С.И., Попов A.C., Маторин B.C. Моделирование организационных систем в свете нового подхода «Узел-Функция-Объект» // НТИ. Сер. 2. 2005. - №1. - С. 1-8.

103. Маторин С.И., Корзун С.С. Технологии компьютерного моделирования бизнес-систем: сравнительный анализ // Научные ведомости БелГУ. Серия Информатика и прикладная математика. 2006. - № 2 (31), вып.З. - С. 122-129.