Разработка диаграммно-сетевого метода синтеза структур интерактивных систем тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Болонкин, Андрей Владимирович

• Болонкин, Андрей Владимирович
• кандидат технических наук
• 2008

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

ВВЕДЕНИЕ

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

СТРУКТУР ИНТЕРАКТИВНЫХ СИСТЕМ

1.1. Понятие интерактивной системы.

1.2. Критерии оценки качества интерактивных систем.

1.3. Понятие структуры интерактивной системы.

1.4. Синтез структуры интерактивной системы.

1.5. Обзор методов проектирования структур интерактивных систем

1.5.1. Неформальный подход

1.5.2. Формальный подход.

1.6. Требования к методу синтеза.

Введение диссертации (часть автореферата) на тему «Разработка диаграммно-сетевого метода синтеза структур интерактивных систем»

Актуальность исследования

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

Значительный вклад в решение проблем проектирования программных систем (в т. ч. ИС) внесли Г. Буч (G. Booch) [7, 8], Б. В. Боэм (В. W. Boehm), П. Коуд (P. Coad) и Э. Йордон (Е. Yourdon), известны работы Г. Сторрле (Н. Storrle) [72, 73, 74], У. Ван дер Аальста (W. М. P. van der Aalst) [36]. В отечественной науке проблемы синтеза структур систем рассмотрены в работах Е. И. Артамонова [3, 4], В. В. Кульбы [15, 18, 26], В. В. Липаева [13, 14], А. Д. Цвиркуна [15, 31], А. А. Шалыто [10, 32], С. А. Юдицкого [34].

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

Цель работы

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

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

Задачи исследования:

1. Исследование механизмов построения сложных ИС, современных методов их проектирования и проблем, возникающих при проектировании.

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

3. Создание инструментальных средств, позволяющих проектировать ИС на основе разработанного диаграммно-сетевого метода синтеза.

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

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

Научная новизна работы

1. Впервые для данного рода задач на основе UML, IDEF0 и сетей Петри разработаны структурные модели ИС, позволяющие отобразить и систематизировать варианты их структур.

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

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

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

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

1. На основе разработанного метода синтеза созданы инструментальные средства для автоматизации проектирования структур ИС.

2. Представленные в диссертации результаты использованы для научно обоснованного построения структур ИС и поиска их наилучших вариантов в ряде проектов:

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

• при разработке программных средств «Клиент системы учета рабочего времени» и «Синхронизатор КУС — MS Project» в ЗАО «Компания Безопасность».

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

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

• Модели представления структур ИС, основанные на графической нотации диаграмм деятельности UML, предоставляющие возможности отображения и систематизации вариантов структур.

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

• Алгоритмы и программная реализация инструментальных средств для автоматизации анализа и синтеза структур систем различного назначения.

Реализация результатов работы

Полученные в диссертации результаты и программное обеспечение были применены в ЗАО «Компания Безопасность» при разработке программных средств «Клиент системы учета рабочего времени» и «Синхронизатор КУС — MS Project» (подтверждено актами о внедрении).

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

Положения диссертационной работы докладывались и обсуждались на IV, V, VI и VII международных конференциях «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта. CAD/CAM/PDM» (Москва: ИПУ РАН, 2004, 2005, 2006, 2007), Всероссийской научно-практической конференции с международным участием «Современная кардиология: наука и практика» (СПб: СПбГМА, 2007), XXXIV международной конференции «Информационные технологии в науке, социологии, экономике и бизнесе IT+S&E'07» (Гурзуф: 2007), XV международной конференции «Новые информационные технологии в медицине, биологии, фармакологии и экологии 1Т+М&Ес'07» (Гурзуф: 2007).

Публикации

Основные результаты работы опубликованы в 12 печатных работах, из которых 2 статьи (среди них 2 статьи по списку ВАК).

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

В первой главе рассмотрены основные понятия проектирования и моделирования ИС, приведены классификации ИС с точки зрения области применения и с точки зрения связи с внешними устройствами. Рассмотрены вопросы качества ПО, способы и критерии его оценки. Отдельно выделено понятие структуры программной системы и связь структуры системы с ее качеством. Рассмотрены принципы построения структуры программных систем на основе оценки компонентов систем. Проведен обзор методов моделирования программных систем, среди которых выделен неформальный (Flow-charts, DFD, IDEF-SADT, ЕРС, UML, SysML) и формальный подход (теории множеств и графов, конечные автоматы, сети Петри, формальные спецификации). На основе исследования методов моделирования программных систем и анализа работ определены требования к методу синтеза структур систем.

Во второй главе разработан диаграммно-сетевой метод синтеза структур ИС, отличающийся одновременным применением формального и неформального подходов, детальным учетом свойств объектов информации ИС, использованием стандартной нотации диаграмм деятельности UML для отображения- алгоритма функционирования ИС и многокритериальной оценки параметров ИС для выбора ее наилучшей структуры. Сформулированы механизмы построения структур ИС на основе анализа параметров объектов и процессов системы, а также многокритериальной оценки вариантов структур в совокупности с использованием методологии исследования пространства вариантов (Design Space Exploration — DSE), нечеткой А-меры и дискретного интеграла Шоке.

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

В третьей главе проведен анализ разработанного метода синтеза, сравнение его с другими методами, показаны его сильные и слабые стороны, определены возможности его применения. Также показана необходимость разработки инструментальных средств проектирования структур сложных ИС на основе диаграммно-сетевого метода синтеза и описано разработанное программное средство для автоматизации такого проектирования. Кроме того, приведены примеры проектирования структур некоторых программных средств — «Клиент системы учета рабочего времени» и «Синхронизатор КУС — MS Project», разработанных в ЗАО «Компания Безопасность», Описаны механизмы работы данных систем, приведено детальное изложение шагов метода синтеза при их проектировании.

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

В заключении приведены общие выводы по диссертационной работе.

Приложения содержат диаграммы и описания классов метода синтеза, диаграммы деятельности для программных систем, описанных в работе (Синтезатор, Система реконструкции кровеносных сосудов), а также акты о внедрении разработанных ИС.

Структура и объем работы

Диссертация состоит из введения, 4 глав, заключения, списка литературы и приложений. Общий объем диссертации составляет 167 е., основного текста — 144 е., включая 45 рисунков и 33 таблицы. Список литературы состоит из 79 наименований.

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Болонкин, Андрей Владимирович

4.4. Основные выводы главы 4

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

2. Проведено исследование и реализация ряда методов обработки изображений для распознавания кровеносных сосудов. Среди них:

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

- методы сегментации (сегментация по общему порогу, адаптивная пороговая сегментация, оператор Робертса, оператор Собела, метод Превитта, лапласиан гауссиана, метод Кэнни);

- методы фильтрации (медианный фильтр, фильтр Kuwahara, утончение);

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

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

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

4. Проведено исследование и реализация ряда методов объемной визуализации трубчатых поверхностей (применение библиотеки GLE, визуализация с помощью примитивов OpenGL). В результате исследования для каждой реализации получена оценка характеристик.

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

ЗАКЛЮЧЕНИЕ

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

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

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

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

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

5. На основе разработанного диаграммно-сетевого метода синтеза создан набор инструментальных средств под названием «Синтезатор» для анализа и синтеза структур систем. Синтезатор обладает интуитивным пользовательским интерфейсом и позволяет автоматизировать основные шаги процесса проектирования систем при помощи диаграммно-сетевого метода синтеза.

6. С применением диаграммно-сетевого метода синтеза показаны новые возможности проектирования систем на примерах системы реконструкции ОГМ кровеносных сосудов, программных средств Контрольно-учетной системы в ЗАО «Компания Безопасность», а также на примерах из областей помимо разработки программного обеспечения.

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

1. Абакаров А. Ш., Сушков Ю. А. Программная система поддержки принятия решений «MPRIORITY 1.0» // Исследовано в России. Электрон. науч. журн. — Долгопрудный, МФТИ, 2005. — Режим доступа: http: / / zhurnal.ape.relarn.ru / articles /2005/207.pdf.

2. Алгоритмы и методы. Графы. Поиск маршрутов Электронный ресурс. — Режим доступа: http://algolist.manual.ru/maths/graphs.

3. Артамонов Е. И., Хачумов В. М. Синтез структур специализированных средств машинной графики. — М.: ИПУ РАН, 1991.

4. Арчибальд Р. Д. Управление высоко-техпологичными программами и проектами. — М.: ДМК Пресс, 2004.

5. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++. — М.: Бином, 1998. — 560 с.

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

7. ГОСТ Р ИСО/МЭК 12207-99. Информационная технология. Процессы жизненного цикла программных средств. Государственный стандарт Российской Федерации, 1999. — Госстандарт России. Москва, 2000.

8. Гуров В., Нарвский А., Шалыто А. Исполняемый UML из России // «PC Week/RE». №26, 2005. С. 18-19.

9. Зайцев Д. А. Декомпозиция сетей Петри // Кибернетика и системный анализ, №5, 2004. С. 131-140.

10. Котов В. Е. Сети Петри. М.: Наука, 1984. — 160 с.

11. Липаев В. В. Выбор и оценивание характеристик качества программных средств: методы и стандарты. М.: СИНТЕГ, 2001. — 228 с. — (Информационные технологии).

12. Липаев В. В. Системное проектирование сложных программных средств для информационных систем. М.: СИНТЕГ, 2002. — 268 с. — (Управление качеством).

13. Мамиконов А. Г., Цвиркун А. Д., Кульба В. В. Автоматизация проектирования АСУ. — М.: Эпергоиздат, 1981.

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

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

16. Оптимальные модульные системы реального времени (анализ и синтез) / Кузнецов Н. А., Кульба В. В., Косяченко С. А. и др. — М.: ИППИ РАН, 1994.

17. Орлик С. Введение в программную инженерию и управление жизненным циклом ПО Электронный ресурс. — 2005. — Режим доступа: http: / / software-testing.ru/lib / se.

18. Питерсон Дж. Теория сетей Петри и моделирование систем: Пер. с англ. М.: Мир, 1984. — 264 с.

19. Путятин Е. П., Аверин С. И. Обработка изображений в робототехнике. — М: Машиностроение, 1990. — 320 с.

20. Раскин Дж. Интерфейс: новые направления в проектировании компьютерных систем. — М.: Символ-плюс, 2005. — 272 с.

21. Саати Т. Принятие решений. Метод анализа иерархий. — М.: Радио и связь, 1993. — 316 с.

22. Садовский В. Н. Основания общей теории систем: логико-методологический анализ. — М., 1974.

23. Самойлин Е. А. Оценка эффективности программных методов обработки изображений // Програм. продукты и системы. — 2003. №4. — С. 34-37.

24. Теоретические основы проектирования информационно-управляющих систем космических аппаратов / Кульба В. В., Микрин Е. А., Павлов Б. В., Платонов В. Н.; под. ред. Микрина Е. А.; Ин-т проблем упр. им. В. А. Трапезникова РАН. — М.: Наука, 2006. — 579 с.

25. Тодорой Д. Н. Расширяемые средства машинной графики / Под ред. С. Я. Виленкина. — М.: Радио и связь, 1983. — 208 с.

26. Толковый словарь русского языка. Под редакцией Д. Н. Ушакова. — ACT. Астрель, 2000.

27. Трахтенгерц Э. А. Введение в теорию анализа и распараллеливания программ ЭВМ в процессе трансляции. — М.: Наука, 1981. — 256 с.

28. Фиошин М. Основы р-исчисления Электронный ресурс. — Режим доступа: http://progr.tsi.lv/research/picalc.pdf.

29. Цвиркун А. Д. Основы синтеза структуры сложных систем. — М.: Наука, 1982.

30. Шалыто А. А. Switch-технология. Алгоритмизация и программирование задач логического управления. — СПб.: Наука, 1998. — 628 с.

31. Юдицкий С. А., Мачергут В. 3. Логическое управление дискретными процессами. — М.: Машиностроение, 1992.

32. A model based method for retinal blood vessel detection / Vermeer K. A. et al. // Computers in Biology and Medicine, 2004, #34. — P. 209-219.

33. Aalst, W. M. P. van der. The Application of Petri Nets to Workflow Management // The Journal of Circuits, Systems and Computers, 8(1), 1998. P. 21-66.

34. Blood vessel segmentation using moving-window robust automatic threshold selection / Wilkinson M. H. F. et al. IEEE, 2003.

35. Chaudhuri S., Blythe S. A., Walker R. A. A Solution Methodology for Exact Design Space Exploration in a Three-Dimensional Design Space // IEEE Transactions on very large scale integration (VLSI) systems, Vol. 5, No. 1, March 1997.

36. Dumke R. R., Foltin E. Metrics-based Evaluation of Object-Oriented Software Development Methods. — University of Magdeburg, 1996.

37. Eisenmann H., U'Ren J. SysML — OMG's upcoming standard for a standardized systems modeling language // 6th NASA ESA Workshop on Product Data Exchange. — Friedrichshafen, 2004.

38. Erbas C. System-Level Modeling and Design Space Exploration for Multiprocessor Embedded System-on-Chip Architectures : PhD dissertation. — Amsterdam University Press, 2006.

39. Features for Automatic Pulmonary-Embolism Detection / Bouma H., Vilanova A., Quist M. J. et al. — Technische Universiteit Eindhoven, 2004.

40. Fuller R., Carlsson C. Fuzzy multiple criteria decision making: Recent developments // Fuzzy Sets and Systems, 78. — 1996. — P. 139-153.

41. Ganesan S., Prevostini M. Bridging the Gap between SysML and Design Space Exploration. University of Lugano, Switzerland, 2006.

42. Garmendia L. The Evolution of the Concept of Fuzzy Measure. — Universidad Complutense of Madrid, 2006.

43. Grabisch M., Roubens M. Application of the Choquet Integral in Multicriteria Decision Making // Fuzzy Measures and Integrals — Theory and Applications. — Physica Verlag, 2000. — P. 415-434.

44. Hyatt L. E., Rosenberg L. H. A Software Quality Model and Metrics for Identifying Project Risks and Assessing Software Quality. — NASA's Goddard Space Flight Center, 1996.

45. Hypermedia Image Processing Reference Электронный ресурс. / Fisher R., Perkins S., Walker A., Wolfart E. — University of Edinburgh, 2004. — Режим доступа: http://homepages.inf.ed.ac.uk/rbf/HIPR2.

46. IDEF3 Process Description Capture Method Report. — Knowledge Based Systems, Inc., 1995.

47. IEEE Standard for a Software Quality Metrics Methodology (IEEE Std 1061-1998). IEEE, 1998.

48. Integration Definition for Function Modeling (IDEF0). Federal Information Processing Standards Publication. — Knowledge Based Systems, Inc., 1993. 128 p.

49. ISO/IEC 9126-1:2001. Software engineering — Software product quality. Part 1: Quality model. — International Organization for Standardization/International Electrotechnical Commission, 2001.

50. Janneck J. W., Esser R. Higher-order Petri net modelling techniques and applications // Workshop on Software Engineering and Formal Methods. — 2002.

51. Kan S. H. Metrics and Models in Software Quality Engineering. — MA: Addison Wesley, 2002.

52. Kawamoto P. N. Applications of Petri Net Theory in the Design of Hardware/Software Systems. — 1996.

53. Lalonde M., Gagnony L., Boucherz M.-C. Non-recursive paired tracking for vessel extraction from retinal images. — Centre de recherche informatique de Montreal, 2000.

54. Linas Vepstas' GLE Tubing and Extrusion Электронный ресурс. — Режим доступа: http://linas.org/gle.

55. Maciel P., Barros E., Rosenstiel W. A Petri Net Model For Hardware/Software Codesign. Design Automation for Embedded Systems. 1999, #4. - P. 243-310.

56. Marichal J.-L. Behavioral Analysis of Aggregation in Multicriteria Decision Aid // Preferences and Decisions under Incomplete Knowledge. Studies in Fuzziness and Soft Computing. Vol. 51. — Heidelberg, Physica Verlag, 2000. P. 153-178.

57. McCabe T. J. A Complexity Measure // IEEE Transactions on Software Engineering, Vol. 2, No. 4, December 1976. P. 308-320.

58. Mellor S., Balcer M. Executable UML. A Foundation for Model-Driven Architecture. MA: Addison-Wesley, 2002. — 368 p.

59. Murata T. Petri nets: Properties, analysis and applications. — Proceeding of the IEEE, 1989.

60. OMG Systems Modeling Language Specification Электронный ресурс. Proposed Available Specification. — OMG, 2007. — Режим доступа: http: //www.sysml.org/docs/specs/OMGSysML-PAS-07-02-03.pdf.

61. OpenGL — The Industry's Foundation for High Performance Graphics Электронный ресурс. — Режим доступа: http://www.opengl.org.

62. Orthopedic surgery training on personal computer / Surin A. I., Surina O. N., Klimenko S. V., Howe Tet Sen // Int. Conference GraphiCon'OO. Moscow, MSU, 2000. - P. 234-241.

63. Petri Nets World Электронный ресурс. — University of Hamburg. — Режим доступа: http://www.informatik.uni-hamburg.de/TGI/PetriNets.

64. Registering External and Internal Morphological Images of Coronary Vessels / Radeva P., Rotger D., Nofrerias E. et al. — Computer Vision Center, University Autonoma of Barcelona, 2002.

65. Rust C., Stappert F., Kiinnemeyer R. From Timed Petri Nets to to Interrupt-Driven Embedded Control Software. — University of Paderborn, Germany.

66. Software and Systems Engineering — High-level Petri Nets — Concepts,. Definitions and Graphical Notation. Final Draft International Standard ISO/IEC 15909. 2000.

67. Software and Systems Engineering — High-level Petri Nets. Part 2: Transfer Format. International Standard ISO/IEC 15909-2. WD Version 0.9.0. — 2005.

68. Storrle H. An Evaluation of High-End Tools for Petri-Nets. — Miinchen: Ludwig-Maximilians-Universitat, Institut fur Informatik, 1998.

69. Storrle H. Structured nodes in UML 2.0 activities // Nordic Journal of Computing, 2004, Volume 11, Issue 3.

70. Storrle H. Towards a Petri-net Semantics of Data Flow in UML 2.0 Activities. — Miinchen, Elsevier Science, 2004.

71. Sugeno M. Theory of fuzzy integrals and its applications : PhD thesis. — Tokyo Institute of Technology, 1974.

72. Takahagi E. On Identification methods of A-fuzzy measures using weights and A j j Japanese Journal of Fuzzy Sets and Systems, vol. 12, no. 5. 2000. - P. 665-676.

73. Unified Modeling Language: Infrastructure. Version 2.0. OMG, 2005. — 218 p.

74. Unified Modeling Language: Superstructure. Version 2.0. OMG, 2005. — 770 p.

75. Visualization and Interaction Techniques for the Exploration of Vascular Structures / Hahn H. K., Preim В., Selle D. et al. — Bremen, Center for Medical Diagnostic Systems and Visualization. — IEEE Visualization 2001 (Vis'2001). P. 395-402.