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

• Коротиков, Сергей Викторович
• кандидат технических наук
• 2008

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

ВВЕДЕНИЕ

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 года в виде коробочного программного продукта в комплекте с блоками релейной защиты клиентам ФГУП ПО «Север» (г. Новосибирск).

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

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. 487495.

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/1200038285.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 с.