Разработка методов и средств поддержки визуального концептуального моделирования проектно-конструкторских задач при создании САПР машиностроительного назначения тема диссертации и автореферата по ВАК РФ 05.13.12, кандидат технических наук Сирота, Илья Михайлович

• Сирота, Илья Михайлович
• кандидат технических наук
• 1999

Оглавление диссертации кандидат технических наук Сирота, Илья Михайлович

Введение

Глава 1. Анализ существующих методов и средств визуального моделирования системы знаний проектно-конструкторских задач на этапе проектирования САПР.

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

1.1.1. Предпосылки появления методик визуального моделирования

1.1.2. Требования к методам визуального моделирования автоматизированных систем.

1.2. Особенности ' модельного представления проектно-конструкторских задач при проектировании САПР.

1.2.1. Отличительные особенности САПР

1.2.1.1. Особенности процесса проектирования

1.2.1.2. Структура систем автоматизированного проектирования

1.2.1.3. Новый подход к проектированию САПР

1.2.2. Требования к моделям, используемым при создании САПР.

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

1.3.1. Общие положения

1.3.2. Обзор методологий визуального моделирования.

1.3.2.1. SADT (IDEF0)

1.3.2.2. IDEF

1.3.2.3. ERA/IDEFlx

1.3.2.4. IDEF

1.3.2.5. Метод диаграмм потоков данных

1.3.2.6. UML

1.3.2.7. DATARUN

1.3.2.8. Oracle CASE Method

1.3.2.9. SSADM

1.3.3. Визуальные нотации

1.3.4. Сравнение методологий

1.4. Обзор средств поддержки визуального проектирования

1.4.1. Общие положения

1.4.2. Характеристики САБЕ-средств.

1.4.2.1. Средства анализа

1.4.2.2. Средства анализа и проектирования

1.4.2.3. Средства проектирования баз данных

1.4.2.4. Средства разработки приложений

1.4.2.5. Средства реинжиниринга

1.4.2.6. Средства документирования

1.4.3. Сравнительный анализ САБЕ-средств

1.5. Использование средств визуального моделирования при создании САПР.

1.6. Выводы и цель работы.

Глава 2. Уточнение формального описания концептуального представления предметной задачи.

2.1. Состав концептуального представления предметной задачи.

2.2. Уточнение формального описания концептуального представления предметной задачи.

2.2.1. Общие положения

2.2.2. Уточнение формального описания концептуальной модели объектного уровня для предметной задачи.

2.2.3. Уточнение формального описания концептуальной модели конкретного уровня для предметной задачи.

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

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

2.5. Выводы.

Глава 3. Разработка метода формирования и моделирования визуального представления системы знаний проектно-конструкторских задач

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

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

3.2.1. Общие положения

3.2.2. Формальное описание визуального представления концептуальных моделей объектного уровня

3.2.2.1. Общие положения

3.2.2.2. Формальное описание визуального представления структуры предметных категорий.

3.2.2.3. Формальное описание визуального представления структуры схем предметных категорий.

3.2.2.4. Формальное описание визуального представления структуры предметных зависимостей.

3.2.2.5. Формальное описание визуального представления взаимосвязей предметных зависимостей и предметных категорий.

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

3.2.3.1. Общие положения

3.2.3.2. Формальное описание визуального представления структуры экземпляров предметных категорий.

3.2.3.3. Формальное описание визуального представления структуры схем экземпляров предметных категорий.

3.2.3.4. Формальное описание визуального представления структуры экземпляров предметных зависимостей.

3.2.3.5. Формальное описание визуального представления взаимосвязей предметных зависимостей и предметных категорий.

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

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

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

3.3.1. Общие положения

3.3.2. Определение типологии простых вершин функционального графа.

3.3.3. Формирование содержательной структуры для сложных вершин функционального графа.

3.3.4. Определение типологии сложных вершин функционального графа.

3.4. Выводы.

Глава 4. Разработка методики визуализации концептуальных моделей проектноконструкторских задач.

4.1. Концептуальное моделирование при создании

САПР машиностроительного назначения

4.2. Требования к визуальному представлению концептуальных моделей.

4.2.1. Особенности визуального представления

4.2.2. Восприятие визуальных образов

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

4.3.1. Общие положения

4.3.2. Свойства визуального представления понятийной структуры.

4.3.3. Свойства визуального представления функциональной структуры.

4.3.4. Свойства визуального представления содержательной структуры.

4.4. Построение визуальных моделей системы знаний проектно-конструкторских задач.

4.4.1. Общие положения

4.4.2. Формирование понятийных структур

4.4.3. Формирование функциональных структур

4.4.4. Формирование содержательной структуры

4.5. Дополнительная обработка визуальных моделей.

4.5.1. Определение типологии элементарных предметных зависимостей.

4.5.2. Построение содержательной структуры для сложных предметных зависимостей

4.5.3. Определение типологии сложных предметных зависимостей.

4.5.4. Расслоение моделей под постоянную и проектную информацию.

Глава 5. Разработка программных средств поддержки визуализации концептуальных моделей проектно-конструкторских задач

5.1. Требования к средствам поддержки визуализации концептуальных моделей.

5.2. Выбор программно-технических средств реализации.

5.3. Структура программного комплекса

5.3.1. Основные структурные единицы комплекса

5.3.2. Основные функции ядра

5.3.2.1. Функции моделирования

5.3.2.2. Функции формирования изображения

5.3.2.3. Функции анализа параметров модели

5.3.2.4. Функции работы с файлами проекта

5.3.2.5. Вспомогательные функции

5.4. Общие принципы функционирования разработанного программного комплекса.

5.4.1. Основные функции главного меню программного комплекса.

5.4.2. Рабочий экран и панели инструментов

5.4.3. Контекстные меню.

5.5. Работа в "CODA"

5.5.1. Основные действия пользователя "CODA" при работе с проектом.

Введение диссертации (часть автореферата) на тему «Разработка методов и средств поддержки визуального концептуального моделирования проектно-конструкторских задач при создании САПР машиностроительного назначения»

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

Для обеспечения поддержки разработки автоматизированных систем в настоящее время используется широкий спектр инструментальных средств, методов и технологий. Он включает в себя как простые программы, так и сложные программные комплексы. В основе этих инструментальных средств лежит одна или несколько существующих методологий разработки автоматизированных систем или САБЕ-методологий.

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

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

К новым подходам в области автоматизации проектирования относится методология автоматизации интеллектуального труда (МАИТ), поддерживающая создание автоматизированных систем промышленным способом. Процесс создания САПР машиностроительного назначения на базе МАИТ включает в себя следующие этапы:

- предпроектное обследование организации;

- проектирование САПР;

- подготовка реализации;

- изготовление САПР.

Преимуществами такого подхода к созданию САПР являются: - последовательное отображение формальных моделей прикладной задачи; - наличие моделей как программно-независимых, так и ориентированных на конкретную программно-техническую среду; - наличие закономерностей формирования и отображения формализованных моделей.

В рамках МАИТ разработана методика концептуального моделирования предметных задач, позволяющая фиксировать систему знаний предметной области в виде формализованных моделей и обеспечивающая смысловое единство всех последующих формально-языковых представлений этих задач. Фиксация системы знаний проектно-конструкторских задач в соответствии с указанной методологией осуществляется вручную в форме диаграмм и в автоматизированном режиме в форме спецификаций. При этом при переносе информации с диаграмм в спецификации не исключались ошибки, что снижало эффективность всего концептуального моделирования в целом. Поэтому особую актуальность приобретает задача визуального моделирования системы знаний предметных задач при создании САПР машиностроительного назначения.

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

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

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

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

В качестве альтернативы существующим САБЕ-методологиям предлагается использовать методологию автоматизации интеллектуального труда (МАИТ), поддерживающую промышленный способ создания САПР. По сравнению с другими методологиями, МАИТ обладает рядом преимуществ. Для представления системы знаний предметной задачи

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

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

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

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

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

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

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

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

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

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

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

В приложении приводятся диаграммы, спецификации и отчеты по функциональной составляющей концептуальной модели задачи «Проектирование узла стойка для агрегатного станка с поворотным столом», а также последовательность работы с программным средством "ССЮА" .

1. Анализ существующих методов и средств визуального моделирования системы знаний проектно-конструкторских задач на этапе проектирования САПР

Заключение диссертации по теме «Системы автоматизации проектирования (по отраслям)», Сирота, Илья Михайлович

Заключение и общие выводы

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

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

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

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

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

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

6. Разработана автоматизированная система поддержки визуального построения системы предметных зависимостей при создании САПР машиностроительного назначения. С использованием данного программного средства в АО «Мое СКВ АЛ и АС» была проведена разработка автоматизированной подсистемы проектирования узла стойка.

Список литературы диссертационного исследования кандидат технических наук Сирота, Илья Михайлович, 1999 год

1.Калянов Г.Н. CASE структурный системный анализ (автоматизация и применение). М.: Лори, 1996

2. Мартинес Ф. Синтез изображений. Принципы, аппаратное и программное обеспечение. Пер. с франц. М.: Радио и связь, 1990. 192 с.

3. Организация взаимодействия человека с техническими средствами АСУ. В 7 кн. Кн. 4. Отображение информации; Практ. Пособие / В. С. Гасов, А. И. Коротаев, С. И. Сенькин. Под ред. В. Н. Четверикова. М. : Высш. шк., 1990. 111 с.

4. Разработка САПР. В 10 кн. Кн. 1. Графические системы САПР., А. В. Петров, В. М. Черненький; М. : Высшая школа, 1990. 148 с.

5. Гилой В. Интерактивная машинная графика: структуры данных, алгоритмы, языки. Пер. с англ./Под ред. Ю.М. Баяковского. М.: Мир, 1981.

6. Принс М.Д. Машинная графика и автоматизация проектирования. М.: Советское радио, 1975. 230 с.

7. Дейт Дж. К. Введение в системы баз данных. Киев: Диалектика, 1998. 784 с.

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

9. Чен П.П.Ш. Модель "сущность-связь" шаг к единому представлению о данных/СУБД, №3, 1995.

10. Вендров A.M. CASE-технологии. Современные методы и средства проектирования информационных систем, М., Финансы и статистика ,1998

11. Автоматизированное проектирование и производство в машиностроении / Ю. М. Соломенцев, В. Г. Митрофанов,

12. A. Ф. Прохоров и др.; Под. общ. ред. Ю. М . Соломенцева,

13. B.Г. Митрофанова. М.: Машиностроение, 1986. 256 с.

14. Энкарначчо Ж., Шлехтендаль Э. Автоматизированное проектирование. Основные понятия и архитектура систем. Пер. с англ. М.: Радио и связь, 1986. 288 с.

15. Грувер М., Зиммерс Э. САПР и автоматизация производства. Пер. с англ. М.: Мир, 1987. 528 с.

16. Разработка САПР. В 10 кн. Кн. 7. Проблемы и принципы создания САПР. Практ. пособие / В. Е. Климов; Под ред. А. В. Петрова М.: Высшая школа, 1990. 142 с.

17. Разработка САПР. В 10 кн. Кн. 3. Проектирование программного обеспечения САПР. Б. С. Федоров, Н. Б. Гуляев; Под ред. А. В. Петрова. М. : Высшая школа, 1990. 134 с.

18. Корячко В.П., Курейчик В.М., Норенков И. П. Теоретические основы САПР: Учебник для вузов. М. : Энергоатомиздат, 1987. 400 с.

19. Соломенцев Ю.М., Волкова Г. Д. Представление знаний при автоматизации проектно-конструкторской деятельности / Межотрасл. научн.-техн. сб. «Техника. Экономика» Сер. «Автоматизация проектирования» М. : ВИМИ, 1994, вып.4, с. 3-6.

20. Джонс Дж. К. Методы проектирования. Пер. с англ. -М.: Мир, 1986. 326 с.

21. Бутаков Е.А. Методы создания качественного программного обеспечения ЭВМ. М. : Энергоатомиздат, 1984. 232 с.

22. Разработка САПР. В 10 кн. Кн. 2. Системно-технические задачи создания САПР. А. Н. Данчул, Л. Я. Полуян; Под ред. А. В. Петрова. М.: Высшая школа, 1990. 126 с.

23. Теория и методы автоматизации проектирования вычислительных систем / Под ред. М. Брейера. М.: Мир, 1977. 282 с.

24. Разработка САПР. В 10 кн. Кн. 8. Математические методы анализа производительности и надежности САПР. Практ. Пособие /В. И. Кузовлев, П. Н. Шкатов. Под ред. А. В. Петрова. М.: Высш. шк., 1990. 144 с.

25. IDEF1 Information Modeling. A Reconstruction of the Original Air Force Wright Aeronautical Laboratory-Technical Report AFWAL-TR-81-4023. Ed.: Mayer R. J., Knowledge Based Systems, Inc.

26. Mayer R.J., Menzel C.P., Painter M.K., deWitte P.S., Blinn T., Perakath B. Iformation integration for concurrent engineering (IICE) IDEF3 process description capture method report AL-TR-1995-XXXX., Interim technical report, 1995.

27. Integration definition for information modeling (IDEF1X) A standard announcement. Federal Information Processing Standards Publication 184, 1993.

28. Crompton P.N. Computer Systems: Standards Manual, Pitchmark Ltd, 1996.

29. Silverrun-ERX. Technical Papers. Silverrun Technologies Inc.

30. Быков В. П. Методическое обеспечение САПР в машиностроении. J1. : Машиностроение. Ленингр. Отделение, 1989. 255 с.

31. Тамм Б.Г., Пуусепп М.Э., Таваст P.P. Анализ и моделирование производственных систем. / Под общ. ред. Б. Г. Тамма. М.: Финансы и статистика,. 1987. 191 с.

32. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++. Пер. с англ. М. : Издательство Бином, СП6.:Невский диалог, 1999. 560 с.

33. Калянов Г.Н. Номенклатура CASE-средств и виды проектной деятельности. СУБД, №2, 1997. с.61-64.

34. Калянов Г.Н. Как внедрить CASE в вашей организации? PC Week (RE), №17, 1999.

35. Калянов Г.Н. Консалтинг при автоматизации предприятий: подходы, методы, средства. М.:Синтег, 1997. 230 с.

36. Crompton P.N. Computer Systems Standards Manual, Oracle CASE Method, Pitchmark Ltd, 1996.

37. Mayer R.J., Menzel C.P., deWitte P.S., Perakath В., Fillion F., Futrell M.T., Lingineni M. IDEF5 Method Report, 1995

38. C. Ashworth, L. Slater. An introduction to SSADM Version 4, McGraw-Hill, 1993.

39. Калянов Г.H., Козлинский А.В., Лебедев В.Н. Сравнительный анализ структурных методологий. Системы Управления Базами Данных №5-6/97 стр. 75-7 8

40. Калянов Г.Н., Козлинский А.В., Лебедев В.Н. Сравнение и проблема выбора методов структурного системного анализа // PC WEEK/RE, 1996. №34 (27 августа).

41. Е.З. Зиндер. Новое сиситемное проектирование: информационные технологии и бизнес-реинжиниринг. СУБД, №4, 1995.

42. Calvert D. The Booch Method of Object-Oriented Design, http://hebb.cis.uoguelph.ca/~deb/27343/Lectures /booch.html, 1997.

43. Йодан Э. Структурное проектирование и конструирование программ. М.: Мир, 1979. 415 с.

44. Нечипоренко В.И. Структурный анализ систем. М. : Советское радио, 1977.

45. Integration definition for function modeling (IDEFO) / Draft Federal Information Processing Standards Publication 183, 1993.

46. INFORMATION INTEGRATION FOR CONCURRENT ENGINEERING (IICE) IDEF4 OBJECT-ORIENTED DESIGN METHOD REPORT, 1995.

47. Волкова Г.Д., Курышев С. M. Анализ и моделирование традиционного процесса решения предметных задач. Автоматизация и управление в машиностроении, №7, 1999.

48. Б.А.Позин. Современные средства программной инженерии для создания открытых прикладных информационных систем. СУБД №1, 1995.

49. Bpwin Factsheet, http://www.logicworks.com/bpwin, 1997 .

50. Маклаков С. Золотой ключик BPwin, Мир ПК, №5, 1999, с. 42-47.

51. Горчинская О.Ю. Designer/2000 новое поколение CASE-подуктов фирмы Oracle. СУБД. №3. 1995

52. Benbrook H., Finta M., Scott A., Wingate G., Designer/2000: System Modeling and Tools, vol. 1

53. Advanced Information System и др., Oracle 8. Энциклопедия пользователя./Киев : ДиаСофт, 1998г., 8 62 с.-/Kf

54. Панащук С. А. Разработка информационных систем с использованием CASE-системы Silverrun. СУБД. 1995. №3.

55. SILVERRUN Technologies Ltd. SILVERRUN-BPM. 1998. http://www.silverrun.com/product/bpm/srbpm.htm.

56. SILVERRUN-ERX, An introduction to SILEVRRUN data modeling approach.

57. Musseman F. PowerDesigner: Strategic Modeling Solution for Fleet Bank. Product Review. DM Review.1998. №2.

58. Горин С.В., Тандоев А.Ю. CASE-средство S-Designor 4.2 для разработки структуры базы данных. СУБД. 1996. №1.

59. Sybase PowerBuilder. The bridge from client/server to Web and distributed applications.

60. Петров Ю.К. JAM инструментальное средство разработки приложений в информационных системах архитектуры «клиент/сервер», построенных на базе РСУБД. СУБД. 1995. №3.

61. Compuware UNIFACE. UNIFACE Technology Overview.

62. Gilbert J. A Comparison of Five Object Oriented Design Tools, Hitachi Telecom, 1996.

63. Developing Visio Solutions, Visio Corporation, 1997.

64. CAD Systems Development: Tools and Methods/Ed.: D. Roller, P. Brunet. Berlin: Springer, 1997. 362 c.

65. Норенков И. П. Введение в автоматизированное проектирование технических устройств и систем. М. : Высшая школа. 1980.

66. Искусственный интеллект. Книга 3. Программные и аппаратные средства: Справочник / Под ред. Э.В. Попова. М.: Радио и связь, 1990. 368 с.

67. Калянов Г.Н. Российский рынок CASE-средств. / PC Week/RE, №26, 1998.

68. Волкова Г.Д., Сирота И.М. Автоматизация проектирования прикладных систем. // Автоматизация и управление в машиностроении, №7, 1999.

69. Е.Ф. Кодд. Реляционная модель данных для больших совместно используемых банков данных. Системы Управления Базами Данных # 1/95 стр. 145-160.

70. Э.Ф. Кодд. Расширение реляционной модели для лучшего отражения семантики. Системы Управления Базами Данных #2/95

71. М.Р. Когаловский. Абстракции и модели в системах баз данных. Системы Управления Базами Данных #04-05/98.

72. Искусственный интеллект. Книга 2. Модели и методы: Справочник / Под ред. Э.В. Попова. М.: Радио и связь, 1990. 304 с.

73. Перспективы развития вычислительной техники. В 11 кн.: Справ. Пособие / Под ред. Ю. М. Смирнова. Кн. 1: Информационные семантические системы / Н. М. Соломатин. М.: Высш. шк., 1989. 127 с.

74. ЭВМ в проектировании и производстве / Под ред. Г.В. Орловского. JT.: Машиностроение.

75. Разработка САПР. В 10 кн. Кн. 4. Проектирование баз данных САПР. О. М. Вейнеров, Э. Н. Самохвалов; Под ред. А. В. Петрова. М.: Высшая школа, 1990. 152 с.

76. Ерусалимский Я.М. Дискретная математика: теория, задачи, приложения. -М. : Вузовская книга, 1998. 280 с.

77. Ловас Л., Пламмер М. Прикладные задачи теории графов. Теория паросочетаний в математике, физике, химии. Пер. с англ. М.: Мир, 1998. 653 с.

78. Харари Ф. Теория графов. М.: Мир, 1973. 300 с.

79. Тимковский В.Г. Дискретная математика. Булевы функции и графы / Учебное пособие. М.: Станкин, 1984. 88 с.

80. Зубов B.C. Справочник программиста. Базовые методы решения графовых задач и сортировки. М. : Филинъ, 1999.

81. Свами М., Тхуласираман К. Графы, сети, алгоритмы. М.: Мир, 1984.

82. Зыков A.A. Основы теории графов. М.: Наука, 1987.