Методы и алгоритмы проверки адекватности аналитических моделей организационной деятельности предприятия
Диссертация
Реализация и внедрение результатов работы. Программный комплекс опробован в курсе «Проектирование информационных систем» при подготовке студентов по специальности 80 801.65 «Прикладная информатика (по областям)», что подтверждается соответствующими актами внедрения информационной системы исследования и анализа бизнес-процессов, выданных Тюменским государственным университетом и Тюменской… Читать ещё >
Список литературы
- Дж. Питерсон. Теория сетей Петри и моделирование систем. / Дж. Питерсон- пер. с англ. -М.: Изд-во: «Мир», 1984. -264 е.: ил.
- А.А. Лескин. Сети Петри в моделировании и управлении. / А. А. Лескин, П. А. Мальцев, A.M. Спиридонов. Л.: Изд-во: «Наука», 1989. — 133 с.
- В. Hruz. Modeling and control of discrete-event dynamic systems: with Petri nets and other tools. / B. Hruz, M.C. Zhou. London: Publisher: «Springer-Verlag», 2007. — 340 pages.
- V. I. Marian. Supervisory Control of Concurrent Systems. A Petri Net Structural Approach. / V. I. Marian, P. J. Antsaklis. Birkhauser Boston, 2006. — 280 pages.
- P. J. Haas. Stochastic Petri nets: modelling, stability, simulation. / P. J. Haas. — New York: Publisher: «Springer-Verlag», 2002. — 509 pages.
- M.T. Wynn, H.M.W. Verbeek, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Business Process Verification: Finally a Reality! Business Process Management Journal (to appear), 2008. — 18 pages.
- Электронный ресурс. URL: http://is.tm.tue.nl/staff/wvdaalst/publications/zl9.pdf
- A. Karatkevich. Dynamic Analysis of Petri Net-Based Discrete Systems. / A. Karatkevich. Berlin: Publisher: «Springer-Verlag», 2007. — 170 pages.
- Т. Murata. Petri nets: properties, analysis and applications. / T. Murata. Proceedings of the IEEE, 77:541−580, April 1989. 40 pages.
- R. David. Discrete, Continuous, and Hybrid Petri Nets. / R. David, H. Alia. -Berlin: Publisher: «Springer-Verlag», 2005. 540 pages.
- C.Jl. Блюмин. Дискретное моделирование систем автоматизации и управления: монография / C.JT. Блюмин, A.M. Корнеев- Липецкий эколого-гуманит. ин-т. Липецк: Издательство: «ЛЭГИ», 2005. — 124 е.- библиогр. с. 121−123.
- Е. Kindler. High-level Petri Nets — Transfer Format. / E. Kindler. — Working Draft Version 0.5.0 of the International Standard ISO/IEC 15 909 Part 2- University of Paderborn, November 8, 2004.
- J. Billington. The Petri Net Markup Language: Concepts, Technology, and Tools. / J. Billington, S. Christensen, K. van Нее, E. Kindler, O. Kummer, L. Petrucci, R. Post, C. Stehno, Michael Weber. Netherlands, 2003.
- M. Jiingel. The Petri Net Markup Language. / M. Jiingel, E. Kindler, M. Weber. Germany, 2000.
- V. Kordic. Petri Net: Theory and Applications. / V. Kordic. Publisher: «I-Tech Education and Publishing», 2008. — 544 pages.
- Ф. Крачтен. Введение в Rational Unified Process. 2-ое изд. / Ф. Крачтен: пер. с англ. — М.: Издательский дом «Вильяме», 2002. — 240 е.: ил. — Парал. тит. англ.
- Электронное справочное руководство Rational Unified Process Version 7.0 Copyright © IBM Corporation 1987, 2005.
- В.В. Репин. Процессный подход к управлению. Моделирование бизнес-процессов. / В. В. Репин, В. Г. Елиферов. М.: Изд-во: РИА «Стандарты и качество», 2008. — 408 е.: ил.
- В.Г. Елиферев. Бизнес-процессы: Регламентация и управление. / В. Г. Елиферев, В. В. Репин. -М.: Изд-во: «ИНФА-М», 2009. 320 с.
- B.B. Репин. Бизнес-процессы компании. Построение, анализ, регламентация. / В. В. Репин. — М.: Изд-во: РИА «Стандарты и качество», 2007.-240 е.: ил.
- С.В. Черемных. Структурный анализ систем: IDEF-технологии / С. В. Черемных, И. О. Семенов, B.C. Ручкин. М.: Изд-во: «Финансы и статистика», 2003. — 208 е.: ил.
- С.В. Черемных. Моделирование и анализ систем. IDEF-технологии: практикум / С. В. Черемных, И. О. Семенов, B.C. Ручкин. М.: Изд-во: «Финансы и статистика», 2006. — 192 е.: ил.
- О.С. Черемных. Стратегический корпоративный реинжиниринг: процессно-стоимостной подход к управлению бизнесом. / О. С. Черемных, С. В. Черемных. — М.: Изд-во: «Финансы и статистика», 2005. — 736 е.: ил.
- А.Н. Калашян. Структурные модели бизнеса: DFD-технологии- под ред. Г. Н. Калянова. / А. Н. Калашян, Г. Н. Калянов М.: Изд-во: «Финансы и статистика», 2003. — 256 е.: ил.
- Г. Н. Калянов. CASE-технологии: консалтинг в автоматизации бизнес-процессов. 3-е изд. / Г. Н. Калянов. — М.: Изд-во: «Горячая линия — Телеком», 2002. 320 с.
- Г. Н. Калянов. Консалтинг при автоматизации предприятий. Подходы, методы, средства. / Г. Н. Калянов. М.: Издательство: «СИНЕГ», 1997. — 316 с.
- Г. Н. Калянов. Моделирование, анализ, реорганизация и автоматизация бизнес-процессов. / Г. Н. Калянов. — М.: Изд-во: «Финансы и статистика», 2006. 240 с.
- Г. Н. Калянов. Консалтинг: от бизнес-стратегии к корпоративной информационно-управляющей системе. / Г. Н. Калянов. — М.: Изд-во: «Горячая Линия Телеком», 2004. — 208 с.
- Д.А. Марка. Методология структурного анализа и проектирования SADT. / Д. А. Марка, К. МакГоуэн М.: Изд-во: «Весть-МетаТехнология», 1993. -240 с.
- С.В. Маклаков. BP Win и ERWin. CASE-средства разработки информационных систем. / С. В. Маклаков. — М.: Изд-во: «Диалог МИФИ», 2000.-256 с.
- С.В. Маклаков. Создание информационных систем с AIIFusion Modeling Suite. / С. В. Маклаков. М.: Издательство: «Диалог — МИФИ», 2007. — 432 с.
- С.В. Маклаков. Моделирование бизнес-процессов с AIIFusion Process Modeler. / С. В. Маклаков. М.: Изд-во: «Диалог — МИФИ», 2004. — 240 с.
- Г. Буч. UML. Классика CS. 2-ое изд. / Г. Буч, А. Якобсон, Дж. Рамбо: пер. с англ.- Под общей редакцией проф. С. Орлова — СПб.: Изд-во: «Питер», 2006.-736 е.: ил.
- Г. Буч. Язык UML. Руководство пользователя. 2-е изд. / Г. Буч, Д. Рамбо, И. Якобсон.: пер. с англ. Мухин Н. М.: Изд-во: «ДМК Пресс», 2007. — 496 е.: ил.
- Г. Буч. Язык UML. Руководство пользователя. / Г. Буч, Д. Рамбо, А. Джекобсон: пер. с англ. Слинкин А. А. 2-е изд., стер. М.: Изд-во: «ДМК Пресс" — СПб.: Изд-во: «Питер», 2004,-432 е.: ил.
- Д. Рамбо. UML. Специальный справочник. / Д. Рамбо, А. Якобсон, Г. Буч.- СПб.: Изд-во: «Питер», 2002. 656 с.
- Д. Рамбо. UML 2.0. Объектно-ориентированное моделирование и разработка. 2-ое изд. / Д. Рамбо, М. Блаха. СПб.: Изд-во: «Питер», 2007 -544 с. ил.
- А. Якобсон. Унифицированный процесс разработки программного обеспечения. / А. Якобсон, Г. Буч, Д. Рамбо. СПб.: Изд-во: «Питер», 2002,496 е.: ил.
- Г. Поллис. Разработка программных проектов: на основе Rational Unified Process (RUP). / Г. Поллис, JT. Огастин, К. Лоу, Д. Мадхар. М.: Изд-во: ООО «Бином-Пресс», 2005 г. — 256 е.: ил.
- И.В. Воинов. Моделирование экономических систем и процессов. Опыт построения ARIS-моделей. / И. В. Войнов, С. Г. Пудовкина, А. И. Телегин: монография. Челябинск: Изд-во: «ЮУрГУ», 2002. — 392 с.
- М. Каменнова. Моделирование бизнеса. Методология ARIS. Практическое руководство. / М. Каменнова, А. Громов, М. Ферапонтов, А. Шматалюк. — М.: Изд-во: «Весть-МетаТехнология», 2001. — 327 с.
- В. В. Ильин. Реинжиниринг бизнес-процессов с использованием ARIS. 2-ое изд. / В. В1 Ильин. — М.: Издательский дом «Вильяме», 2008. 256 е.: ил.
- А.-В. Шеер. Бизнес-процессы. Основные понятия. Теория. Методы. / А.-В. Шеер. М.: Изд-во: «Весть — МетаТехнология», 1999. — 152 с.
- А.-В. Шеер. Моделирование бизнес-процессов. 2-ое изд. / А.-В. Шеер.: пер. с англ. — М.: Изд-во: «Весть — МетаТехнология», 1999. — 206 с.
- А.-В. Шеер. ARIS моделирование бизнес-процессов. / А.-В. Шеер. — М.: Издательский дом «Вильяме», 2009. — 224 с.
- Б. Андерсен. Бизнес-процессы. Инструменты совершенствования. / Б. Андерсен: пер. с англ. С. В. Ариничева / Науч. ред. Ю. П. Адлер. М.: РИА «Стандарты и качество», 2007. — 272 е.: ил.
- М. Робсон. Практическое руководство по реинжинирингу бизнес-процессов. / М. Робсон, Ф. Уллах: пер. с англ. под ред. Н. Д. Эриашвили. -М.: Изд-во: «Аудит, ЮНИТИ», 2003.-224 с.
- Н.М. Абдикеев. Реинжиниринг бизнес-процессов. Полный курс MB А: Учебник / Н. М. Абдикеев, Т. П. Данько, С. В. Ильдеменов, А. Д. Киселев.: под ред. Н. М. Абдикеев, Т. П. Данько. М.: Изд-во: «Эксмо», 2005. — 592 с. ил.
- A.M. Вендров. Проектирование программного обеспечения экономических информационных систем: Учебник. — 2-ое изд., перераб. и доп. / A.M. Вендров. М.: Изд-во: «Финансы и статистика», 2006. — 544 с: ил.
- Вендров А. М. Практикум по проектированию программного обеспечения экономических информационных систем: Учеб. пособие. — 2-ое изд., перераб. и доп. / A.M. Вендров. — М.: Изд-во: «Финансы и статистика», 2006. 192 с: ил.
- Л.А. Мацяшек. Анализ требований и проектирование систем. Разработка информационных систем с использованием UML. / Л. А. Мацяшек: пер. с англ. М.: Издательский дом «Вильяме», 2002. — 432 е.: ил. — Парал. тит. англ.
- Л.А. Мацяшек. Анализ и проектирование информационных систем с помощью UML 2.0. / Л. А. Мацяшек: пер. с англ. — М.: Издательский дом «Вильяме», 2008. — 816 е.: ил. — Парал. тит. англ.
- Д. Шафер. Управление программными проектами: достижение оптимального качества при минимуме затрат. / Д. Шафер, Ф. Фатрелл. Р. Шафер. И. Линда: пер. с англ. — М.: Издательский дом «Вильяме», 2003. — 1136 е.: ил. Парал. тит. англ.
- JI. Фишер. Совершенство на практике. Лучшие проекты в области управления бизнес-процессами и workflow. / Л. Фишер: пер. с англ. — М.: Изд-во: «Весть МетаТехнология», 2000. — 432 с.
- М. Хаммер. Реинжиниринг корпорации. Манифест революции в бизнесе. / М. Хаммер, Д. Чампи: пер. с англ. Ю. Е. Корнилович. — М.: Изд-во: «Манн, Иванов и Фербер», 2007. 287 с.
- Ю.Ф. Тельнов. Реинжиниринг бизнес-процессов. Компонентная методология. 2-ое изд., перераб. и доп. / Ю. Ф. Тельнов. М.: Изд-во: «Финансы и статистика», 2005. — 320 е.: ил.
- Э. Брауде. Технология разработки программного обеспечения. / Э. Брауде: пер. с англ. СПб.: Изд-во: «Питер», 2004. — 655 е.: ил.
- Б.У. Боэм. Инженерное проектирование программного обеспечения. / Б. У. Боэм: пер. с англ. под ред. А. А. Красилова. М.: Изд-во: «Радио и связь», 1985. -512 с.
- B.C. Анфилатов. Системный анализ в управлении: Учеб. пособие / B.C. Анфилатов, А. А. Емельянов, А.А. Кукушкин- под ред. А. А. Емельянова. -М.: Изд-во: «Финансы и статистика», 2002. 368 е.: ил.
- X. Таха. Введение в исследование операций, 7-е издание. / X. Таха: пер. с англ. М.: Издательский дом «Вильяме», 2005. — 912 е.: ил. — Парал. тит. англ.
- Д. Хопкрофт. Введение в теорию автоматов, языков и вычислений, 2-ое изд. / Д. Хопкрофт, Р. Мотвани, Д. Ульман: пер. с англ. — М.: Издательский дом «Вильяме», 2008. — 528 е.: ил. — Парал. тит. англ.
- Б.А. Трахтенброт. Конечные атоматы (поведение и синтез). / Б. А. Трахтенброт, Я. М. Барздинь. М., 1970. — 400 е.: ил.
- Т. Кормен. Алгоритмы: построение и анализ, 2-е изд. / Т. Кормен, Ч. Лейзерсон, Р. Ривест, К. Штайн- пер. с англ. — М.: Издательский дом «Вильяме», 2007. — 1296 е.: ил. — Парал. тит. англ.
- В.Е. Гмурман. Теория вероятностей и математическая статистика. Учеб. Пособие для вузов. Изд. 5-е, перераб. и доп. М.: Изд-во: «Высш. школа», 1977.-479 е.: ил.
- Е.М. Лаврищева. Методы и средства инженерии программного обеспечения: учебник. / Е. М. Лаврищева, В. А. Петрухин. — М., 2006. — 304 с.
- ГОСТ Р 50.1.028−2001 Информационные технологии поддержки жизненного цикла продукции. Методология функционального моделирования. М.: Госстандарт России, 2001.
- ГОСТ Р ИСО 9000−2001 Системы менеджмента качества. Основные положения и словарь. М.: Госстандарт России, 2001.
- ГОСТ Р ИСО 9001−2001 Системы менеджмента качества. Требования. -М.: Госстандарт России, 2001.
- ГОСТ Р ИСО/МЭК 12 207−99 Информационная технология. Процессы жизненного цикла программных средств. М.: Госстандарт России, 2000.
- ГОСТ Р ИСО/МЭК 15 288−2005 Информационная технология. Системная инженерия. Процессы жизненного цикла систем. — М.: Стандартинформ, 2006.
- Л.И. Лопатников. Экономико-математический словарь. Электронный ресурс] URL: http://slovari.yandex.ru/dict/lopatnikov82. PNML. Электронный ресурс]
- URL: http://woped.ba-karlsruhe.de/woped/PNML
- Workflow Nets. Электронный ресурс]
- URL: http://woped.ba-karlsruhe.de/woped/WorkflowNets
- Petri Net Markup Language. Электронный ресурс] URL: http://www.informatik.hu-berlin.de/top/pnml/pnml.html
- Википедия свободная энциклопедия: Petri net. Электронный ресурс]
- URL: http://en.wikipedia.org/wiki/Petrinet
- Википедия свободная энциклопедия: IDEFO. Электронный ресурс] URL: http://rn.wikipedia.org/wiki/IDEFO- http://en.wikipedia.org/wiki/rDEFO
- IDEFO method report, KBSI Inc. Электронный ресурс] URL: http://idefinfo.ru/content/view/26/48/
- Википедия свободная энциклопедия: Data flow diagram. Электронный ресурс]
- URL: http://ru.wikipedia.org/wiki/DFD URL: http://en.wikipedia.org/wiki/Dataflowdiagram
- Википедия свободная энциклопедия: ARIS. Электронный ресурс] URL: http://ru.wikipedia.org/wiki/MeToдологияАШ8
- Википедия свободная энциклопедия: IDEF3. Электронный ресурс] URL: http://ru.wikipedia.org/wiki/IDEF3
- IDEF3 method report, KBSI Inc. Электронный, ресурс] URL: http://idefmfo.rU/content/view/29/5 Г/
- Create a basic flowchart. Электронный ресурс]
- URL: http://office.microsoft.com/en-us/visio/HP012077271033.aspx
- Create a cross-functional flowchart. Электронный ресурс] URL: http://office.microsoft.com/en-us/visio/HP829000291033.aspx
- IDEFO, Basic Flowchart, Cross Functional Flowchart, Event-Driven Process Chain Business Stud. Электронный ресурс]
- URL: http://www.businessstudio.ru/description/standards/
- Методика «Проектирование системы управления». Электронный ресурс] URL: http:// businessstudio.ru/files/metodikaproektsistemyupravleniya.doc
- CASE-средства (моделирование). Электронный ресурс]-URL: http://www.interface.ru/home.asp?artId=48&cId=l
- Википедия свободная энциклопедия: Бизнес-моделирование. Электронный ресурс]
- URL: http://ш.wikipedia.org/wiki/Moдeлиpoвaниeбизнec-пpoцeccoв
- Функционально-стоимостной анализ и имитационное моделирование — Business Studio. Электронный ресурс}
- URL: http://www.businessstudio.ru/procedures/business/fsaimitacia/
- Basic Flowchart. Электронный ресурс]
- URL: http://www.edrawsoft.com/Basic-Flowcharts.php
- Flow Chart Definition. Электронный ресурс]
- URL: http://www.edrawsoft.com/ Flowchart-Definition.php
- Cross-Functional Flowchart. Электронный ресурс] «
- URL: http://www.edrawsoft.com/Cross-Functional-Flowcharts.php
- Википедия свободная энциклопедия: Блок-схема. Электронный ресурс] URL: http ://ru.wikipedia. org/wiki/Бло к-схема
- Википедия свободная энциклопедия: Система массового обслуживания-Электронный ресурс]
- URL: http://ш.wikipedia.org/wiki/Cиcтeмaмaccoвoгooбcлyживaния
- Википедия свободная энциклопедия: Конечный автомат Электронный ресурс]
- URL: http://en.wikipedia.org/wiki/Finitestatemachine
- Википедия свободная энциклопедия: Ментальный образ. Электронный ресурс]
- URL: http://ru.wikipedia.org/wiki/Mem^bhbrao6pa3
- Исполнение моделей при помощи виртуальной машины. Электронный ресурс]
- URL: http://www.citforum.ru/SE/project/models/
- А.Г. Ивашко, М. В. Григорьев, И. И. Коломиец. Проектирование информационных систем: Учебно-метод. пособ. Тюмень. Изд-во ТюмГУ, 2007.-328 с.
- А.Г. Ивашко, И. И. Коломиец. Возможность применения аппарата сетей Петри для валидации анализа бизнес-процессов // Вестник ТюмГУ. — 2008. -№ 6. — Тюмень. Изд-во ТюмГУ — С. 159−165.
- И.И. Коломиец. Валидация анализа бизнес-процессов // Математическое ш информационное моделирование. Сбор. науч. тр. Вып. 10. Тюмень. Изд-во «Вектор Бук», 2008. — С. 125−135.
- И.И. Коломиец, А. Г. Ивашко, М. В. Григорьев, Р. Н. Хамидулин. Свидетельство о государственной регистрации программы для ЭВМ № 2 006 613 029. Специализированный учебный программный комплекс «Виртуальная среда исследования бизнес-процессов» от 30.08.2006.
- И.И. Коломиец, Ю. В. Бондаренко. Свидетельство о государственной регистрации программы для ЭВМ № 2 008 613 946 «Формирование бизнес-процессов предметной области» (СВР) от 19.08.2008.
- И.И. Коломиец, Е. А. Нифонтова. Свидетельство о государственной регистрации программы для ЭВМ № 2 008 613 947 «Репозиторий предметных областей» (RSA) от 19.08.2008.
- И.И. Коломиец, Г. С. Жаравин. Свидетельство о государственной регистрации программы для ЭВМ № 2 009 610 851 «Модуль визуализации концептуального представления бизнес-процесса» от 06.02.2009.