Помощь в учёбе, очень быстро...
Работаем вместе до победы

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

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

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

Содержание

  • 1. МЕТОДОЛОГИЧЕСКИЕ И ТЕХНОЛОГИЧЕСКИЕ ОСОБЕННОСТИ РАЗРАБОТКИ МНОГОПОТОЧНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ: ЦЕНТРЫ ДИСТАНЦИОННОГО УПРАВЛЕНИЯ И КОНТРОЛЯ
    • 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. Методика создания и аттестации UML-диафамм этапа анализа
    • 3. 2. Шаблон UML-диаграмм на этапе анализа
    • 3. 3. Преобразование набора UML-диаграмм этапа анализа в раскрашенную иерархическую сеть Петри
    • 3. 4. Исследование модели и анализ результатов
    • 3. 5. Выводы
  • 4. ПРИМЕНЕНИЕ РАСКРАШЕННЫХ ИЕРАРХИЧЕСКИХ СЕТЕЙ ПЕТРИ НА ЭТАПЕ ПРОЕКТИРОВАНИЯ
    • 4. 1. Методика разработки и проверки моделей
    • 4. 2. Шаблон UML-диаграмм проекта службы управления и контроля
    • 4. 3. Преобразование набора UML-диаграмм проекта в раскрашенную иерархическую сеть Петри
    • 4. 4. Моделирование и анализ
    • 4. 5. Выводы
  • 5. ПРИМЕРЫ ИСПОЛЬЗОВАНИЯ СЕТЕЙ ПЕТРИ В РАЗРАБОТКЕ ЦЕНТРОВ ДИСТАНЦИОННОГО УПРАВЛЕНИЯ И КОНТРОЛЯ
    • 5. 1. Центр дистанционного управления и контроля таксофонов. 123 5.2. Диспетчерский центр блоков релейной защиты
      • 5. 2. 1. Применение методики создания и аттестации модели центра дистанционного управления и контроля на этапе анализа
      • 5. 2. 2. Применение методики создания и аттестации модели проекта центра дистанционного управления и контроля
    • 5. 3. Выводы

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

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

Основная задача разработчика многопоточного (mul-tithread) программного обеспечения (ПО) с ограниченными разделяемыми ресурсами — обеспечить надежность (стабильность, устойчивость к ошибке и восстанавливаемость) функционирования ПО. Примером данного класса ПО является центр дистанционного управления и контроля (ЦДУК), предназначенный для непрерывного дистанционного контроля и управления интеллектуальным оборудованием. Процесс разработки многопоточного ПО с разделяемыми ресурсами, такого как ПО ЦДУК — нетривиальная задача. Надежность его функционирования должна быть обеспечена еще до реализации кода, в процессе создания и проверки правильности моделей — важных артефактов разработки ПО [18], от сбора требований до реализации кода. В современной индустрии ПО, при разработке ПО ЦДУК, используется объектно-ориентированный подход к анализу и проектированию (ООАП) [59] с применением языка UML (Unified Modeling Language) [60]. Некорректное представление сложных алгоритмов и механизмов синхронизации на UML-диаграммах приводит к взаимным блокировкам потоков и другим проблемам при функционировании ПО. Подобные ошибки могут обнаруживаться только при очень специфичных условиях эксплуатации ЦДУК, например центра дистанционного управления и контроля таксофонов (ЦЦУКТ) и диспетчерского центра блоков релейной защиты (ДЦ БРЗ). Их трудно, а иногда невозможно воспроизвести в условиях тестовой среды.

В языке UML и CASE (Computer Aided Software Engineering) средствах на его основе, например Rational Rose [78], нет собственных средств обоснования правильности и согласованности наборов диаграмм, поэтому наибольшее внимание уделяется методам и инструментам для преобразования UML-диаграмм в сети Петри и их анализа [1, 10, 14, 20−23, 26, 28, 33−35, 52, 67]. При этом предлагаются различные расширения сетей Петри для проверки отдельных видов диаграмм [14, 23, 26, 28, 52, 67]. В решениях для совокупности диаграмм проекта [10, 33, 34] не учитываются применение программных элементов синхронизации и другая специфика разработки объектно-ориентированного многопоточного приложения (в частности ЦЦУК). Отсутствует описание технологий применения профессиональных, свободно распространяемых пакетов моделирования раскрашенных иерархических сетей Петри [24, 39], например CPN Tools (Coloured Petri Net), предложений по автоматизации процесса и преодоления ограничений пространства состояний модели. Всё это делает весьма затруднительным применение указанных подходов в инженерии ПО. В известных автору работах не предлагаются шаблоны (типичные образцы проектирования) моделей и кода для проектирования многопоточных системных служб управления и контроля. Отсутствуют предложения по анализу требований к многопоточному ПО с помощью совокупности диаграммы процессов и диаграмм деятельности, детализирующих алгоритмы потоков с учётом используемых при реализации кода элементов синхронизации и аттестации (validation) данного набора диаграмм с использованием раскрашенных иерархических сетей Петри.

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

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

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

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

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

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

— разработать ПО ЦДУКТ и ДЦ БРЗ с применением предложенных методик, шаблонов и программных решений.

Методы исследования. Результаты исследования получены на базе аппарата сетей Петри и ООАП. При разработке ПО ЦДУКТ применялись отраслевые и международные стандарты, «Концепция Единой Таксофонной Карты России». При проектировании и реализации ПО ЦДУКТ и ДЦ БРЗ использовались CASE-технологии, инструментальные среды и пакеты моделирования.

Достоверность теоретических положений, лежащих в основе предложенных в диссертации методик, шаблонов (типичных образцов проектирования) и программных решений подтверждена сертификатами соответствия и результатами успешной эксплуатацией разработанных на их основе ПО ЦДУКТ и ДЦ БРЗ.

Научная новизна. Основные результаты диссертационного исследования, имеющие научную новизну, получены для класса объектно-ориентированного многопоточного ПО с ограниченными разделяемыми ресурсами и состоят в следующем:

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

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

— впервые разработаны наборы шаблонов UML-диаграмм (типичных образцов проектирования) и страниц раскрашенных иерархических сетей Петри модели многопоточной системной службы управления и контроля, применение которых на этапах анализа и проектирования позволяет значительно сократить время разработки ПО;

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

— разработано и успешно внедрено в эксплуатацию ПО ЦДУКТ и ДЦ БРЗ, отличающееся высокой эксплуатационной надежностью.

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

Результаты диссертационной работы были использованы:

— при проектировании и реализации ПО ЦЦУКТ, прошедшего успешную сертификацию на соответствие концепции «Единая Таксофонная Карта России» и эксплуатационные испытания в ЗАО «Санкт-Петербургские Таксофоны», и принятого в эксплуатацию СП «Сибирьтелеком» — НГТС в 2003 г.;

— при проектировании и реализации ПО ДЦ БРЗ, которое поставляется с 2007 г. в комплекте с БРЗ, выпускаемыми ФГУП ПО «Север»;

— в процессе обучения студентов АВТФ НГТУ.

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

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

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

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

— ПО Центра Дистанционного Управления и Контроля Таксофонов;

— ПО Диспетчерского Центра Блоков Релейной Защиты.

Апробация работы. Основные результаты работы были представлены на Международном научно-техническом симпозиуме KORUS (Ульсан, 2000; Томск, 2001; Новосибирск, 2002), Международной научно-технической конференции «Информационные системы и технологии» (Новосибирск, 2000), Международной научно-технической конференции «Актуальные проблемы электронного приборостроения» (Новосибирск, 2000), Ежегодной международной сибирской школе-семинаре по электронным приборам и материалам EDM'2003 (Эрлагол, 2003), Международной научно-практической конференции «Электронные средства и системы управления» (Томск, 2004), IV Сибирском конгрессе по прикладной и индустриальной математике «ИНПРИМ-2000» (Новосибирск, 2000). Материалы диссертации обсуждались в 2003 г. в университете г. Айхштет (Германия) на «The 4th Advanced Course on Petri Nets», летней школе «IFAC Summer School on Control, Computing and Communication», проходившей в 2005 г. в Чешском техническом университете (г. Прага), объединенном научном семинаре отдела МОВВС ИВМ и МГ СО РАН, кафедры параллельных вычислительных технологий НГТУ и кафедры параллельных вычислений НГУ, объединенном научном семинаре АВТФ и ФПМИ НГТУ.

Публикации. Основные положения и результаты диссертационной работы опубликованы в 29 работах [44−48, 55, 56, 63−66, 81−98], в том числе: 5 — в изданиях, рекомендуемых ВАК РФ- 14 — в сборниках научных трудов- 7 — в материалах международных симпозиумов и конференций- 3 — в материалах российских конференций.

Структура и объём диссертации. Диссертация состоит из введения, пяти разделов, заключения, списка использованной литературы, включающего 117 наименований и приложений. Общий объем работы составляет 216 страниц, в том числе основное содержание изложено на 171 странице и включает 75 рисунков, 9 таблиц и приложения размещены на 44 страницах.

5.3. Выводы.

Успешное применение предложенных в данной работе методик, технологических и программных решений продемонстрировано на примерах разработки ПО ЦДУКТ и ДЦ БРЗ. Применение методики создания и аттестации моделей на этапе анализа ЦДУКТ и ДЦ БРЗ позволило в процессе разработки провести исследование и анализ различных аспектов алгоритмов работы процессов и потоков сервера сбора данных. Анализ требований к системе с помощью UML-диаграмм и раскрашенных иерархических сетей Петри позволяет выявить ошибки в требованиях к системе и получить готовые к реализации в функциях классов алгоритмы работы, правильность функционирования которых формально доказана.

Применение методики создания и аттестации модели проекта службы управления и контроля ДЦ БРЗ позволило проверить важные для безотказной работы системы свойства модели, отражающей функционирование программного модуля, представленные в виде набора UML-диаграмм проекта, и доказать правильность их функционирования. На основе диаграмм проекта с помощью саэе-средства «Rational Rose 2003» автором была выполнена генерация проекта службы управления и контроля в Visual С++ 6.0 и реализация кода. Раскрашенные иерархические сети Петри позволяют проверить различные свойства модели, отражающей функционирование представленных в виде UML-диаграмм спроектированных классов и доказать правильность их функционирования. Правильность предложенных в данной работе методологических и технологических решений подтверждается результатами успешной эксплуатации разработанных автором систем и актами внедрения, приведенными в приложении 4.

ЦДУКТ после проведения сертификации и тестирования на соответствие концепции «Единая Таксофонная Карта России» в ОАО «Национальная Таксофонная Сеть» (г. Санкт-Петербург) успешно эксплуатируется в ОАО «Сибирь-телеком» (г. Новосибирск) с февраля 2003 года. ДЦ БРЗ прошел успешную тестовую эксплуатацию и поставляется с ноября 2007 года в комплекте с блоками релейной защиты клиентам ФГУП ПО «Север» (г. Новосибирск).

ЗАКЛЮЧЕНИЕ

.

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

— исследован и определен набор UML-диаграмм и свойств сети Петри, необходимых и достаточных для обеспечения надежности функционирования создаваемого многопоточного ПО с ограниченными разделяемыми ресурсами;

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

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

— разработан набор шаблонов моделей (типичных образцов проектирования для исследованного класса ПО) и программных решений для повышения производительности моделирования при создании профамм и для преодоления ограничений компьютерного пакета моделирования;

— разработано программное обеспечение Центра Дистанционного Управления и Контроля Таксофонов и Диспетчерского Центра Блоков Релейной Защиты с применением предложенных методик, шаблонов и программных решений.

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

— ЦДУКТ после проведения сертификации и тестирования на соответствие концепции «Единая Таксофонная Карта России» в ОАО «Национальная Таксофонная Сеть» (г. Санкт-Петербург) успешно эксплуатируется в ОАО «Сибирь-телеком» (г. Новосибирск) с февраля 2003 года;

— ДЦ БРЗ прошел успешную тестовую эксплуатацию и поставляется с ноября 2007 года в виде коробочного программного продукта в комплекте с блоками релейной защиты клиентам ФГУП ПО «Север» (г. Новосибирск).

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

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

  1. Agha G. A. Concurrent object-oriented programming and Petri nets: advances in Petri nets / G. A. Agha, F. De Cindio, G. Rozenberg (Eds.). Berlin — Heidelberg: Springer, 2003. — 556 p. — (LNCS, Vol. 2001).
  2. Allen R. J. A formal basis for architectural connection / R. J. Allen, D. A. Garlan // ACM Transactions on Software Engineering and Methodology. 1997. -Vol. 6, № 3.-P. 213−249.
  3. Ambler S. W. Agile modeling: effective practices for eXtreme programming and the unified process (paperback) / S. W. Ambler, R. Jeffries. N. Y.: Wiley & Sons, 2002.-384 p.
  4. Aura Т. Time processes for time Petri nets / T. Aura, J. Lilius // Proceeding international conference on applications and theory of Petri nets, Toulouse, France, June 1997. Springer Verlag, 1997. — P. 136−155. — (LNCS, № 1248).
  5. Baresi L. Introducing formal methods in industrial practice / L. Baresi, A. Orso, M. Pezze // Proceeding of the 20 international conference on software engineering, Boston MA, USA, 1997. ACM Press, 1997. — P. 55−66.
  6. Barjis J. A language based combined requirements engineering approach / J. Barjis // Information systems: the E-business challenge: IFIP 17 World computer congress, Montreal, Quebec, Canada, 25−30 Aug. 2002. Kluwer Academic Pub., 2002.-P. 1−16.
  7. Battiston E. OBJSA nets: a class of high level nets having objects as domains / E. Battiston, F. De Cindio, G. Mauri // Advances in Petri Nets 88. Berlin — Heidelberg: Springer, 1988. — P. 20−43. — (LNCS, Vol. 340).
  8. Berthomieu В. Modelling and verification of time dependent systems using time Petri nets / B. Berthomieu, M. Diaz // IEEE Transactions on Software Engineering. 1991. — Vol. 17, № 3. — P. 259−273.
  9. Borger E. Abstract state machines: a method for high-level system design and analysis abstract state machines / E. Borger, R. F. Stark. — N. Y.: Springer Verlag Inc., 2003.-420 p.
  10. Brown A. An introduction to Model Driven Architecture. Pt I. MDA and today’s systems Electronic resource. / A. Brown. 2005. — Mode of access: http://www-106.ibm.com/developerworks/rational/library/3100.html. — Title from screen.
  11. Budkowski S. An introduction to Estelle: a specification language for distributed systems / S. Budkowski, P. Dembinski // Computer Networks and ISDN Systems. 1987.-Vol. 14, № 1. — P. 3−23.
  12. Campos J. On the integration of UML and Petri nets in software development / J. Campos, J. Merseguer // Lecture Notes in Computer Science. Berlin — Heidelberg: Springer, 2006. — Vol. 4024. — P. 19−36.
  13. Denaro G. Petri nets and software engineering / G. Denaro, M. Pezze // Lectures on concurrency and Petri nets: advances in Petri nets. — Springer Verlag, 2004. -P. 439−466. (LNCS, Vol. 3098).
  14. Dependability analysis in the early phases of UML based system design / A. Bondavalli, M. Dal Cin, D. Latella, I. Majzik, A. Pataricza, G. Savoia // J. of Computer Systems Science and Engineering. -2001. Vol. 16, № 5. — P. 265−275.
  15. Desel J. Lectures on Concurrency and Petri Nets. Advances in Petri Nets / J. Desel, W. Reisig, G. Rozenberg (Eds.). Berlin — Heidelberg — N. Y.: Springer Verlag, 2004. — P. 849. — (LNCS — Vol. 3098).
  16. Design/CPN Tutorial for X-Windows. Version 2.0 Electronic resource. / Meta Software Corporation, Cambridge, MA, USA. 1993. — Mode of access: http://www.daimi.au.dk/designCPN/man/Tutorial/Tutorial.All.pdf. — Title from screen.
  17. Drusinsky D. BetterState Pro. Tutorial: an introduction to design with State-Charts Electronic resource. / D. Drusinsky — Integrated Systems, Inc. -1997 — Mode of access: http://www.egr.msu.edu/classes/ece809/rover/docs/bestbook.pdf. Title from screen.
  18. Esparza J. Model-checking LTL with regular valuations for pushdown systems / J. Esparza, A. Kucera, S. Schwoon // Information and Computation. 2003. — Vol. 186, № 2.-P. 355−376.
  19. Girault C. Petri nets for systems engineering: a guide to modeling, verification, and applications / C. Girault, R. Valk. Springer Verlag, 2003. — 607 p.
  20. Gurevich Y. Abstract state machines: an overview of the project Electronic resource. / Y. Gurevich. — 2003. — 12 p. — Mode of access: http://research.microsoft.com/~gurevich/Opera/165.pdf. Title from screen.
  21. Harel D. On visual formalism / D. Harel // Communications of the ACM. -1988. -Vol. 31, № 5. P. 514−530.
  22. Hu Z. Explicit modeling of semantics associated with composite states in UML statecharts / Z. Hu, S. M. Shatz // J. of Automated Software Engineering. -2006. Vol. 13, № 4. — P. 423−467.
  23. Hu Z. Mapping UML diagrams to a Petri net notation for system simulation / Z. Hu, S. M. Shatz // Proceedings of the international conference on software engineering and knowledge engineering (SEKE), Banff, Canada, June 2004. 2004. — P. 213−219.
  24. Jensen K. Coloured Petri nets. Basic concepts, analysis methods and practical use / K. Jensen. 2-rd ed. — Springer Verlag, 1992. — Vol. 1. — 252 p.
  25. Jensen K. Coloured Petri nets. Basic concepts, analysis methods and practical use / K. Jensen. 2-rd ed. — Springer Verlag, 1997. — Vol. 2.-184 p.
  26. Jensen K. Coloured Petri nets. Basic concepts, analysis methods and practical use / K. Jensen. — Springer Verlag, 1997. Vol. 3. — 265 p.
  27. Jensen K. Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems / K. Jensen, L. M. Kristensen, L. Wells // Intern. J. on Software Tools for Technology Transfer (STTT). 2007. — Vol. 9, № 3−4. — P. 213−254.
  28. Juanole G. Quality of service in real-time distributed systems and process control applications / G. Juanole // IF AC Summer School on Control, Computing and Communication materials Electronic resource.: [progr.], Prague, Czech Rep., 27
  29. June -1 July 2005. Prague, 2005. — Mode of access: http://dce.felk.cvut.cz/hanzalekyifacss05/program.php. — Title from screen.
  30. Keh H, C. Direct-manipulation user interface modeling with high level Petri nets / H. C. Keh, T. G. Lewis // Proceedings of ACM 19 annual computer science conference, San Antonio, Texas, 5−9 March 1991. N. Y.: ACM, 1991. — P. 487 495.
  31. Kifer M. Logical foundations of object-oriented and frame based languages / M. Kifer, G. Lausen, J. Wu // J. of the ACM. -N. Y.: ACM, 1992. Vol. 42, iss. 4. -P. 741−843.
  32. Новосибирск, 26−29 сент., 2000 г.: посвящ. 50-летию Новосиб. гос. техн. ун-та. -Novosibirsk, 2000. Vol. 1. — P. 258−261. Об одном подходе к представлению и выполнению запросов к распределенной базе данных.
  33. Lakos С. LOOPN++: a new language for object-oriented Petri nets / A. La-kos, C. D. Keen // Proceedings of modelling and simulation conference (European simulation multiconference), ESM'94, Barcelona, Spain, 1994. Barcelona, 1994. — P. 369−374.
  34. Lieberherr K. J. Adaptive object-oriented software: the Demeter method / K. J. Lieberherr. Boston: PWS Publishing Company, 1996. -616 p.
  35. Lilius J. vUML: a tool for verifying UML models / J. Lilius, I. Paltor // The 14 IEEE international conference on automated software engineering, Cocoa Beach, FL, USA, 1999. 1999. — P. 255−258.
  36. Modeling non-functional requirements Electronic resource. / P. Botella, X. Burgues, X. Franch, M. Huerta, G. Salazar. Mode of access: http://www.lsi.us.es/~amador/JTRA/Ponencias/JIRABotella.pdf. — Title from screen.
  37. Specification and analysis of system architecture using rapide / D. С Luckham, J. J. Kenney, L. M. Augustin, J. Vera, D. Bryan, W. Mann // Transactions on Software Engineering. 1995. — Vol. 21, iss. 4. — P. 336−355.
  38. В. А. О проблемах оптимального построения распределенных информационных систем / В. А. Астапчук, А. А. Воевода, С. В. Коротиков // Науч. вестн. НГТУ. Новосибирск: Изд-во НГТУ, 1999. — № 2 (7). — С. 177−178.
  39. Бек К. Экстремальное программирование / К. Бек. СПб.: Питер, 2002. — 224 с. — (Библиотека программиста).
  40. Э. Технология разработки программного обеспечения / Э. Брауде. СПб.: Питер, 2004. — 655 с.
  41. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++: пер. с англ. / Г. Буч. 2-е изд. — М.: Бином — СПб.: Невский диалект, 1998 г. — 560 с.
  42. Буч Г. Язык UML. Руководство пользователя: пер. с англ. / Г. Буч, Д. Рамбо, А. Джекобсон. М.: Пресс, 2001. — 432 с. л
  43. А. М. Проектирование программного обеспечения экономических информационных систем : учеб. / А. М. Вендров. М.: Финансы и статистика, 2000. -347 с.
  44. Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри / В. А. Непомнящий и др. Новосибирск: ИСИ СО РАН. — 1998. — 140 с.
  45. А. А. О компактном представлении языков сетей Петри / А. А. Воевода, С. В. Коротиков // Сб. науч. тр. НГТУ. Новосибирск: Изд-во НГТУ, 2005. -№ 1 (39). — С. 141−144.
  46. А. А. Применение сетей Петри при разработке протоколов / А. А. Воевода, С. В. Коротиков, Д. О. Саркенов // Науч. вестн. НГТУ. -Новосибирск: Изд-во НГТУ, 2004. № 2 (17). — С. 183−188.
  47. А. А. О модификации полного покрывающего дерева и графа разметок сети Петри / А. А. Воевода, С. В. Коротиков // Науч. вестн. НГТУ. -Новосибирск: Изд-во НГТУ, 2005. № 1 (19). — С. 171−172.
  48. А. А. Использование ролей в сценариях взаимодействия Электронный ресурс. / А. А. Волков — Ин-т систем, программирования. -2006. Режим доступа: http://www.citforum.ru/SE/project/roleuse/. — Загл. с экрана.
  49. Гома X. UML. Проектирование систем реального времени, параллельных и распределенных приложений: пер. с англ. / X. Гома М.: ДМК Пресс, 2002. — 704 с.
  50. В. Исполняемый UML из России / В. Гуров, А. Нарвский, А. Шалыто // PC Week/RE. 2005 -№ 26. — С. 18−19.
  51. Дал У. Структурное программирование / У. Дал, Э. Дейкстра, К. Хо-ор. М.: Мир, 1975. — 247 с.
  52. А. В. Формальные методы спецификации программ / А. В. Замулин. Новосибирск: НГУ, 2002. — *с.
  53. В. А. Реорганизация деятельности предприятий: от структурной к процессной организации / В. А. Ивлев, Т. В. Попова. М.: Научтехлит-издат, 2000.-282 с.
  54. Интеграционные технологии развития инфраструктуры предоставления услуг. Продукты Электронный ресурс. / фирма «Светец». Режим доступа: http://www.svetets.ru/prod.html. — Загл. с экрана.
  55. Использование сетей Петри при проектировании систем обработки данных / А. Г. Мамиконов и др. М.: Наука, 1988. — 103 с.
  56. Г. Н. CASE-технологии. Консалтинг при автоматизации бизнес-процессов /Г. Н. Калянов. 2-е изд., перераб. и доп. — М.: Горячая линия: Телеком, 2000.-317 с.
  57. А. В. Введение в язык SDL / А. В. Карабегов, Т. М. Тер-Микаэлян. -М.: Радио и связь, 1993.- 184 с.
  58. Т. С. Базы данных: модели, разработка, реализация / Т. С. Карпова. СПб.: Питер, 2001. — 304 с.
  59. Т. Визуальное моделирование с помощью Rational Rose 2002 и UML / Т. Кватрани. -М.: Вильяме, 2003. 182с.
  60. С. П. Формальный подход к разработке программных систем : учеб. пособие / С. П. Ковалев — Новосиб. гос. ун-т. Новосибирск: НГУ, 2004.- 180 с.
  61. Концепция единой таксофонной карты России Электронный ресурс.: утвержд. Минсвязи России 17 дек. 2001 г. № 9150. Режим доступа: http://www.consv.ru/adm/dat/bin/doc/ko9.doc. — Загл с экрана.
  62. С. В. Архитектура распределенной системы сбора и обработки данных для системы контроля и управления таксофонами / С. В. Коротиков, В. А. Легкунец // Сб. науч. тр. НГТУ. — Новосибирск: Изд-во НГТУ, 2002.-№ 1 (27).-С. 21−26.
  63. С. В. Доступ к базам данных в распределенных информационных системах / С. В. Коротиков, В. А. Пичурин // Сб. науч. тр. НГТУ. -Новосибирск: Изд-во НГТУ, 2000. № 1 (18). — С. 32−37.
  64. С. В. Использование аппарата высокоуровневых сетей Петри для моделирования процессов швейного производства / С. В. Коротиков, науч. рук. А. А. Воевода, Е. В. Профорук, науч. рук. Н. С. Мокеева //
  65. Наука. Технологии. Инновации: материалы Всерос. науч. конф. молодых ученых, Новосибирск, 2−5 дек. 2004 г.: в 6 ч. — Новосибирск: Изд-во НГТУ, 2004.-Ч. 1.-С. 30−31.
  66. С. В. Комплексный подход к автоматизации деятельности предприятий / С. В. Коротиков // Сб. науч. тр. НГТУ. — Новосибирск: Изд-во НГТУ, 2001. № 2 (24). — С. 39−44.
  67. С. В. О разработке системы контроля и управления таксофонами / С. В. Коротиков // Сб. науч. тр. НГТУ. Новосибирск: Изд-во НГТУ, 1999.-№ 3(16).-С. 160−164.
  68. С. В. Обеспечение семантической целостности данных в корпоративных базах данных / С. В. Коротиков // Сб. науч. тр. НГТУ. -Новосибирск: Изд-во НГТУ, 2002. № 2 (28). — С. 21−28.
  69. С. В. Построение генератора произвольных отчетов / С. В. Коротиков, Д. Р. Нурмухаметов // Сб. науч. тр. НГТУ. Новосибирск: Изд-во НГТУ, 2002. — № 2 (28). — С. 29−34.
  70. С. В. Представление логики взаимодействия таксофона и СКУТ в виде цветной иерархической сети Петри / С. В. Коротиков, А. А. Воевода // Сб. науч. тр. НГТУ. Новосибирск: Изд-во НГТУ, 2004. — № 2 (36).-С. 147−148.
  71. С. В. Применение сетей Петри в разработке программного обеспечения центров дистанционного управления и контроля / С. В. Коротиков, А. А. Воевода // Науч. вестн. НГТУ. Новосибирск: Изд-во НГТУ, 2007. -№ 4(29).-С. 15−30.
  72. С. В. Применение цветной иерархической сети Петри для проверки согласованности UML-диаграмм на фазе проектирования ПО ЦДУК /С. В. Коротиков //Науч. вестн. НГТУ. Новосибирск: Изд-во НГТУ, 2007. -№ 2 (27).-С. 203−206.
  73. С. В. Применение шаблонов UML и сетей Петри при разработке системной службы центра дистанционного управления и контроля / С. В. Коротиков // Сб. науч. тр. НГТУ. Новосибирск: Изд-во НГТУ, 2007. -№ 2 (48).-С. 135−144.
  74. С. В. Проверка согласованности UML-диаграмм проекта службы контроля и управления ДЦ БРЗ с помощью сетей Петри / С. В. Коротиков // Сб. науч. тр. НГТУ. Новосибирск: Изд-во НГТУ, 2007. — № 2 (48). -С. 51−62.
  75. С. В. Современные подходы к созданию и поддержке программного обеспечения информационных систем / С. В. Коротиков, А. В. Желтов // Сб. науч. тр. НГТУ. Новосибирск: Изд-во НГТУ, 2001. — № 1 (23). — С. 64−69.
  76. В. Е. Сети Петри / В. Е. Котов. -М.: Наука, 1984. 157 с.
  77. С. С. Программирование. Математические основы, средства, теория / С. С. Лавров. СПб.: БХВ-Петербург, 2001. — 320 с.
  78. Дж. С++. Энциклопедия пользователя / Дж. Либерти. Б. м.: ДиаСофт, 2001. — 590 с.
  79. В. В. Документирование и управление конфигурацией программных средств. Методы и стандарты / В. В. Липаев. М.: СИНТЕГ, 1998. — 220 с. — (Информатизация России на пороге XXI века).
  80. В. В. Надежность программных средств / В. В. Липаев. — М.: СИНТЕГ, 1998. 232 е. — (Информатизация России на пороге XXI века).
  81. Непомнящий В. A. REAL: Язык для спецификации и верификации систем реального времени / В. А. Непомнящий, Н. В. Шилов, Е. В. Бодин // Системная информатика. — Новосибирск: Наука, 2000. Вып. 7. — С. 174−224.
  82. ОСТ 45.148−99. Системы защиты от несанкционированного доступа к услугам связи таксофонов. Общие технические требования Электронный ресурс. Утвержд. 16.05.2000. — Режим доступа: http. V/www.cntd.pirit.info/document/1 200 038 285.html. — Загл. с экрана.
  83. А. Е. Объектно-ориентированное представление иерархических сетей Петри / А. Е. Пентус, М. Р. Пентус // Фундаментальная и прикладная математика. 2000. — Т. 6. -№ 3. — С. 831−840.
  84. Дж. Теория сетей Петри и моделирование систем : пер. с англ. / Дж. Петерсон. М.: Мир, 1984.-264 с.
  85. Е. А. Методы спецификации и верификации параллельных моделей с непрерывным временем : автореф. дис.. канд. физ.-мат. наук / Е.
  86. A. Покозий. Новосибирск, 1999. — 17 с.
  87. Приемы объектно-ориентированного проектирования. Паттерны проектирования / Э. Гамма, Р. Хелм, Р. Джонсон, Дж. Влиссидес. СПб.: Питер, 2001. —368 с. — (Библиотека программиста).
  88. Система централизованного управления и контроля сети таксофонов Электронный ресурс. / украин.-итальян. ЗАО «Юэнпиком». Режим доступа: http://unpcom.km.ua/system.html. — Загл. с экрана.
  89. А. А. Иерархия и параллелизм в сетях Петри / А. А. Таль, С. А. Юдицкий // Автоматика и телемеханика. — 1982. — № 7. — С. 9.
  90. И. В. Понятия эквивалентностей для разработки параллельных систем с использованием сетей Петри / И. В. Тарасюк // Программирование. 1998. -№ 4. -С. 40−48.
  91. И. В. Эквивалентности для поведенческого анализа параллельных и распределенных вычислительных систем / И. В. Тарасюк — РАН СО Ин-ут систем информатики им. А. П. Ершова. — Новосибирск, 2005. 344 с.
  92. Теоретические основы проектирования оптимальных структур распределенных баз данных / В. В. Кульба, С. С. Ковалевский, С. А. Косяченко,
  93. B. О. Сиротюк. М.: СИНТЕГ, 1999. — 660 с. — (Информатизация России на пороге XXI века).
  94. Т. Г. Способ построения раскрашенных сетей Петри, моделирующих SDL-системы / Т. Г. Чурина. Новосибирск, 1998. — 48 с. — (Препринт/ ИСИ СО РАН — № 56).
  95. А. Унифицированный процесс разработки программного обеспечения / А. Якобсон, Г. Буч, Дж. Рамбо. — СПб.: Питер, 2002. -496 с.
Заполнить форму текущей работой

Пора сдавать?