Дипломы, курсовые, рефераты, контрольные...
Срочная помощь в учёбе

Разработка программного обеспечения с применением UML диаграмм и сетей Петри для систем управления локальным оборудованием

Диссертация: Разработка программного обеспечения с применением UML диаграмм и сетей Петри для систем управления локальным оборудованием
ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

Предложена методика разработки программного обеспечения, основанная на использовании ЦМЬ диаграмм и сетей Петри, позволяющая разрабатывать ПО для систем управления локальной автоматикой. В предложенной методике используется набор ЦМЬ диаграмм, который позволяет разрабатывать более сложные программные алгоритмы за счет применения комбинации диаграмм состояния и действий для описания динамических… Читать ещё >

Содержание

  • СПИСОК ИСПОЛЬЗУЕМЫХ СОКРАЩЕНИЙ И ОБОЗНАЧЕНИЙ
  • 1. ОСНОВНЫЕ НАПРАВЛЕНИЯ РАЗВИТИЯ РАЗРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
    • 1. 1. Тенденции развития программной инженерии
    • 1. 2. Использование ЦМЬ диаграмм в разработке ПО
    • 1. 3. Использование сетей Петри в разработке ПО
    • 1. 4. Использование интеграции ЦМЬ диаграмм и сетей Петри в разработке ПО
    • 1. 5. Выводы
  • 2. АНАЛИЗ СПОСОБОВ РАЗРАБОТКИ ПРОГРАМНОГО ОБЕСПЕЧЕНИЯ ИСПОЛЬЗУЮЩИХ ЦМЬ ДИАГРАММЫ И СЕТИ ПЕТРИ
    • 2. 1. Недостатки способов разработки программного обеспечения с использованием ЦМЬ диаграмм и сетей Петри
    • 2. 2. Достоинства и недостатки диаграмм состояния и действий при описании динамических свойств классов
    • 2. 3. Анализ правил преобразования ЦМЬ диаграмм в сети Петри
    • 2. 4. Постановка задачи
  • 3. МЕТОДИКА РАЗРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ С ИСПОЛЬЗОВАНИЕМ иМЬ ДИАГРАММ И СЕТЕЙ ПЕТРИ
    • 3. 1. Правила преобразования ЦМЬ диаграмм в сети Петри
      • 3. 1. 1. Типы мест при преобразовании ЦМЬ диаграмм в сети Петри
      • 3. 1. 2. Правила вызова методов и конструкторов класса, правила обращения к объектам
    • 3. 2. Анализ результатов моделирования пространства состояния сетей Петри
    • 3. 3. Методика разработки программного обеспечения с использованием ЦМЬ диаграмм и сетей Петри
    • 3. 4. Выводы
  • 4. РАЗРАБОТКА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ДЛЯ СИСТЕМЫ УПРАВЛЕНИЯ ВОДОНАПОРНЫМИ СТАНЦИЯМИ ВОДОКАНАЛА
    • 4. 1. Описание исследуемой системы
    • 4. 2. Разработка ПО системы
    • 4. 3. Составление диаграмм классов и объектов
    • 4. 4. Составление UML диаграмм для описания динамических свойств классов
    • 4. 5. Преобразование диаграмм UML в сети Петри
    • 4. 6. Анализ сетей Петри
    • 4. 7. Выводы

Разработка программного обеспечения с применением UML диаграмм и сетей Петри для систем управления локальным оборудованием (реферат, курсовая, диплом, контрольная)

Актуальность темы

В настоящее время программное обеспечение (ПО) используется в большинстве сфер человеческой деятельности. От его надежности и функциональности зависит успешность работы многих предприятий. Поэтому качество разрабатываемого ПО приобретает важное значение. Существующие подходы к разработке ПО [1−3, 9, 13, 15, 18, 28, 30, 35, 39, 42, 46, 54, 57, 59, 60, 74, 75] не гарантируют его качество в достаточной степени. Тестирование разрабатываемого продукта также не может гарантировать отсутствие ошибок в программе, так как многие из них могут проявляться в специфических условиях, которые невозможно смоделировать в тестовой среде. Таким образом, проблемы качества ПО при его разработке являются достаточно актуальными.

В настоящее время используются некоторые формальные способы разработки качественного ПО [1, 2, 9, 30, 35, 39, 42, 54, 59, 60, 74, 75, 84, 89]. Особый интерес представляют такие из них [30, 42, 59, 60], которые способны гарантировать качество и безотказность создаваемого ПО. Однако вышеприведенные способы разработки редко используются на практике из-за сложности их применения.

Одним из возможных способов формального доказательства верности ПО является применение алгоритмов на основе интеграции ЦМЬ диаграмм и сетей Петри [39−41, 60, 62−71, 75, 77, 78, 81, 85, 88], математический аппарат которых достаточно подробно изучен В. Е. Котовым [45], Дж. Петерсоном [49] и др., что позволяет использовать их для анализа модели системы (Д.А.Колесников [37], М. А. Ищенко [36], С. В. Коротиков [21, 23, 38−44], А. В. Доля [30], Ь. Вагез! [59−60], М. Регге [59−60], З. ВегпагсК [61−69, 88, 89, 91, 94], Б. ОогШеШ [63, 67], 1. Ме^иег [64−69, 71, 91−94], Е.Р.ЫашштсИ [88−89]).

Тем не менее, разработанные методологические, технологические и инструментальные решения либо не позволяют выполнить моделирование для совокупности диаграмм и моделировать поведение нескольких объектов одного класса в системе одновременно, либо используют классические сети Петри, что в совокупности не дает возможность выполнить полное моделирование разрабатываемой системы. Следует также отметить, что рекомендации по анализу результатов моделирования сетей Петри нуждаются в дополнительном исследовании [42].

Цель работы. Разработать методику написания программного обеспечения с использованием ЦМЬ диаграмм и сетей Петри, применимую для разработки систем управления локальным оборудованием.

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

— анализ современных подходов создания высококачественного программного обеспечения;

— определения ключевых особенностей алгоритмов разработки с использованием ЦМЬ диаграмм и сетей Петри, подлежащих изменению или улучшению;

— разработка правил обнаружения программных ошибок обращения к несуществующему элементу массива и утечек памяти при работе с объектами на основе анализа результатов моделирования системы в сетях Петри;

— создание методики разработки ПО с использованием ЦМЬ диаграмм и сетей Петри для применения к разработке ПО систем управления локальным оборудованием и обеспечения возможности моделирования систем с произвольным количеством объектов одного класса одновременно;

— применение методики разработки для решения задачи разработки программного обеспечения системы управления локальным оборудованием водонапорных станций водоканала. Проверить возможность применения предлагаемой методики для разработки ПО для задачи поиска пути движения манипулятора от начальной до конечной координат в замкнутом пространстве с препятствиями и разработке ресурсной задачи из игровой индустрии.

Объект исследования. Объектом исследования является методика разработки программного обеспечения, основанная на использовании ЦМЬ диаграмм и сетей Петри.

Методы исследования. При решении задач диссертационного исследования использовались следующие методы:

— системный анализ;

— аппарат сетей Петри;

— разделы дискретной математики;

— объектно-ориентированный анализ.

При реализации примеров применения рассматриваемой методики использовались отраслевые и международные стандарты, САБЕ-технологии, современные инструментальные среды и пакеты моделирования.

Научная новизна. В диссертационном исследовании были достигнуты следующие результаты:

— методика разработки ПО с использованием диаграмм ЦМЬ и сетей Петри для разработки ПО для систем локальной автоматики. Изменен набор используемых ЦМЬ диаграмм, что позволяет разрабатывать более сложные алгоритмы системы. Внесены изменения в набор правил формального преобразования диаграмм ЦМЬ в цветные сети Петри, структура которых позволяет выполнять моделирование системы с несколькими объектами одного класса одновременно и моделирование статических методов класса;

— разработаны рекомендации по использованию ЦМЬ диаграмм состояния и диаграмм действия для описания динамических свойств класса;

— предложены варианты обнаружения некоторых типов программных ошибок: обращение к несуществующим элементам массива, неверное выделение и освобождение памяти объектов — утечка памяти.

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

Результаты диссертационной работы были использованы в разработке и внедрении ПО системы управления локальным оборудованием водонапорных станций в водоканале города Тюмень, в гранте Федерального Агентства по образованию ГК № П 694 от 12.08.2009 г. (конкурс НК-81П (2009 — 2011 гг.)), а также в конкурсе фундаментальных и прикладных исследований внутренних грантов НГТУ «Использование ЦМЬ-диаграмм и аппарата сетей Петри как формальных методик анализа архитектуры программного обеспечения». Результаты диссертационного исследования используются в учебном процессе НГТУ. Показана возможность применения не только для систем локальной автоматики, но и для других задач, например: упрощенная задача автоматического поиска допустимых перемещений манипулятора в пространстве с препятствиями и разработка ресурсной задач игровой индустрии.

На защиту выносятся следующие положения:

— методика разработки ПО с использованием ЦМЬ диаграмм и сетей Петри, включающая набор правил преобразования, позволяющих моделировать поведение нескольких объектов одного класса одновременно и выполнять моделирование статических классов системы;

— рекомендации по использованию ЦМЬ диаграмм действия и состояния для описания динамических свойств класса;

— рекомендации по обнаружению программных ошибок обращения к несуществующим элементам массива и утечки памяти при работе с объектами;

— разработанная на основе методики разработки программного обеспечения с использованием ЦМЬ диаграмм и сетей Петри программная система управления водонапорными станциями водоканала города Тюмень.

Апробация работы. Основные положения диссертации были изложены на следующих конференциях: международной научной заочной конференции «Актуальные вопросы современной техники и технологии» (Липецк, 24 апреля 2010 г.) — XIII международной научно-технической конференции «Информационно-вычислительные технологии и их приложения» (Пенза, декабрь 2010 г.) — международной научно-практической конференции «Традиции и инновации в современном социокультурном пространстве» (Новосибирск, 2011 г.) — DST-RFBR Sponsored Indo-Russian Joint Workshop «Computational intelligence and modern heuristics in automation and robotics» (Surat, India, 20−22 September 2010) — RFBR and DST sponsored The second Russian-Indian Joint Workshop «Computational intelligence and modern heuristics in automation and robotics» (Novosibirsk, Russia, 10−13 September 2011) — XIII международной научно-практической конференции «Наука и современность» (Новосибирск, 2011 г.) — международной заочной научно-практической конференции «Наука и техника XXI века» (Новосибирск, 2011 г.). А также в школе молодых ученых С АИТ-2011 секции № 2 «Информационные технологии в системах автоматического и автоматизированного управления» (Новосибирск, 12−16 сентября 2011 г.) и научных семинарах кафедры «Автоматика» НГТУ (2009 — 2011 гг.).

Публикации. Основные положения и результаты диссертационной работы опубликованы в 21 работах [4−7, 9−14, 47, 51, 52, 100−104, 106], в том числе: статей в изданиях, рекомендуемых ВАК РФ — 3- в сборниках научных трудов — 12, материалах международных симпозиумов и конференций — 6.

Структура и объём диссертации. Диссертация состоит из введения, четырех глав, заключения, библиографического списка использованной литературы и приложений. Работа изложена на 195 с. машинописного текста: основное содержание на 116 с. и включает 49 рисунков, 6 таблиц и список литературы из 106 наименований.

4.7. Выводы.

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

Последовательно выполнены все шаги разработки:

— построены диаграммы прецедентов, на которых отображены функциональные требования к системе;

— построены диаграммы классов и объектов, на которых выделены классы системы, а также приведены начальные значения объектов системы;

— для описания динамических свойств классов разработаны диаграммы состояния и действий, позволяющие описать алгоритмы системы;

— для описания основного алгоритма системы сформирована диаграмма действий;

— при помощи правил формального преобразования, предложенных в п. 3.1, получена модель системы в сетях Петри;

— используя программный пакет «CPN Tools», выполнено моделирование системы на основании расчета пространства состояния сети Петри. Первые две итерации позволили выявить программные ошибки в наборе UML диаграмм. Исходя из полученных результатов анализа сети Петри на третьей итерации, сделан вывод о корректности составленных UML диаграмм и готовности набора UML диаграмм к генерации кодов.

Таким образом, представленная методика опробована на задаче разработки ПО для систем управления оборудованием водонапорных станций водоканала г. Тюмень. Также она была применена к задачам других классов: поиска допустимых перемещений манипулятора в пространстве с препятствиями на примере упрощенной задачи перемещения точки (Приложение 4) и ресурсной задаче из игровой индустрии (упрощенный вариант — игра «змейка») (Приложение 5).

5.

ЗАКЛЮЧЕНИЕ

.

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

В ходе анализа используемых в индустрии программного обеспечения методов и подходов к разработке и анализу ПО с использованием ЦМЬ диаграмм и сетей Петри были выявлены следующие основные недостатки:

— наработки в сфере программной инженерии, основанные на использовании ЦМЬ диаграмм и сетей Петри, в основном ориентированы на поиск логических ошибок в программных системах связанных с одновременным доступом к критическим секциям и не позволяют находить логические ошибки в программе связанные с программными особенностями;

— используемые правила преобразования ЦМЬ диаграмм в сети Петри не позволяют сформировать структуру сети Петри так, чтобы она позволяла моделировать поведение нескольких объектов класса одновременно. Также она не позволяет получить результат выполнения метода и моделировать статические методы;

— используемый в программной инженерии набор ЦМЬ диаграмм для последующего преобразования в сеть Петри не всегда позволяет строить сложные программные алгоритмы из-за использования только диаграмм состояния для описания динамических свойств класса и диаграмм последовательности для отображения взаимодействия между классами.

В соответствии с поставленными в диссертационной работе задачами были получены следующие результаты:

— предложена методика разработки программного обеспечения, основанная на использовании ЦМЬ диаграмм и сетей Петри, позволяющая разрабатывать ПО для систем управления локальной автоматикой. В предложенной методике используется набор ЦМЬ диаграмм, который позволяет разрабатывать более сложные программные алгоритмы за счет применения комбинации диаграмм состояния и действий для описания динамических свойств класса и межобъектного взаимодействия. Выполнены изменения в правилах формального преобразования ЦМЬ диаграмм в цветные сети Петри, при помощи которых формируется структура сети. Полученная структура сети Петри позволяет моделировать поведение нескольких объектов одного класса одновременно, выполнять моделирование статических методов классов и получать результат выполнения метода, что в совокупности приводит к полному моделированию системы и ее анализу;

— предложен вариант обнаружения программных ошибок утечки памяти и обращение к несуществующим элементам массива на основании результатов моделирования сети Петри;

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

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

Предлагаемая методика была применена к задаче разработки программного обеспечения для системы управления локальным оборудованием водонапорных станций водоканала г. Тюмени. Система успешно прошла опытно-промышленную эксплуатацию и была сдана в промышленную эксплуатацию в 2011 г. Акт внедрения приведен в Приложении 1. Результаты диссертационных исследований используются в учебном процессе на факультете «Автоматика и вычислительная техника» НГТУ.

Также методика была опробована на задачах:

— задачи разработки ПО перемещения манипулятора в ограниченном пространстве с препятствиями на упрощенной модели манипулятора, особенностью которой является использованием множества потоков поиска искомого решения;

— ресурсной задачи из игровой индустрии (упрощенный вариант — игра «змейка»), особенностями которой является динамическое создание объектов, работа с массивами.

Показать весь текст

Список литературы

  1. К. Бек. Экстремальное программирование. Питер, 2002. — с. 224.
  2. Э. Брауде. Технология разработки программного обеспечения. Питер, 2004. — с. 655.
  3. Г. Буч. Объектно-ориентированный анализ и проектирование с примерами приложений на С++. СПб.: Бином, 2006. — с. 560.
  4. A.A. Воевода, Д. О. Романников. Применение UML диаграмм и сетей Петри при разработке встраиваемого программного обеспечения // Науч. вестн. НГТУ. 2009. — № 4 (37). — с. 169−174.
  5. A.A. Воевода, Д. О. Романников. Использование UML-диаграмм и временных сетей петри в методе разработки ПО ч.2 // Сб. науч. тр. НГТУ. -2010. № 4 (62).- с. 117−126.
  6. A.A. Воевода, Д. О. Романников. Временные сети Петри и диаграммы UML // Сб. науч. тр. НГТУ. 2010. — № 1 (59). — с. 79−84.
  7. A.A. Воевода, Д. О. Романников. О проектировании программного обеспечения для микроконтроллера с использованием UML // Сб. науч. тр. НГТУ. 2009. — № 4 (58). — с. 35−40.
  8. A.A. Воевода, A.M. Марков. Тестирование UML-диаграмм с помощью аппарата сетей Петри на примере разработки ПО для игры «Змейка» // Сб. науч. тр. НГТУ. 2010. — № 3 (61). — с. 51−60.
  9. A.A. Воевода, Д. О. Романников. Использование UML и временных сетей петри при разработке программного обеспечения // Сб. науч. тр. НГТУ. -2010.-№ 3 (61).-с. 61−70.
  10. A.A. Воевода, Д. О. Романников. Моделирование сетей Петри в CPN TOOLS // Сб. науч. тр. НГТУ. 2008. — № 3 (53). — с. 49−54.
  11. A.A. Воевода, Д. О. Романников. О компактном представлении языков раскрашенных сетей Петри // Сб. науч. тр. НГТУ. 2008. — № 3 (53). — с. 105−108.
  12. A.A. Воевода, Д. О. Романников. О моделировании систем реального времени с использованием UML и сетей Петри // Сб. науч. тр. НГТУ. 2009. — № 1 (55). — с. 63−66.
  13. A.A. Воевода, Д. О. Романников. Особенности проектирования систем реального времени при по-мощи UML и сетей Петри // Сб. науч. тр. НГТУ. 2009. — № 1 (55). — с. 57−62.
  14. A.A. Воевода, Д. О. Романников. Редуцирование пространства состояний сети Петри для объектов из одного класса // Науч. вестн. НГТУ. -2011.-№ 4 (45).-с. 146- 150.
  15. A.A. Воевода, Д. О. Саркенов. Моделирование протокола связи таксафона и центра дистанционного управления таксафонами при помощи сетей Петри // Сб. науч. тр. НГТУ. 2004. — № 2 (36). — с. 3 — 8.
  16. A.A. Воевода, Д. О. Саркенов. Сети Петри: семмитричные графы состояний // Сб. науч. тр. НГТУ. 2005. — № 3 (41). — с. 1 — 6.
  17. A.A. Воевода, Д. В. Прытков, О. В. Прыткова. Применение аппарата сетей Петри для моделирования системы организации и контроля доступа к услугам IP-телефонии // Сб. науч. тр. НГТУ. 2009. — № 3 (57). — с. 83 -88.
  18. A.A. Воевода, Д. О. Саркенов, В. Хассоунех. Моделирование протоколов с учётом времени на цветных сетях Петри // Сб. науч. тр. НГТУ. -2004. -№ 3 (37).-с. 133−136.
  19. A.A. Воевода, И. В. Зимаев. Моделирование системы многоканальной визуализации с использованием аппарата сетей Петри // Сб. науч. тр. НГТУ. 2008. — № 3 (53). — с. 43 — 48.
  20. A.A. Воевода, Д. В. Прытков, О. В. Прыткова. О возможностях некоторых популярных CASE-средств // Сб. науч. тр. НГТУ. 2010. — № 1 (59). -с. 143- 148.
  21. A.A. Воевода, C.B. Коротиков. О компактном представлении языков сетей Петри // Сб. науч. тр. НГТУ. 2005. — № 1 (39). — с. 1−4.
  22. A.A. Воевода, A.M. Марков. О компактном представлении языков сетей Петри: сети с условиями и временные сети // Сб. науч. тр. НГТУ. -2010.-№ 2(60). -с. 77−82.
  23. А. А. Воевода, С. В. Коротиков. О модификации полного покрывающего дерева и графа разметок сети Петри // Науч. вестн. НГТУ. -2005.-№ 1 (19). с. 171−172.
  24. A.A. Воевода, Д. В. Прытков. Применение сетей Петри на этапе объектно-ориентированного проектирования// Сб. науч. тр. НГТУ. 2010. -№ 2 (60). — с. 65−76.
  25. A.A. Воевода, И. В. Зимаев. Соотнесение структурных и временных масштабов UML-диаграмм // Сб. науч. тр. НГТУ. 2008. — № 4 (54). — с. 59 -62.
  26. A.A. Воевода, И. В. Зимаев. Об особенностях преобразования UML диграмм деятельности в сети Петри // Сб. науч. тр. НГТУ. 2009. — № 2 (56). с. 77−86.
  27. А. А. Волков. Использование ролей в сценариях взаимодействия Электронный ресурс. / А. А. Волков — Ин-т систем, программирования. -2006. Режим доступа: http://www.citforum.ru/SE/project/roleuse/.
  28. В. Гуров, А. Нарвский, А. Шалыто. Исполняемый UML из России // PC Week. 2005. — № 26. — с. 18−19.
  29. У. Дал, Э. Дейкстра, К. Хоор. Структурное программирование. -Мир, 1975.-с. 245.
  30. A.B. Доля. Алгоритмы безопасного перехода в сетях петри для лицензионной защиты программных систем // дис. канд. техн. наук. Ростов-на-Дону: Изд-во: ЦВВР, 2007.
  31. И.В. Зимаев, A.A. Воевода. Верификация WorkFlow-моделей с применением сетей Петри // Науч. вестн. НГТУ. 2010. — № 4 (41). — с. 151 -154.
  32. И.В. Зимаев. О возможности автоматической трансляции UML диаграмм деятельности в сети Петри // Сб. науч. тр. НГТУ. 2010. — № 1 (59). -с. 149- 156.
  33. И.В. Зимаев. Блоки анализирующей сети Петри// Сб. науч. тр. НГТУ. 2010. — № 3 (61). — с. 169 — 172.
  34. И.В. Зимаев. Интеграция структурных и динамических UML-моделей // Сб. науч. тр. НГТУ. 2010. — № 3 (61). с. 77 — 84.
  35. И.В. Зимаев, A.A. Воевода. Моделирование асинхронной сети автоматов обработки данных // Сб. науч. тр. НГТУ. 2009. — № 4 (58). — с. 147 154.
  36. М.А. Ищенко. Разработка моделей и методов синтеза модульной структуры автоматизированных информационных систем с использованием сетей Петри // дис. канд. техн. наук. Москва, 2009.
  37. Д.А. Колесников. Разработка математического и алгоритмического обеспечения управления режимами работы ситуационного центра регионального уровня на базе сетей Петри // дис. канд. техн. наук. -Краснодар, 2011.
  38. C.B. Коротиков. Применение цветных иерархических сетей Петри для верификации UML-диаграмм на этапе анализа требований к системе дистанционного контроля и управления// Сб. науч. тр. НГТУ, 2007.- № 1 (47).-с. 81−92.
  39. C.B. Коротиков, A.A. Воевода. Применение сетей Петри в разработке программного обеспечения центров дистанционного управления и контроля // Науч. вестн. НГТУ. 2007. — № 4 (29). — с. 16 — 30.
  40. C.B. Коротиков. Применение шаблонов UML и сетей Петри при разработке системной службы центра дистанционного управления и контроля // Сб. науч. тр. НГТУ. 2007. — № 2 (48). — с. 135 — 140.
  41. C.B. Коротиков. Проверка согласованности UML-диаграмм проекта службы контроля и управления ДЦ БРЗ с помощью сетей Петри // Сб. науч. тр. НГТУ. 2007. — № 2 (48). — с. 51 — 62.
  42. C.B. Коротиков. Применение сетей Петри в разработке программного обеспечения центров дистанционного контроля и управления // дис. канд. техн. наук. Новосибирск: Изд-во: НГТУ, 2007.
  43. C.B. Коротиков, A.A. Воевода. Представление логики взаимодействия таксафона и СКУТ в виде цветной иерархический сети Петри // Сб. науч. тр. НГТУ. 2004. — № 2 (36). — с. 147 — 148.
  44. C.B. Коротиков, Д. О. Саркенов. Применение спецификации эквивалентности в моделировании сеанса связи таксофона и центра дистанционного контроля и управления таксофонами раскрашенной сетью Петри // Сб. науч. тр. НГТУ. 2007. — № 3 (49). — с. 87 — 94.
  45. В. Е. Котов. Сети Петри. Наука, 1984. — с. 164.
  46. А. Г. Мамиконов. Использование сетей Петри при проектировании систем обработки данных//Наука, 1988. с. 103.
  47. A.B. Марков, Д. О. Романников. Совокупное использование сетей Петри и UML-диаграмм при разработке программного обеспечения // Сб. науч. тр. НГТУ. 2011. — № 2 (64). — с. 85−94.
  48. А. Е. Пентус, М. Р. Пентус. Объектно-ориентированное представление иерархических сетей Петри. Фундаментальная и прикладная математика. 2000. — Т. 6. -№ 3. — с. 831−840.
  49. Дж. Петерсон. Теория сетей Петри и моделирование систем. М.: Мир, 1984.- с. 264
  50. Д.В. Прытков. О применении сетей Петри для исполнения алгоритмов на примере решения задачи о кратчайших путях с единственным источником // Сб. науч. тр. НГТУ. 2010. — № 3 (61). — с. 77−82.
  51. Д.О. Романников, A.B. Марков, И. В. Зимаев. Обзор работ, посвященных разработке по с использованием UML и сетей Петри // Сб. науч. тр. НГТУ. 2011. — № 1 (63). — с. 91−104.
  52. Д.О. Романников. Перспективы развития методики разработки программного обеспечения с использованием UML-диаграмм и сетей Петри // Сб. науч. тр. НГТУ. 2010. — № 2 (60). — с. 181 — 184.
  53. А. Н. Савин. Формирование тестирующих программ с использованием сетей Петри-Маркова // дис. канд. техн. наук. Тула, 2009.
  54. Е. В. Толстое. Задачи моделирования потоков работ при помощи сетей Петри // дис. канд. техн. наук. Москва, 2006.
  55. И. Н. Томилов. Синтаксически ориентированные и графические средства описания и анализа моделей гибридных систем // дис. канд. техн. наук. Изд-во: НГТУ, 2010.
  56. В. Г. Тронин Математические модели прикладных элементов вычислительных сетей на основе раскрашенных Петри // дис. канд. техн. наук. Ульяновск, 2010.
  57. А. Якобсон, Г. Буч, Дж. Рамбо. Унифицированный процесс разработки программного обеспечения. Питер, 2002. — с. 496.
  58. L. Baresi, M. Pezze. Improving UML with Petri Nets // Electronic notes in theoretical computer science. 2001. — № 44. — p. 107 — 119.
  59. L. Baresi, M. Pezze. On formalizing UML with High-Level Petri Nets // Lecture Notes in Computer Science. 2001. — 2965. — p. 276 — 304.
  60. S. Bernardi, J Campos. Computation of performance bounds for realtime systems using time petri nets // Industrial Informatics, IEEE Transactions. -2009. № 2 (5).-p. 168 — 180.
  61. S. Bernardi, J. Campos. On performance bounds for interval Time Petri Nets // Proceeding QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference. 2004. — p. 50 — 59.
  62. S. Bernardi, A. Bobbio, S. Donatelli. Petri Nets and Dependability// Lectures on Concurrency and Petri Nets: Advances in Petri Nets. 2004. — 3098. — p. 125 — 179.
  63. S. Bernardi, J. Merseguer. Performance evaluation of UML design with Stochastic Well-formed Nets // The Journal of Systems and Software. 2007. -№ 80. — p. 1843−1865.
  64. S.Bernardi, J. Merseguer. A UML Profile for Dependability Analysis of Real Time Embedded Systems // In ACM Proc. of the 6th International Workshop on Software and Performance. 2007. — p. 115 — 124.
  65. S. Bernardi, J. Merseguer. QoS Assessment via Stochastic Analysis // IEEE Internet Computing. 2006. — № 10. — p. 32 — 42.
  66. S. Bernardi, S. Donatelli, J. Merseguer. From UML Sequence Diagrams and Statecharts to analyzable Petri Net models // Proceeding WOSP '02 Proceedings of the 3rd international workshop on Software and performance. -2002.-p. 35−44.
  67. S. Bernardi, J. Campos, J. Merseguer. Timing-failure risk assessment of UML design using Time Petri Net bound techniques // IEEE Transaction on Industrial Informatics. 2011. — № 1 (7). — p. 90 — 104.
  68. S. Bernardi, F. Flammini, S. Marrone, J. Merseguer. Model-driven availability evaluation of railway control systems // 30th International Conference on Computer Safety, Reliability and Security. 2011. p. 15−28.
  69. A. Brown. An introduction to Model Driven Architecture. Pt I. MDA and today’s systems Electronic resource. Mode of access: http://www-106.ibm.eom/developerworks/rational/library/3100.html, 2005.
  70. J. Campos, J. Merseguer. On the integration of UML and Petri nets in software development // Lecture Notes in Computer Science. 2006. — p. 19−36.
  71. A. Egyed. 29th International Conference on Software Engineering // Fixing inconsistencies in UML design models. 2007. — p. 292−301.
  72. J, L. Garrido, M. Gea. A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling // Proceedings of the 9th International Workshop on Interactive Systems. 2007. — p. 16 — 28.
  73. N. Feng, W. Ming-Zhe, Y. Cui-Rong. Executable Architecture Modeling and Validation // 2nd Int. Conf. ICCAE. 2010. — p. 10 — 14.
  74. K. Jensen, L. M. Kristensen, L. Wells. Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems // Intern. J. on Software Tools for Technology Transfer (STTT). 2007. — p. 213−254.
  75. K. Holscher, P. Ziemann, M. Gogolla. On translating UML models into graph transformation systems // Journal of Visual Languages and Computing. -2006. p. 78−105.
  76. Z. Hu, S. M. Shatz. Mapping UML diagrams to a Petri net notation for system simulation // Proceedings of the international conference on software engineering and knowledge engineering (SEKE). 2004. — p. 213−219.
  77. J. Kong, K. Zhang, J. Dong, D. Xu. Specifying behavioral semantics of UML diagrams through graph transformations // The Journal of Systems and Software. 2008. — p. 292−306.
  78. H. Kwan-Hee, Y. Seock-Kyu, K. Bohyun. Integration of UML and Petri Net for the Process Modeling and Analysis in Workflow Applications // Proceedings of the 13th WSEAS International Conference on COMPUTERS. -2009. p. 255−262.
  79. Lam, S. W. Vitus. A formalism for reasoning about UML activity diagrams // Nordic Journal of Computing. 2007. — № 1 (14). — p. 43 — 64.
  80. E. D. Lazowska, J. Zahorjan, G. S. Graham, K. C. Sevcik.
  81. Quantitative system performance: computer system analysis using queueing network models // Upper Saddle River. 1984. — p. 417.
  82. C. Lohmann, J. Greenyer, J. Jiang. Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations // Journal of Object Technology. 2007. — p. 253 — 273.
  83. F.J. Lucas, F. Molina, A. Toval. A systematic review of UML model consistency management // Information and Software Technology. 2009. p. 16 311 645.
  84. M. Morgan, J. Chadwicke. Creating Games: Mechanics, Content, and Technology. Wellesley, Massachusetts: A K Peters, 2009. p. 500.
  85. J. Meseguer, U. Montanari. Petri Nets are Monoids: a New Algebraic Foundation for Net Theory. 1988. p. 155−164.
  86. E. P. Naumovich, S.Bernardi. Integrating TPNs and performance bound techniques in ITPN-PerfBound: a new import functionality // 6th Int. Conference on Quantitative Evaluation of SysTems. 2009. p. 285−286.
  87. E. P. Naumovich, S. Bernardi, M. Gribaudo. ITPN-PerfBound: A performance bound tool for Interval Time Petri Nets// In Proc. of 15th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems. 2009. — p. 50 — 53.
  88. OMG UML 2 Superstructure Specification. V2.2// http://www.omg.org/technology/documents/formal/uml.htm.
  89. D. Perez-Palacin, J. Merseguer, S.Bernardi. Performance aware open-world software in a 3-layer architecture // First Joint WOSP/SIPEW Int. Conference on Performance Engineering (WOSP/SIPEW'10). 2010. — p. 49 — 56.
  90. D. Perez-Palacin, J. Merseguer. Performance evaluation of self-reconfigurable service-oriented software with stochastic Petri nets // Electronic Notes in Theoretical Computer Science. 2010. — 261. — p. 181−201.
  91. D. Perez-Palacin, R. Mirandola, J. Merseguer, V. Grassi. QoS-Based Model Driven Assessment of Adaptive Reactive Systems // Proceeding ICSTW '10
  92. Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops. 2010. p. 299−308.
  93. R.Rodriguez, J. Merseguer, S.Bernardi. Modelling and Analysis Resilience as a Security Issue within UML // Second International Workshop on Software Engineering for Resilient Systems. 2010.
  94. P.G. Sapna, H. Mohanty. 10th International Conference on Information Technology // Ensuring consistency in relational repository of UML models. -2007. p. 217−222.
  95. A. S. Staines. A triple graph grammar (TGG) approach for mapping UML 2 activities into Petri nets // Proceedings of the 9th WSEAS international conference on Software engineering, parallel and distributed systems. 2010. — p. 90 -95.
  96. A. S. Staines. Simplified bi-directional transformation of UML activities into Petri nets// Proceeding SEP ADS'11 Proceedings of the 10th WSEAS international conference on Software engineering, parallel and distributed systems. -2011. p. 24−29.
  97. N. Yang, H. Yu, H. Sun. Mapping UML Activity Diagrams to Analyzable Petri Net Models // Proceedings of the 2010 10th International Conference on Quality Software. 2010. — p. 369 — 372.
  98. A.A. Воевода, Д. О. Романников. О преобразовании UML диаграмм в сети Петри // Сборник статей XIV Международной научно-технической конференции «Информационно-вычислительные технологии и их приложения». 2010. — с. 60 — 64.
  99. А.А. Воевода, Д. О. Романников. Разработка ПО встраиваемых систем с использованием UML диаграмм и сетей Петри // Сборник докладовмеждународной научной заочной конференции «Актуальные вопросы современной техники и технологии». 2010. — с. 24 — 28.
  100. Д.О. Романников. Роль автоматизации программирования в инновационных процессах // Труды международной научно-практической конференции «Традиции и инновации в современном социокультурном пространстве». 2010. — с. 60 — 61.
  101. А.В. Марков, Д. О. Романников, А. А. Воевода. Моделирование процесса поиска пути в лабиринте с помощью UML диаграмм и сетей Петри // Материалы международной заочной научно-практической конференции «Наука и техника XXI века». 2011. — с. 84−89.
  102. Т.Б. Тарасов. Математическое и программное обеспечение многоролевых человеко-машинных интерфейсов для ситуационного управления сложными организационно-техническими объектами // дис. канд. техн. наук. Новосибирск: Изд-во: СГУПС, 2010.
Заполнить форму текущей работой

Заказал и сдал!