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

ВВЕДЕНИЕ

1. АНАЛИЗ СУЩЕСТВУЮЩИХ МЕТОДОВ И СРЕДСТВ ПРЕДСТАВЛЕНИЯ МОДЕЛИ ЗНАНИЙ ПРИ ПРОЕКТИРОВАНИИ

АВТОМАТИЗИРОВАННЫХ СИСТЕМ

1.1. Направления и подходы к созданию систем автоматизированного проектирования

1.2. Характеристика методологий, применяемых при создании автоматизированных систем

1.2.1. ДО-подход - методология Чена

1.2.2. ЗЛ/РГ-методология - методология структурного анализа и проектирования

1.2.3. Методы семейства IDEF

1.2.3.1. IDEF0 - функциональное моделирование

1.2.3.2. IDEF1 - информационное моделирование

1.2.3.3. IDEFlx - метод разработки реляционных баз данных

1.2.3.4. IDEF3 - документирование технологических процессов

1.2.3.5. IDEF5 — стандарт онтологического исследования

1.2.4. Объектно-ориентированный подход

1.2.5. Методы искусственного интеллекта

1.2.5.1. Семантические сети

1.2.5.2. Фреймовая методология

1.2.5.3. Логические модели

1.2.5.4. Продукционные модели

1.2.6. Методология автоматизации интеллектуального труда

1.3. Характеристика средств разработки автоматизированных систем

1.3.1. Комплекс продуктов AllFusion Modeling Suite

1.3.2. Design/IDEF (Meta Software Corp.)

-31.3.3. Silverrun (Computer Systems Advisers, Inc.)

1.3.4. Rational Rose {Rational Software Corp.)

1.3.5. CASE.Аналитик (Макропроджект)

1.3.6. Oracle Designer 4Л

1.3.7. Инструментальные средства МАИТ

1.4. Особенности проектирования машиностроительных САПР

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

2. РАЗРАБОТКА МЕТОДА АНАЛИТИЧЕСКОЙ ОБРАБОТКИ КОНЦЕПТУАЛЬНЫХ МОДЕЛЕЙ ПРЕДМЕТНЫХ ЗАДАЧ

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

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

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

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

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

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

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

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

2.2.2. Формальное описание содержания сложных зависимостей 1-го рода

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

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

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

2.2.3. Формальное описание типологии предметных зависимостей 1-го рода

2.2.4. Формальное описание расслоения концептуальной модели предметной задачи под проектную и постоянную информацию

РАЗРАБОТКА МЕТОДИКИ АНАЛИТИЧЕСКОЙ ОБРАБОТКИ, ВИЗУАЛИЗАЦИИ И ДОКУМЕНТИРОВАНИЯ КОНЦЕПТУАЛЬНЫХ ПРЕДСТАВЛЕНИЙ ПРЕДМЕТНЫХ ЗАДАЧ

3.1. Общая характеристика процесса аналитической обработки

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

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

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

3.3. Формирование предметных зависимостей 2-го рода

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

3.3.2. Правила заполнения спецификаций описания предметных зависимостей 2-го рода

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

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

3.4.2. Правила заполнения спецификаций описания содержания сложных предметных зависимостей 1-го рода

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

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

3.5.2. Правила заполнения спецификаций описания типологии предметных зависимостей 1-го рода

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

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

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

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

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

3.7.2. Визуализация концептуальной структуры

3.7.3. Визуализация системы предметных зависимостей 1 -го рода

3.7.4. Визуализация концептуальной модели в целом

3.8. Документирование концептуальных представлений

4. РАЗРАБОТКА ПРОГРАММНЫХ СРЕДСТВ ПОДДЕРЖКИ АНАЛИТИЧЕСКОЙ ОБРАБОТКИ, ВИЗУАЛИЗАЦИИ И ДОКУМЕНТИРОВАНИЯ КОНЦЕПТУАЛЬНЫХ ПРЕДСТАВЛЕНИЙ ПРЕДМЕТНЫХ ЗАДАЧ

4.1. Общее описание программного комплекса

4.2. Структура информационной базы

4.2.1. Описание табличной структуры базы данных

4.2.2. Описание содержания таблиц базы данных

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

4.4. Инструкция по эксплуатации программного комплекса

4.4.1. Функции администратора

4.4.2. Функции пользователя

4.5. Тестовый пример

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

Традиционно для этих целей применяются CASE-средства (Computer Aided Software Engineering), которые реализуют определенную методологию создания прикладных систем. Основу этих программных комплексов составляет набор инструментальных средств, позволяющих анализировать структуру функций предметной области, моделировать организацию данных на этапах разработки и сопровождения автоматизированной системы в соответствии с информационными потребностями пользователей.

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

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

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

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

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

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

Научная новизна работы:

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

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

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

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

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

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

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

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

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

Болыиинство современных инструментальных средств автоматизации проектирования опирается в своей работе на одну или несколько указанных методологий и как следствие, тоже не лишены недостатков:

- фиксируя составляющие модели, С45!Е-средства не обеспечивают возможности сформировать единое семантическое представление, на основе которого можно проводить дополнительную аналитическую обработку модели;

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

- несмотря на наличие образных и описательных средств каждого С4Ж-продукта, часть модельных описаний отражается в них недостаточным образом, оставаясь чисто декларативной;

- ориентация на программно-техническую среду реализации автоматизированных систем, даже в случае поддержки многоплатформенной реализации наилучших результатов можно достичь только при использовании «родных» средств;

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

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

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

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

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

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

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

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

К числу подобных процедур относятся:

- формирование системы зависимостей 2-го рода, отражающих существование ограничений на допустимые сочетания монадических категорий в рамках схем категорий;

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

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

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

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

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

- формирования схем предметных категорий и их бинарных связей;

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

- определения содержания сложных предметных зависимостей 1-го рода;

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

- расслоения концептуальной модели под постоянную информацию;

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

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

В четвертой главе описана реализация программного средства поддержки аналитической обработки концептуальных моделей. В качестве средств реализации выбрана СУБД MS Access 2000, совместимая с другими компонентами MS Office - Excel, Word и PowerPoint - и обеспечивающая, благодаря последней версии встроенного языка программирования Visual Basic для приложений, единую интегрированную среду во всех приложениях Office.

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

Разработанные автоматизированные процедуры являются программными модулями, расширяющими возможности средства поддержки концептуального моделирования «ASCOM».

-223-ЗАКЛЮЧЕНИЕ

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

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

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

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

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

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

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

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

-225

1. Соломенцев Ю.М. Волкова Г.Д. Тенденции развития и направления исследований в области информатики. // Производственно-технический журнал «Машиностроитель», №6, 2000, с.22-24.

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

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

4. Разработка САПР. В 10 книгах. Книга 1. Проблемы и принципы создания САПР. // Практич. пособие. Петров А.В., Черненький В.М. Под ред. Петрова А.В. М.: Высшая школа, 1990, 143с.

5. Норенков И.П. Основы автоматизированного проектирования. // Учебник для вузов. М.: МГТУ им.Баумана, 2000, 316с.

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

7. Волкова Г.Д. Концептуальное моделирование при создании систем автоматизации проектирования. // Техника-машиностроение. М.: НТП «Вираж-центр», 2000, №2, с.92-102.

8. Волкова Г.Д., Крючкова С.Е. Методологические основания представления знаний в системах автоматизированного проектирования. / Сборник «Современная философия и социальные проблемы техники». М.: ИНИОН, Депонир. рук. №43056 от 18.07.1990.

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

10. Росс Д. Структурный анализ (SA): язык для передачи понимания. // Требования и спецификации в разработке программ. М.: Мир, 1984, с.240-284.

11. Марка Д, МакГоуэн К. Методология структурного анализа и проектирования SADT. // М.: Метатехнология, 1993, 240с.

12. Черемных С.В., Семенов И.О., Ручкин B.C. Структурный анализ систем. IDEF-тех-нологии. // М. Финансы и статистика, 2001, 208 с.-22613. Головина Е.Ю. Модели и методы проектирования информационных систем. // Учебное пособие. М.: МГТУ «Станкин», 2002, 92с.

13. CALS технологии. Методология функционального моделирования. / Госстандарт России. М., 2000.

14. Моделирование бизнес-процессов. / Электронный учебник. ГОУ «ГМЦ CALS-тех-нологий». М., 2002.

15. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++. // 2-е изд. М.: Бином, 1999, 558с.

16. Элиенс А. Принципы объектно-ориентированной разработки программ. // М.: Вильяме, 2002, 496с.1S. Фридман A.J1. Основы объектно-ориентированной разработки программных систем. // М.: Финансы и статистика, 2000, 192с.

17. Лорьер Ж.-Л. Системы искусственного интеллекта. // М.: Мир, 1991. 568с.

18. Соломатин Н.М. Информационно-семантические системы. // М.: Высшая школа, 1989, 127с.

19. Минский М. Структура для представления знания. // Психология машинного зрения. -М.: Мир. 1978. с.249-338.

20. Корнеев В.В., Гареев А.Ф., Васютин С.В., Райх В.В. Базы данных: интеллектуальная обработка информации. М.: Нолидж, 2000. 352 с.

21. Волкова Г.Д. Методология автоматизации проектно-конструкторской деятельности в машиностроении. // Учебное пособие. М.: МГТУ «Станкин», 2000, 81с.

22. Волкова Г.Д. Анализ автоматизации интеллектуального труда. // «Информатика-машиностроение». М.: НТП «Вираж-центр», 1999, №5-6, с.52-55.

23. Волкова Г.Д. Семячкова Е.Г. Анализ проблем создания, эксплуатации и развития систем автоматизации проектирования в машиностроении. // «Информатика-машиностроение». М.: НТП «Вираж-центр», 1999, №2, с. 16-26.

24. Вендров A.M. Ниша и внедрение CASE-средств. / «ComputerWorld: Директору ИС», 2000, ноябрь.-22728. Калянов Г.Н. Консалтинг при автоматизации предприятий: подходы, методы, средства. //М.: Синтег, 1997, 316с.

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

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

27. Корпоративный менеджмент. / http://www,cfin.ru

28. Норман Д. Семантические сети. // Психология памяти. М.: Че Ро. 2000, с.350-356.

29. Минский М. Фреймы для представления знаний. // М.: Энегрия, 1979, 152с.

30. Поспелов Д.А. Моделирование рассуждений. // М.: Радио и связь, 1989, 184с.

31. Гетманов А.Д. Учебник по логике. // 2-е изд. -М.: Валдос, 1994, 303с.

32. Нейлор К. Как построить экспертную систему. // М.: Энергоатомиздат, 1991,287с.

33. Семячкова Е.Г. Разработка методов и средств поддержки процесса инфологическо-го моделирования при создании САПР машиностроительного назначения. / Диссертация на соискание ученой степени кандидата технических наук. -М.: 1996, ???с.

34. Internet & Software Company. / http://www.interface.ru

35. Калянов Г.Н. Российский рынок CASE-средств. / PCWeek/Russian Edition, 1998, июнь.

36. Маклаков С.В. BPwin и ERwin. CASE-средства разработки информационных систем. // 2-е изд. М.: Диалог-МИФИ, 2002, 304с.

37. Маклаков С.В. Моделирование бизнес-процессов с AllFusion Process Modeler. // М.: Диалог-МИФИ, 2003, 236с.

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

39. Центр информационных технологий. / http://www.citforum.ru/

40. Т.Кватрани. Rational Rose 2000 и UML. Визуальное моделирование. // М.: ДМК, 2001, 176с.

41. Трофимов С.А. CASE-технологии: практическая работа в Rational Rose. // М.: Бином, 2002, 288с.

42. CASE.Аналитик для IBM PC. // М.: НТП «Эйтекс», 1993, 57с.

43. Колетски П., Дорси П. Oracle Веэ1£пег.Настольная книга пользователя. // М.: Лори, 1999, 592с.

44. Бэйкер P. Oracle 8i. Создание Web-приложений. // М.: Лори, 2001, 723с.

45. Oracle Corporation. / http://www.oracle.com/ru

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

47. Волкова Г.Д. Разработка взаимосвязанных информационных моделей процесса проектирования объектов станкостроения на этапе предпроектных исследований при создании САПР. / Диссертация на соискание ученой степени кандидата технических наук. -М.: 1987, 291с.

48. Червяков JI.M., Волкова Т.Д., Щукин М.В. Автоматизация концептуального моделирования корпоративной информационной системы управления качеством в образовательном учреждении. // Материалы научно-технической конференции «Качество». -М. 2001, с.76-77.

49. Волкова Г.Д. Особенности проектно-конструкторской деятельности и их влияние на организацию и представление знаний в автоматизированной среде. // «Информатика-машиностроение». -М.: НТП «Вираж-центр», 1999, №3, с.21-25.

50. Соломенцев Ю.М., Павлов В.В. Моделирование технологической среды машиностроения. // М.: МГТУ «Станкин», 1994, 104с.

51. Волкова Г.Д. Новоселова О.В., Семячкова Е.Г. Проектирование автоматизированных систем в машиностроении. // Учебное пособие. М.: МГТУ «Станкин», 2002, 162с.

52. Краснощеков П.С., Савин Г.И., Федоров В.В., Флеров Ю.А. Автоматизация проектирования сложных объектов машиностроения. / Автоматизация проектирования, 1996, №1, с.3-12.

53. Хубка В. Теория технических систем. // М.: Мир, 1987, 208 с.

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

55. Сапр и графика. / http://www.sapr.ru

56. Красильников В.Б., Отчиченко В.Л., Галитулин А.Х., Кругликов А.В. Системы инженерии знаний: структура, инструментальны средства, технология разработки. / Зарубежная радиоэлектроника, 1993, №3, с.22-34.

57. Орлов С. Программное обеспечение CASE. / Computer Week Moscow, 1996, №19, c.29-45.

58. Техническое творчество: теория, методология, практика. // Под редакцией Поло-винкина А.И., Попова В.В. -М.: НПО «Информ-система», NAUKA, 1995, 410с.

59. Соловьев А.Н., Стемпловский A.JI. Методология проектирования сложных вычислительных систем. / Автоматизация проектирования, 1996, №1, с. 13-21.

60. Харитонова И.А., Михеева В.Д. Microsoft Access 2000: разработка приложений. // Спб.: БХВ-Петербург, 2001, 832с.

61. Литвин П., Гетц К., Гунделой М. Разработка настольных приложений в Access 2002. // Спб.: Питер, 2002, 1008с.

62. Все про SQL и клиент/серверные технологии. / http:/ wvwv.sql,.ru/

63. Михеева В.Д., Харитонова И.A. Access 2002 в подлиннике. // Спб.: БХВ-Петербург, 2001, 1040с.

64. Послед Б.С. Access 2002: Приложения баз данных. Лекции и упражнения. // М.: ДиаСофт, 2002, 656с.

65. Дубнов П.Ю. Access 2000. Проектирование баз данных. // М.: ДМК, 2000, 272с.

66. Штайнер Г. Access 2000. Справочник. // М.: Лаборатория базовых знаний, 2000, 480с.

67. Штайнер Г. VBA 6.3. Справочник. // М.: Лаборатория базовых знаний, 2002, 784с.-232