Обработка информации в системе мониторинга распределённого программного проекта тема диссертации и автореферата по ВАК РФ 05.13.01, кандидат технических наук Швецов, Виктор Владимирович

  • Швецов, Виктор Владимирович
  • кандидат технических науккандидат технических наук
  • 2009, Б.м.
  • Специальность ВАК РФ05.13.01
  • Количество страниц 185
Швецов, Виктор Владимирович. Обработка информации в системе мониторинга распределённого программного проекта: дис. кандидат технических наук: 05.13.01 - Системный анализ, управление и обработка информации (по отраслям). Б.м.. 2009. 185 с.

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

ВВЕДЕНИЕ.

1 АНАЛИЗ МЕТОДОВ И СРЕДСТВ ОБРАБОТКИ ИНФОРМАЦИИ В СИСТЕМАХ МОНИТОРИНГА.

1.1 Онтологический анализ обработки информации и мониторинга программного проекта.

1.2 Мониторинг распределённого программного проекта.

1.3 Обработка информации при мониторинге программного проекта.

1.4 Способы формализованного описания обработки информации.

1.5 Базовые архитектуры систем мониторинга.

Выводы.

2 ОБРАБОТКА ИНФОРМАЦИИ В СИСТЕМЕ МОНИТОРИНГА С ПРИМЕНЕНИЕМ СЕТИ ПРОЦЕССОВ.

2.1 Концепция обработки информации в системе мониторинга ^ распределённого программного проекта.„„„.^.

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

2.3 Решение задачи доступа к информации о проекте.

2.4 Передача информации между процессами сети.

2.5 Вычисление и сохранение индикаторов проекта.

Выводы.

3 МОДЕЛЬ ОБРАБОТКИ ИНФОРМАЦИИ В СИСТЕМЕ МОНИТОРИНГА РАСПРЕДЕЛЁННОГО ПРОГРАММНОГО ПРОЕКТА.

3.1 Построение сети процессов по информационной модели измерений.

3.2 Распределение процессов по узлам компьютерной сети.

3.3 Решение задачи и алгоритм обработки информации в системе мониторинга.

3.4 Имитационное моделирование обработки информации.

3.5 Оценка эффективности обработки информации в системе мониторинга.

Выводы.

4 РАЗРАБОТКА ПРОТОТИПА СИСТЕМЫ МОНИТОРИНГА РАСПРЕДЕЛЁННОГО ПРОГРАММНОГО ПРОЕКТА.

4.1 Определение информационных потребностей пользователей.

4.2 Проектирование системы мониторинга.

4.3 Разработка программного обеспечения обработки информации.

4.4 Развёртывание системы мониторинга на узлах компьютерной сети.

4.5 Проведение мониторинга и анализ полученных результатов.

Выводы.

Рекомендованный список диссертаций по специальности «Системный анализ, управление и обработка информации (по отраслям)», 05.13.01 шифр ВАК

Введение диссертации (часть автореферата) на тему «Обработка информации в системе мониторинга распределённого программного проекта»

Актуальность темы. Распределённый программный проект в отличие от обычного программного проекта реализуется в условиях территориальной удалённости ресурсов, к которым относятся исполнители и средства вычислительной техники [1,2]. Широкое распространение проекты этого типа получили при разработке «открытого» (Open Source) программного обеспечения, что обусловлено возможностью участия в проекте сотрудников из различных регионов мира посредством глобальной сети Internet. Разработчики коммерческого программного обеспечения тоже стремятся использовать преимущества распределённого программного проекта, но в большей степени, чем участники Open Source проектов, испытывают сложности с обеспечением запланированных сроков, стоимости и уровня качества программного продукта [3-8].

Основная причина состоит в недостатке информации о текущем состоянии распределённого программного проекта для эффективного управления и принятия решений [1,2,8-10]. В обычном программном проекте такая проблема успешно решается мониторингом основных характеристик проекта [3,5,11], что позволяет руководителю вовремя обнаружить отклонения от установленных границ и предупредить возможные негативные последствия. Для этого периодически выполняется регистрация значений атрибутов программного проекта путём извлечения информации из различных источников, которыми могут быть базы данных, приложения, программные системы и их компоненты, а также исполнители. Полученные результаты передаются в центр обработки, где вычисляются индикаторы достигнутого прогресса. Однако выполнение регистрации атрибутов и вычислений индикаторов проекта в условиях территориальной удалённости разнородных источников информации и отсутствия единого центра обработки представляет собой сложную задачу.

Мониторинг состояния программного проекта - трудоемкий процесс, который невозможно осуществить без применения специальных программных средств [12]. Наиболее известны решения от ЮМ [13-15] (Tivoli Monitoring, WebSphere Business Monitor), IBM Rational [16, 17] (Portfolio Manager, Project Console) и свободно-распространяемый SysAid Free Monitoring [18]. Все они позволяют получить доступ к удалённым источникам информации посредством коммуникационных сетей, но используют для этого разные методы. Наиболее универсальное решение -программные агенты — применяется в Tivoli Monitoring, однако так же, как и в WebSphere, для обработки информации используется один или несколько серверов. Решения от IBM Rational изначально ориентированны на поддержку разработки программного обеспечения, но интеграция источников информации в них осуществляется посредством платформы Eclipse, что невозможно при использовании инструментов других производителей. Таким образом, разработка математического и программного обеспечения обработки информации в условиях территориальной удалённости источников данных и отсутствия единого центра для обработки является актуальной задачей, решение которой позволит оперативно получать необходимые характеристики распределённого программного проекта. При этом целесообразно использовать технологию программных агентов или процессов, успешно применяемую в системах мониторинга для решения задач регистрации и сбора данных.

Теоретические и практические основы мониторинга программного проекта отражены в работах Э. Д. Брауде [8], П. Джалота [4], В. В. Липаева [19], С. А. Орлова [7], У. Ройса [5], Р. Т. Фатрелла [6], Д. Ф. Шафера, Л. И. Шафер, Ф. Цуи [3] и др. Математические модели поведения таких динамических систем, как процессы, заложены в трудах Я. Беркстры [20], Я. В. Клопа [20], Р. Милнера [21-23], Ч. Хоара [24], Г. Плоткина [25] и др.

Цель исследования состоит в совершенствовании математического и программного обеспечения обработки информации в системе мониторинга распределённого программного проекта.

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

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

- постановка и формализация задачи обработки информации в системе мониторинга распределённого программного проекта;

- теоретическое исследование обработки информации в системе мониторинга распределённого программного проекта;

-разработка алгоритмического обеспечения обработки информации в системе мониторинга распределённого программного проекта;

- создание прототипа системы мониторинга распределённого программного проекта.

Объектом исследования в диссертации является система мониторинга распределённого программного проекта; предмет исследования - модели, методы, алгоритмы и программные средства обработки информации в системе мониторинга распределённого программного проекта.

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

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

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

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

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

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

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

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

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

На защиту выносятся:

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

2) алгебраическое представление процессов регистрации атрибутов, передачи информации, вычисления и сохранения индикаторов проекта, обеспечивающее моделирование обработки информации в системе мониторинга распределённого программного проекта;

3) алгоритмическое обеспечение обработки информации в системе мониторинга распределённого программного проекта, позволяющее:

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

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

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

Апробация работы. Полученные результаты докладывались и обсуждались на VIII Международной научно-технической конференции

Новые информационные технологии и системы» (Пенза, 2008 г.); IV дистанционной научно-практической конференции с международным участием «Системы поддержки принятия решений. Теория и практика» (Киев, 2008 г.); XVIII-XX научно-технических конференциях профессорско-преподавательского состава Пензенского государственного университета (Пенза, 2007-2009 гг.).

Публикации. Основные результаты диссертации опубликованы в 11 статьях и тезисах конференций, среди них 1 статья в издании из перечня ВАК.

Структура и объём работы. Диссертация состоит из введения, четырёх глав, заключения, списка использованных источников из 96 наименований и шести приложений. Объём работы: 145 страниц основного текста, включающего 39 рисунков, 10 таблиц и 42 страницы приложений.

Похожие диссертационные работы по специальности «Системный анализ, управление и обработка информации (по отраслям)», 05.13.01 шифр ВАК

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

Выводы

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

2. Разработанный модуль обработки информации можно эксплуатировать в составе системы мониторинга распределённого программного проекта с базовой архитектурой, определённой в п. 1.5 (стр. 34).

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

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

5. Система мониторинга распределённого программного проекта с модулем обработки информации, реализованным как сеть программных процессов, позволяет повысить оперативность получения индикаторов программного проекта в 7 раз и снизить трудозатраты на вычисление метрик Лоренца-Кидда не менее, чем в 4 раза.

1. Разработана начальная онтология обработки информации в системе мониторинга программного проекта, представленная словарём терминов и диаграммами UML. Определены виды обработки информации на каждом из этапов мониторинга распределённого программного проекта.

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

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

4. Предложен алгоритм обработки информации в системе мониторинга распределённого программного проекта, основанный на параллельной работе взаимодействующих программных процессов, распределённых по узлам компьютерной сети, что позволяет осуществлять вычисления индикаторов проекта в распределённой среде. Показатель ускорения вычислений размерно-ориентированных метрик и метрик Лоренца-Кидда составляет не менее 2,5.

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

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

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

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

1. Кирсанова О., Буртный С., Чернышев Ю. Экономить ли на масштабах? -Режим доступа: http://www.top-manager.ru

2. Kenneth Е. Dolan N., Dolan D. Evolving Distributed Project Management. IEEE Software, September, 2005. pp. 63-72

3. Frank Tsui Managing software project. Mississauga: Jones and Bartlett Publishers, 2004. - p. 179-232.

4. Панкаж Д. Управление программным проектом на практике. ЛОРИ, 2005. - 242 с.

5. Ройс У. Управление проектами по созданию программного обеспечения. -ЛОРИ, 2002.-431 с.

6. Фатрелл Р.Т., Шафер Д.Ф. Шафер Л.И. Управление программными проектами: достижение оптимального качества при минимуме затрат.: Пер. с англ. М.: Издательский дом «Вильяме», 2004. — 1136 с.

7. Орлов С. Технологии разработки программного обеспечения. Учебное пособие. 2-е изд. СПб.: Питер, 2003. — 480 е.: ил.

8. Брауде Э. Технология разработки программного обеспечения. СПб.: Питер, 2004. - 655 е.: ил.

9. Гагарина Л. Г., Кокорева Е. В., Виснадул Б. Д. Технология разработки программного обеспечения: учебное пособие / под ред. Л. Г. Гагариной. -М.: ИД «ФОРУМ»: ИНФРА-М, 2008. 400 е.: ил.

10. Константайн Л., Локвуд Л. Разработка программного обеспечения. -СПб.: Питер, 2004. С. 461-476.

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

12. Швецов В.В., Макарычев П.П. Инструментальные средства для мониторинга программных проектов // Труды 3-го международного форума «Актуальные проблемы современной науки». Технические науки. Часть 21. Самара: Самар. гос. техн. ун-т. 2007. С. 129-132.

13. Годой А., Гусер В. Руководство по внедрению IBM Tivoli Monitoring 6.1.- Режим доступа: http://www-128.ibm.com/developerworks/ru/doc

14. Вали У. Лейбович Л., Превост Э. Управление бизнес-процессами: от моделирования до мониторинга с использованием продуктов WebSphere V6. Режим доступа: http://www-128.ibm.com/developerworks/ru/doc/

15. Черняк Л. Мониторинг бизнес-процессов // Открытые системы. 2005. -№5.-С. 24-29

16. Программное обеспечение IBM Rational. Методология и инструментальные средства разработки программных систем. Режим доступа: http://www-128.ibm.com/developerworks/ru/doc/rational.html

17. Rational Project Console Getting Started. Режим доступа: ftp://ftp.software.ibm.com/software/rational/docs/v2002

18. SysAid Free Monitoring Режим доступа: http://www.sysaid.com

19. Липаев B.B. Технико-экономическое обоснование проектов сложных программных средств. М.: СИНТЕГ, 2004. - 284 с.

20. J.A. Bergstra and J.W. Klop: Process algebra for synchronous communication. Information and Control, 60(1/3): 109-137, 1984.

21. Milner R. The Polyadic тг-Calculus: a Tutorial, University of Edinburgh, 1991.- Режим flocTyna:http://www.lfcs.inf.ed.ac.uk/reports/9 l/ECS-LFCS-91 -180/.

22. Milner R. A Calculus of Mobile Processes, Part I, University of Edinburgh, Scotland, 1990, p. 1-36 Режим доступа: http://www.lfcs.inf.ed.ac.uk/reports /89/ECS-LFCS-89-85/

23. Milner R. A Calculus of Mobile Processes, Part II, University of Edinburgh, Scotland, 1990, p. 1-36 Режим доступа: http://www.lfcs.inf.ed.ac.uk/reports /89/ECS-LFCS-89-86/

24. Xoap Ч. Взаимодействующие последовательные процессы. М.: Мир, 1989.-264 е., ил.

25. G. D. Plotkin A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, 1981. Режим доступа: http://research.nii.ac.jp/~ichiro/lecture/model2002/SOS.pdf

26. Служба тематических словарей «Глоссарий.ги» Режим доступа: http://www.glossary.ru

27. ГОСТ 7.0-99 Информационно-библиотечная деятельность, библиография

28. Информатика : учебник / В.Б. Соболь и др..-Изд. 3-е дополн. и перераб. Ростов н/Д: Феникс, 2007. - 446 1. с. - (Высшее образование).

29. Могилёв А.В. Информатика: Учеб. пособие для студ. пед. вузов / А.В. Могилёв, Н.И. Пак, Е.К. Хеннер; Под ред. Е.К. Хеннера. 2-е изд., стер. -М.: Изд. Центр «Акадения», 2001. - С. 9-30

30. Информатика: Учебник / Под общ. ред. А.Н. Данчула. М: Изд-во РАГС, 2004. - 528 с.

31. Современный экономический словарь (электронная версия). Режим доступа: http://slovari.yandex.ru/diet/economic

32. Боровкова Т.И., Морев И.А. Мониторинг развития системы образования. Часть 1. Теоретические аспекты: Учебное пособие. — Владивосток: Изд-во Дальневосточного университета, 2004. — 150 с.

33. ГОСТ Р ИСО/МЭК 9126-93 Оценка программной продукции. Характеристики качества и руководства по их применению.

34. Sorana S. Dealing with software process deviations using fuzzy logic based monitoring. 11 p. - Режим доступа: http://portal.acm.org/citation.cfm? id=373975.373979

35. Ebert C., Dumke R., Bundschuh M., Schmietendorf A. Best practices in software measurement. How to use metrics to improve project and process performance. Berlin: Springer, 2005. - С. 118-124.

36. Linda M. Laird,.M. Carol Brennan Software measurement and estimation: a practical approach. Hoboken: John Wiley & Sons, 2006. - p. 181-196.

37. Ishigaki D, Jones C. Practical measurement in the rational unified process. -Режим доступа: http://www.ibm.com/deveIoperworks/rational/library/.

38. McGarry J. Practical software measurement: objective information for decision makers. Boston: Addison-Wesley, 2001. - p. 13-29

39. Practical Software and Systems Measurement. Режим доступа: http://www.psmsc.com

40. Веснин В. Р. Менеджмент: учеб. 2-е изд., перераб. и. доп. - М.: ТК Велби, изд-во Проспект, 2004. - 504 с.

41. Титов Ю. Информационная революция и управление. // Открытые системы. 2001. - №9. - С. 64-65.

42. Squared Technologies Режим доступа: http://msquaredtechnologies.com/

43. Pitts D. «Why is software measurement hard?» электронный ресурс. 1999. Режим доступа: http://www.stickyminds.com

44. Ehab Al-Shaer, Hussein Abdel-Wahab, Kurt Maly A scalable monitoring architecture for managing distributed multimedia systems. IEEE/IFIP Int. Conference on Management of Multimedia Networks and Services, Montreal, CA, 1997, page 237-248

45. Технологии построения систем мониторинга. Режим доступа: http://www.intelcom.ru/s3/monitor.html

46. Distributed project management system and method: United States Patent, № US 6,308,164 Bl, date: Oct. 23, 2001

47. Рязанов Н.М., Логиновский О.В., Козлов А.С. Мониторинг социально-экономического положения муниципальных образований субъекта РФ // Программные продукты и системы. 2005. - №4. - С. 11-16

48. Hein С., Ritter Т. System Monitoring using Constraint Checking as part of Model Based System Management, 11 p. Режим доступа: http://www.comp.lancs.ac.uk/~bcncomo/MRT07/papers

49. Швецов В.В. Адаптивная система мониторинга состояния программного проекта // Системи шдтримки прийняття piuieHb. Теор1я i практика: Зб1рник доповщей науково-практично!* конференци з м1ждународною участью. Кшв: 1ПММС НАНУ, 2008 г. - С. 210-213.

50. Швецов В.В. Исследование влияния платформы на организацию системы мониторинга // Материалы 15-й Междунар. науч.-техн. Конф. Часть 2. Рязань: Рязан. гос. радиотехн. университет, 2008 г. С. 28-30.

51. Таненбаум Э., Стеен М., Распределённые системы. Принципы и парадигмы. СПб.: Питер, 2003. - С. 204-210.

52. Сергеев Н.П., Вашкевич Н.П. Основы вычислительной техники. М., «Высшая школа», 1988. — 311 С.

53. Glabbeek, R.J. van, The individual and collective token interpretations of Petri nets, in: Proc. CONCUR 2005, LNCS 3653 (2005), pp. 323-337 Режим доступа: http://boole.stanford.edu/pub/individual.ps.gz

54. Миронов A.M. Теория процессов. — Режим доступа: www.intsys.msu.ru/staff/mironov

55. Pucella R. Review of Communicating and Mobile Systems: The 7i-calculus, 2000, pp. 1-2 Режим доступа: http://www.ccs.neu.edu/home/riccardo/papers

56. Aceto L. An Introduction to Milner's CCS / L. Aceto, Kim G. Larsen, p. 1-97, Режим доступа: http://matej.web.elte.hu/ccs/intro2ccs.pdf

57. D.A. van Beek Syntax and Consistent Equation Semantics of Hybrid Chi, pp. 2-125 Режим доступа: http://alexandria.tue.nl/extral/wskrap/publichtml

58. J.C.M. Baeten A Brief History of Process Algebra, 17 p. Режим доступа: http://www.win.tue.nl/fm/0402history.pdf

59. Сынтульский C.C. Язык программирования сверхбыстрых гибридных вычислительных устройств // Стохастическая оптимизация в информатике: Межвуз. сборник. СПб.: СПбГУ, 2006. - С. 278-298.

60. Tiu A., Miller D. Proof Search Specification of the тг-Calculus, 21 p. Режим доступа: http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers

61. Palamidessi С. Comparing the Expressive Power of the Synchronous and the Asynchronous ти-calculi, 36 p. Режим доступа: http://www.cse.psu.edu/ -catuscia/papers/picalc/popl.ps

62. Meredith L.G., Bjorg S. Contracts and types, pp. 1-7

63. Wischik L. New directions in implementing the pi calculus. 2002, p. 6. -Режим доступа: http://www.fairdene.com/picalculus/implementing-pi-c.pdf

64. Smith H., Fingar P. Workflow is just a Pi process. 2003, 28 p. Режим flocTyna:http://www.fairdene.com/picalculus/workflow-is-just-a-pi-process.pdf

65. Bjorn V. A verification tool for the polyadic я-calculus. 1994, p. 46 Режим доступа: http://user.it.uu.se/~victor/tr/docs-tr-94-50.html

66. Milner R. Calculi for Interaction, Cambridge, 1995, p. 30 Режим доступа: https://eprints.kfupm.edu.sa/29137/1/29137.pdf

67. L. Cardelli and A.D. Gordon: Mobile ambients. Theoretical Computer Science, 240:177-213, 2000. Режим доступа: http://lucacardeIli.name/Papers/MobileAmbients.A4.pdf

68. Барандрегг X. Ламбда-исчисление. Его синтаксис и семантика: Пер. с англ. М.: Мир, 1985. - с. 18-19

69. Макарычев П.П., Швецов В.В. Алгебраические модели процессов мониторинга распределённого программного проекта // Известия высших учебных заведений. Поволжский регион. Технические науки. 2009. — №3. - С. 62-70.

70. Швецов В.В. Анализ и моделирование процесса сбора данных о программном проекте // Математическое и программное обеспечениевычислительных систем: Межвуз. сб. науч. тр. М.: Горячая линия -Телеком, 2008 г. - С. 135-139.

71. Puhlmann F., Weske М. Using the ти-calculus for formalizing workflow patterns // Business Process Management. Heidelberg, Germany: Springer, 2005.-C. 153-168.

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

73. Капитонова Ю.В., Кривой C.JI. Лекции по дискретной математике -СПб.: БХВ-Петербург, 2004. С. 299-300

74. Татт У. Теория графов: Пер. с англ. М.: Мир, 1988. - 424 е., ил.

75. Оре О. Теория графов. 2-е изд. - М.: Наука, 1980. - 336 с.

76. Кристофидес Н. Теория графов. Алгоритмический подход. М.: Мир, 1978.-432 с.

77. Грешилов А.А. Математические методы принятия решений. Учеб. Пособие для вузов. М. Изд-во МГТУ им. Н. Э. Баумана, 2006. 584 с.

78. Schloegel К., Karypis G., Kumar V. Graph Partitioning for High Performance Scientific Simulations, 2000. 40 с. - Режим доступа: http://www-users.cs.umn.edu/~karypis/publications/Papers/PDF/gpchapter.pdf

79. Якобовский М.В. Распределённые системы и сети. Учебное пособие. -М.: МГТУ «Станкин», 2000. С. 81-85.

80. Diekmann R. Load balancing strategies for distributed memory machines. — Режим доступа: http://wwwcs.uni-paderborn.de/ fachbereich/AG/monien/ PUBLICATIONS/POSTSCRIPTS/DMPMultScale96.ps.Z

81. The Pict Programming Language. Режим доступа: http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html

82. Pierce C.B. Programming in the Pi-Calculus: A tutorial introduction to Pict, Indiana University. Bloomington, 1998. - Режим доступа: http://www.cis.upenn.edu/~bcpierce/papers/pict

83. Pierce C.B., Turner N.D. Pict: A programming language based on the pi-calculus, Indiana University. Bloomington, 1998. - Режим доступа: http://www.cis.upenn.edu/~bcpierce/papers/pict

84. Pierce C.B. Pict Language Definition. Version 4.1, Indiana University. -Bloomington, 1998. — Режим доступа: http://www.cis.upenn.edu/~bcpierce

85. Pierce C.B. Pict Libraries Manual. Pict 4.1, Indiana University. -Bloomington, 1998. Режим доступа: http://www.cis.upenn.edu/~bcpierce

86. Швецов B.B. Математическое и имитационное моделирование мониторинга программного проекта // Новые информационные технологии и системы: Труды VIII Международной научно-технической конференции. Пенза, ПГУ, 2008 г. - С. 69-76.

87. В.П. Гергель Введение в методы параллельного программирования, С. 112 Режим доступа: http://www.software.unn.ac.ru/ccam/mskurs/RUS/DOC/

88. Якобсон А., Буч. Г., Рамбо Дж. Унифицированный процесс разработки программного обеспечения. — СПб.: Питер, 2002. — 496 е.: ил.

89. JADE PROGRAMMER'S GUIDE. Режим доступа: http://jade.tilab.com

90. JADE ADMINISTRATOR"S GUIDE. Режим доступа: http://jade.tilab.com

91. Визуализации ориентированных графов в пакете MathCAD. Режим доступа: http://www.exponenta.ru/soft/mathcad/studgraf2/main.aspсправочное) Словарь терминов

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