Вопросно-ответные инструментально-технологические средства в концептуальном проектировании автоматизированных систем тема диссертации и автореферата по ВАК РФ 05.13.12, кандидат технических наук Типикин, Всеволод Валентинович

• Типикин, Всеволод Валентинович
• кандидат технических наук
• 2007

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

Введение.

ГЛАВА ПЕРВАЯ. ВОПРОСНО-ОТВЕТНЫЙ ПОДХОД К КОНЦЕПТУАЛЬНОМУ ПРОЕКТИРОВАНИЮ АВТОМАТИЗИРОВАННЫХ СИСТЕМ.

1.1 Концептуальное проектирование автоматизированных систем.

1.1.1 Понятие автоматизированной системы.

1.1.2 Проблемы разработки АС.

1.1.3 Концептуальное проектирование.

1.1.4 Концептуальные модели. t 1.1.5 Обобщенный анализ области исследований.

1.2 Обзор.

1.2.1 Стратегический уровень.

1.2.2 Тактический уровень.

1.2.3 Оперативный уровень.

1.2.4. Обобщённая классификация концептуальных моделей.

1.3 Вопросно-ответные рассуждения в концептуальном проектировании.

1.3.1 Методы и средства вопросно-ответных рассуждений.

1.3.2 Вопросно-ответные рассуждения в разработке «Функциональной системы подготовки».

1.3.3 Анализ вопросно-ответного процесса.

1.4 Постановка задачи исследований.

1.4.1 Формирование постановки задачи и извлечение ответов.

1.4.2. Предварительный вопросно-ответный анализ задачи Z*.

1.5 Мотивациоиио-целевая структура задачи исследований.

Выводы по первой главе.

ГЛАВА ВТОРАЯ. СИСТЕМА ТЕХНОЛОГИЧЕСКИХ ЗАДАЧ.

2.1 Формирование артефактов концептуального проектирования.

2.1.1 Активности концептуального проектирования.

2.1.2 Комплектование артефактов.

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

2.1.4 Задачи концептуального проектирования.

2.2 Типовые технологические задачи.

2.2.1 Место и вклад технологических задач.

2.2.2 Метод выявления технологических задач.

2.2.3 Имитация пошаговой детализации проекта.

2.2.4 Технологические задачи вопросно-ответного управления.

2.2.5 Система методик формирования и использования ОПЫТА.

2.3 Систематизация технологических задач.

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

Выводы по второй главе.

ГЛАВА ТРЕТЬЯ. МЕТОДИКИ РЕШЕНИЯ ТЕХНОЛОГИЧЕСКИХ ЗАДАЧ.

3.1 Методики концептуального проектирования.

3.1.1 Форма представления методик.

3.1.2 Алгоритмическое представление методик.

3.2 Методики вопросно-ответного управления.

3.3 Методики формирования и использования ОПЫТА.

3.4 Управление прерываниями.

3.4.1 Проблемы прерываний.

3.4.2Подход к прерываниям.

3.5 Прерывания в системе задач процессора NetWIQA.

3.б.Динамическая систематизация технологических задач.

Выводы по третьей главе.

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

4.1 Инструментально-технологическая среда NetWIQA.

4.2 Пассивные варианты реализации методик технологических задач.

4 J Активные варианты реализации методик.

4.4 Формирование артефактов комплекса перевозки грузов и техники.

4.4.1 Вопросно-ответный анализ комплекса перевозки грузов и техники.

4.4.2 Артефакты комплекса перевозки грузов и техники.

4.5 Разработка макета системы прерываний.

Выводы по четвертой главе.

Введение диссертации (часть автореферата) на тему «Вопросно-ответные инструментально-технологические средства в концептуальном проектировании автоматизированных систем»

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

За последние 10 лет положение с успешностью разработок АС постепенно улучшалось (оценки и отчёты корпорации Standish Group, США). На повышение степени успешности разработок существенное влияние оказывают:

- новые и модифицированные стандарты (например, ГОСТ Р ИСО/МЭК 12207-99, StdIEEE-1471-2000)-,

- опыт, вложенный в нормативные архитектурные схемы (например, DO-DAF, TOGAF);

- современные инструментально-технологические среды (например, на базе Rational Unified Process).

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

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

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

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

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

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

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

Ориентируясь на современную практику разработки автоматизированных систем, было принято решение использовать опыт объектно-ориентированного анализа и проектирования (в частности опыт, вложенный в мастер-методологию Rational Unified Process (RUP) и ее средства) для спецификации направления исследований.

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

Предметом исследования диссертационной работы является система средств вопросно-ответного (Question-Answer, QA) формирования и использования совокупности концептуальных моделей, согласованных с основными международными, национальными и производственными стандартами на проектирование сложных автоматизированных систем.

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

Сущность диссертационной работы связана с решением следующих научно-технических задач:

1. Исследовать возможности повышения автоматизации действий разработчиков в задачах вопросно-ответного моделирования технологий объектно-ориентированного анализа и проектирования (ООАП) и аспектно-ориентированного анализа и проектирования (АОАП) сложных АС.

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

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

4. Разработать программную реализацию набора методик в виде системы технологических задач, активных сценариев для их использования в технологиях объектно-ориентированного анализа и проектирования АС.

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

Научную новизну составляют:

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

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

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

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

Основные положения, выносимые на защиту, включают:

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

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

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

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

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

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

Реализация и внедрение результатов работы. Разработанные программные средства и комплекс методик их использования реализованы в составе вопросно-ответного процессора NetWIQA в рамках ОКР, выполненной в ФНПЦ ОАО НПО «Марс».

Апробация работы. Основные положения и результаты диссертационной работы докладывались и обсуждались на следующих конференциях: «Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике» 2005г. и 2006 г (г. Ульяновск), «Interactive Systems And Technologies» 2005г. (г. Ульяновск), «Intelligent Systems 2006» and «Intelligent CAD's 2006» (r. Дивноморск), «Информационно-математические технологии в экономике, технике и образовании» 2006г. (г. Екатеринбург).

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

Во второй главе работы представлены проектные действия с позиций стандартов ГОСТ 19-ой и 34-ой серий, а также с позиций стандарта ИСО/МЕК 12207 в сопоставлении с потоками работ технологии Rational Unified Process. В сопоставлении выделяются этапы, связанные с концептуальным проектированием, и проблемы комплексирования артефактов, вызванные совместным использованием родственных стандартов и технологий. В рамках концептуального проектирования выделяются классы задач проекта АС, служебных задач процесса разработки и технологических задач, обеспечивающих реализацию вопросно-ответной технологии. На основе пошаговой детализации и вопросно-ответного анализа формируется система технологических задач, обеспечивающая реализацию «вопросно-ответного метода концептуального решения задач проекта АС». Представляются подходы к систематизации статики и динамики технологических задач, в том числе и с позиций управления их прерываниями.

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

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

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

Заключение диссертации по теме «Системы автоматизации проектирования (по отраслям)», Типикин, Всеволод Валентинович

Выводы по четвертой главе

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

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

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

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

Заключение

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

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

Получены новые научные результаты:

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

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

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

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

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

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

1. Информационная технология. Комплекс стандартов на автоматизированные системы. Автоматизированные системы. Стадии создания: ГОСТ 34.601-90. Введ. 01.01.1992. -М.: Изд-во стандартов, 1992. - 11 с.

2. Информационная технология. Комплекс стандартов на автоматизированные системы. Техническое задание на создание автоматизированной системы: ГОСТ 34.692-89. Введ. 01.01.1990. - М.: Изд-во стандартов, 1990. -18 с.

3. Информационная технология. Комплекс стандартов на автоматизированные системы. Термины и определения: ГОСТ 34.003-90. Введ. 01.01.1992. - М.: Изд-во стандартов, 1992.-23 с.

4. Информационная технология. Комплекс стандартов на автоматизированные системы. Типовые требования и показатели качества функционирования информационных систем. Общие положения: ГОСТ РВ 51987-2002. Введ. 01.07.2003. - М.: Изд-во стандартов, 2003.

5. Информационная технология. Оценка программной продукции. Характеристики качества и руководства по их применению: ГОСТ Р ИСО/МЭК 9126-93. Введ. 01.07.1994. - М.: Изд-во стандартов, 1994. - 19 с.

6. Информационная технология. Процессы жизненного цикла программных средств: ГОСТ Р ИСО/МЭК 12207-99. Введ. 01.07.2000. - М.: Издательство стандартов, 2000. - 46 с.

7. Методические указания. Автоматизированные системы. Основные положения: РД 50680-88. Введ. 01.01.1990. - М.: Изд-во стандартов, 1990. - 8 с.

8. Оценка качества программных средств. Общие положения: ГОСТ 28195-89. Введ. 01.07.1990. - М.: Изд-во стандартов, 1990. - 39 с.

9. Ю. Software engineering Product quality - Part 1: Quality model: ISO/ШС 9126-1:2001. - Введ. 15.06.2001.-31 с.

10. Software engineering Product quality - Part 2: External metrics: ISO/IEC TR 9126-2:2003. -Введ. 24.02.2004. - M.: Изд-во стандартов, 2004. - 98 с.

11. Software engineering Product quality - Part 3: Internal metrics: ISO/IEC TR 9126-3:2003. -Введ. 23.02.2004. - M.: Изд-во стандартов, 2004. - 74 с.

12. Software engineering Product quality - Part 4: Quality in use metrics: ISO/IEC TR 91264:2004. - Введ. 02.04.2004. - M.: Изд-во стандартов, 2004. - 68 с.

13. Абакумов В. Система сопровождения проектных данных IMAN. // Открытые системы, 1996.-№5(19).-с. 62-65.

14. Алексеев А.В., Борисов А.Н. и др. Интеллектуальные системы принятия проектных решений. Рига: Изд-во «Зинатне», 1997. - 320 с.

15. Боэм Б.У. Инженерное проектирование программного обеспечения / пер. с англ. под ред. А.А.Красилова. -М.: Радио и связь, 1985. 512 с.

16. Боэм Б., Каспар X., Браун Д. Характеристики качества программного обеспечения / пер. с англ. под ред. Е.К.Масловского. М.: Мир, 1981. - 206 с.

17. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++. М.: Бином, 2001. - 560 е.: ил.

18. Буч Г., Рамбо Д. Якобсон А. Язык UML. Руководство пользователя. / пер. с англ. М.: ДМК, 2000.-432 е.: ил.

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

20. Волкова В.Н. Системный анализ и принятие решений: Словарь-справочник: учебное пособие для вузов. М.: Высшая школа, 2004. - 616 с.

21. Вязовой В. Системы управления проектами. Электронный ресурс]: статья. Сайт «Корпоративный менеджмент», 2002. - Режим доступа: http://www.cfin.ru/ software/project/pms-review.shtml, свободный. - Яз. рус.

22. Гаврилова Т.А., Хорошевский В.Ф. Базы знаний интеллектуальных систем. СПб: Питер, 2000. - 384 е.; ил.

23. Гараева Ю., Пономарёв И. CASE-средства: в борьбе со сложностью мира // PC Week, 2004. №20.

24. Десслер Г. Управление персоналом. М.: Бином, 2004. - 799 с.

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

26. Друкер П.Ф. Управление, нацеленное на результаты. Пер. с англ. М.: Технологическая школа бизнеса, 1992. - 192 с.

27. Ефимов В.В. Улучшение качества проектов и процессов: Учебное пособие. Ульяновск: УлГТУ, 2004.-185 с.

28. Избачков Ю., Петров В. Информационные системы. Учебник для ВУЗов. 2-е издание. -СПб: «Питер», 2005. 656 с.

29. Калянов Г.Н. Компьютерная поддержка проектирования систем // PC Week, 1998. №21.

30. Кастеллани К. Автоматизация решения задач управления. / пер. с англ. М.: Мир, 1982. -472 с.

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

32. Кини Р.Л., Райфа X. Принятие решений при многих критериях: предпочтения и замещения. М.: Радио и связь, 1981.

33. Крачтен Ф. Введение в Rational Unified Process. М.: Вильяме, 2002. - 240 е.: ил.

34. Кролл П., Крачтен Ф. Rational Unified Process это легко: Руководство по RUP для практиков / пер. с англ. - М.: КУДИЦ-Образ, 2004. - 427 е.: ил.

35. Курбатов В.И. Логика. Ростов-на-Дону: Феникс, 1996. - 320 с.

36. Курейчик В.М. Генетические алгоритмы. Таганрог: изд-во ТРТУ, 1998. - 242 с.з«. Ларичев О.И. Наука и искусство принятия решений. М.: Наука, 1979.-200 с.

37. Ларичев О.И. Объективные модели и субъективные решения. М.: Наука, 1987, - 143 с.

38. Ларичев О.И. Теория и методы принятия решений. -М.: Логос, 2000. 296 е.: ил.

39. Леффингуэлл Д., Уидриг Д. Принципы работы с требованиями к программному обеспечению. Унифицированный подход. Пер. с англ. М.: Издательский дом «Вильяме», 2002. - 448 с.

40. Ли К. Основы САПР (CAD/CAM/CAE). Пер. с англ. СПб.: Питер, 2004. - 560 с.

41. Липаев В.В. Качество программных систем: Методические рекомендации. / под ред. Полякова А.А. М.: Эдиториал УРСС, 2002. - 400 с.

42. Липаев В.В. Системное проектирование сложных программных средств для информационных систем. М.: Синтег, 2002. - 268 с.

43. Львов В. Создание систем поддержки принятия решений на основе хранилищ данных. Электронный ресурс]: статья. Электронный журнал «Базы данных», 1997. - №3. -Режим доступа: http://www.osp.ru/dbms/1997/03.30.htm, своб. - Яз.рус.

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

45. Норенков И.П. Основы автоматизированного проектирования: Учеб. для вузов. 2-е изд., перераб. и доп. М.: Изд-во МГТУ им. Н.Э.Баумана, 2002. - 336 е.: ил.

46. Норенков И.П. Подходы к проектированию автоматизированных систем. Электронный ресурс]: статья. Электронный журнал «Инженерное образование», 2005. - №6. - Режим доступа: http://www.techno.edu.ru: 16001/db/ msg/26310.html. свободный. - Яз. рус.

47. Поспелов Д.А. Логико-лингвистические модели в системах управления. М.: Энергоатомиздат, 1981. - 231 с.

48. Поспелов Д.А. Моделирование рассуждений. Опыт анализа мыслительных актов. М.: Радио и связь, 1989. - 184 е.: ил.

49. Поспелов Д.А. Ситуационное управление: Теория и практика. М.: Наука, 1986. - 288 с.

50. Рамбо Д. Якобсон А., Буч Г. UML: Специальный справочник. / пер. с англ. СПб.: Питер, 2002.-656 е.: ил.

51. Римский Г.В. Теория систем автоматизированного проектирования: Интеллектуальные САПР на базе вычислительных комплексов и сетей. Минск: Навука i тэхшка, 1994. -631с.

52. Ройс У. Управление проектами по созданию программного обеспечения. М.: Лори, 2002.-448 с.

53. Рузайкин А.Г. CAS.CADE/SF платформа для новых САПР. Электронный ресурс]: статья. - Электронный журнал «Автоматизация проектирования», 1997. - №5. - Режим доступа: http://www.osp.ru/ap/1997/05/29.htm. свободный. -Яз.рус.

54. Саати Т. Принятие решений. Метод анализа иерархий. Пер. с англ. М.: Радио и связь, 1993.-347 с.

55. Саати Т., Керне К. Аналитическое планирование. Организация систем. М.: Радио и связь, 1991.-224 с.

56. Содержательно-эволюционный подход к искусственному интеллекту: Учебное пособие / П.И.Соснин. Ульяновск: УлГТУ, 1995. - 76 с.

57. Сольницев Р.И. Автоматизация проектирования систем автоматического управления. -М.: Высшая школа, 1991. 335 е.: ил.

58. Соммервилл И. Инженерия программного обеспечения. 6-е изд. М.: Вильяме, 2002, -624 е.: ил.

59. Соснин П.И. Моделирование рассуждений: Конспект лекций. Ульяновск: УлГТУ, 2000. -74с.

60. Соснин П.И. Содержательно-эволюционный подход к искусственному интеллекту / Диссертация на соискание учёной степени д.т.н. Ульяновск, 1994.

61. Соснин П.И. Человеко-компьютерная диалогика. Ульяновск: УлГТУ, 2001. - 285 с.

62. Соснин П.И., Типикин В.В. Автоматизированное формирование основных артефактов и диаграмм в процессе объектно-ориентированного анализа и проектирования. Труды международной конференции «Интеллектуальные САПР». М., Физматлит, 2006. С. 278283.

63. Технологии разработки программного обеспечения. Учебное пособие. 2-е изд. / С.А.Орлов. СПб.: Питер, 2003. - 480 е.: ил.

64. Типикин В.В. Вопросно-ответный анализ задачи морского десанта. Наука и производство, Ульяновск, ФНПЦ ОАО «НПО «Марс», 2006. С. 23-26.

65. Типикин В.В. Средства вопросно-ответного анализа в концептуальном проектировании автоматизированных систем. Известия Высших учебных заведений. Северо-Кавказский регион. Приложение №3. Новочеркасск, «Технические Науки», 2006.

66. Титова H.J1. Разработка управленческих решений. Электронный ресурс]: курс лекций. -Федеральный образовательный портал «Экономика, социология, менеджмент». Режим доступа: http://www.ecsocman.ru/db/msg/207053 htin1. свободный. - Яз.рус.

67. Трахтенгерц Э.А. Компьютерная поддержка принятия решений в САПР. Электронный ресурс]: статья. Электронный журнал «Автоматизация проектирования», 1997. - №5. -Режим доступа: http://www.osp.ru/ap/1997/05/ 27 print.htm, свободный. - Яз.рус.

68. Уилсон Р. Введение в теорию графов. М.: Наука, 1977. - 96 с.

69. Фатрелл Р. Управление программными проектами: достижение оптимального качества при минимуме затрат. М.: Вильяме, 2003. - 1136 с.

70. Фридман АЛ. Основы объектно-ориентированной разработки программных систем. -М.: Финансы и статистика, 2000 192 с.

71. Холстед М.Х. Начала науки о программах. / пер. с англ. М.: Финансы и статистика, 1981.-128 с.

72. Хухлаев Е. Интегрированная среда Euclid Quantum. Электронный ресурс]: статья. -Электронный журнал «Открытые системы», 1997. №6. - Режим доступа: http://www.osp.ru/os/1997/06/69.htm. свободный, - Яз. рус.

73. Черноруцкий И.Г. Методы принятия решений. Учебное пособие. М.: БХВ-Петербург, 2004.-416 с.

74. Якобсон А., Буч Г., Рамбо Д. Унифицированный процесс разработки программного обеспечения / пер. с англ. СПб.: Питер, 2002. - 496 е.: ил. (25)

75. R. Barker. CASE Method: Entity Relationship Modelling Book (Addison-Wesley Oracle Series), New York: Addison-Wesley, 1989.

76. E.J. Barkmeyer (editor). SIMA Reference Architecture Part 1: Activity Models. The National Institute of Standards and Technology Interagency Report 5939, Gaithersburg, Maryland, 1996.

77. D. Bellin, S. Suchman and G. Booch. The CRC Card Book (Addison-Wesley Object Technology Series), New York: Addison-Wesley, 1997.

78. F. Bernier, D. Poussart, D. Laurendeau and M. Simoneau-Drolet Interaction-Centric Modelling for Interactive Virtual Worlds: the APIA Approach. In Proceedings of ICPR 2002. Quebec, Canada. 2002.

79. P.A. Bernstein, K. Harry, P. Sanders, D. Shutt, and J. Zander. The Microsoft repository. In Proc. of the 23rd Intl. Conf. on Very Large Data Bases (VLDB), pages 3-12, Athens, Greece, August 1997.

80. E. Bertino. A view mechanism for object-oriented databases. In A. Pirotte, C. Delobel and G. Gottlob, editors, Proc. of the 3rd Int. Conf. on Extending Database Technology, EDBT'92, LNCS 779, pp. 136-151, Vienna, Austria, 1992.

81. G. Booch. Object-Oriented Analysis and Design With Applications (Addison-Wesley Object Technology Series), New York: Addison-Wesley, 1994.

82. G. Boothroyd, P. Dewhurst and W. Knight. Product Design for Manufacture and Assembly, Marcel Dekker Inc., 1994.

83. A. Borgida, J. Mylopoulos, and R. Reiter. ". and nothing else changes": The frame problem in procedure specifications. In Proc. of the Fifteenth Intl. Conf. On Software Engineering (ICSE-15), May 1993.

84. W. Bricken and G. Coco. The VEOS Project. Technical Report, Human Interface Technology Laboratory, University of Washington. 1993.

85. M. Brodie. Association: A database abstraction. In P.P. Chen, editor, Entity-Relationship Approach to Information Modeling and Analysis, pp. 583-608. North-Holland, 1981.

86. T.C. Chang and R.A. Wysk. An Introduction to Automated Process Planning, Prentice-Hall International Series in Industrial and Systems Engineering, 1985.

87. P.B. Checkland. Soft systems methodology. In J. Rosenhead, editor, Rational Analysis for a Problematic World, pages 71-100. John Wiley & Sons, Chichester, 1989.

88. P.P. Chen. The entity-relationship model: Towards an unified view of data. ACM Trans, on Database Systems, 1(1): pp. 9-36,1976.

89. P.P-S. Chen, "English Sentence Structure and Entity-Relationship Diagrams", Information Systems, 29, 1983.

90. P. Chen, J. Akoka, A. Kangassalo and B. Thalheim (editors). Conceptual Modeling: Current Issues and Future Directions, LNCS 1565, Springer-Verlag, Heidelberg, 1998.

91. W.W. Chu and G. Zhang. Associations and roles in object-oriented modeling. In D.W. Embley and R.C. Goldstein, editors, Proc. of the 16th Int. Conf. on Conceptual Modeling, ER'97, LNCS 1331, pp. 257-270, Los Angeles, California, 1997.

92. P. Coad and E. Yourdon. Object-Oriented Analysis (Yourdon Press Computing Series), New York: Yourdon Press, 1991.

93. P. Constantopoulos, M. Jarke, J. Mylopoulos, and Y. Vassiliou. The software information base: A server for reuse. VLDB Journal, 4(1): 1-43,1995.

94. J. Dahmann et al. HLA and Beyond: Interoperability Challenges. In Simulation Interoperability Workshop. Orlando, FL: IEEE. 1999.

95. S. Daubrenet, S. Pettifer and A. West. Relationships: providing structure and behaviour for shared virtual environments. In Proceedings of 7th UKVRSIG Conference, pages 117-126. University of Strathclyde, Strathclyde, Scotland. 2000.

96. Department of Defense Architecture Framework Working Group. DoD Architectural Framework. Version 1.0, August 2003.

97. E-Gov Enterprise Architecture Guidance (Common Reference Model) Draft Version 2.0. FEA Working Group, July 25, 2002. Endorsed by the Architecture and Infrastructure Committee Federal CIO Council.

98. H. ElMaraghy. "Evolution and Future Perspectives of CAPP", The Annals of the CIRP. Vol. 42, No.2,1993, pp. 739-751.

99. R. Elmasri and S. Navathe. Fundamentals of Database Systems (second edition), The Benjamin/Cummings Publishing Company, Inc., 1994.

100. S. Feng. "Manufacturing Planning and Execution Objects Foundation Interfaces", The National Institute of Standards and Technology Interagency Report 6232, Gaithersburg, Maryland, 1998.

101. S. Feng, W. Nederbragt, S. Kaing and R. Sriram. "Incorporating Process Planning into Conceptual Design", Paper number 8922 in the Proceedings of Design Engineering Technical Conferences Design for Manufacturing Conference, 1999.

102. S. Feng and Y. Zhang. "Conceptual Process Planning a definition and functional decomposition", Manufacturing Science and Engineering, Proceedings of the 1999 International Mechanical Engineering Congress and Exposition. Vol. 10,1999, pp. 97-106.

103. P. A. Fishwick. Simulation Model Design and Execution: Building Digital Worlds. Pearson Education POD, Prentice Hall, 1995.

104. S.R. Gorti and R.D. Sriram. "From Symbol to Form: A Framework for Conceptual Design", Computer Aided Design. Vol.28, No.l 1,1996, pp. 853-870.

105. M. Halper, Y. Perl, O. Yang and J. Geller. Modeling business applications with the OODB ownership relationship. In R.S. Freedman, editor, Proc. of the 3rd Int. Conf. On AI Applications on Wall Street, pp. 2-10, New York, June 1995.

106. IDS Prof. Scheer GmbH, SaarbrUcken. ARIS-Toolset Manual V3.1,1996.

107. ISO 10303-203:1994, Industrial automation systems and integration Product Data Representation and Exchange - Part 203: Application Protocol: Configuration controlled 3D designs of mechanical parts and assemblies.

108. ISO 10303-224:1999, Industrial automation systems and integration Product Data Representation and Exchange - Part 224: Application Protocol: Mechanical product definition for process planning using machining features.

109. ISO/IEC International Standard. Information Resource Dictionary System (IRDS) Framework ISO/IEC 10027,1990.

110. I. Jacobson. Object-Oriented Software Engineering: A Use Case Driven Approach (Addison-Wesley Object Technology Series), New York: Addison-Wesley, 1994.

111. M. Jarke, R. GallersdOrfer, M.A. Jeusfeld, M. Staudt, and S. Eherer. ConceptBase a deductive object base for meta data management. Journal of Intelligent Information Systems, 4(2): 167192, March 1995.

112. M. Jarke, M.A. Jeusfeld. Rule Representation and Management in ConceptBase. SIGMOD Record, 18(3): 46-51, 1989.

113. M. Jarke, J. Mylopoulos, J.W. Schmidt, and Y.Vassiliou. DAIDA: An environment for evolving information systems. ACM Transactions on Information Systems, 10(1): 1-50, 1992.

114. A. Johnson, M. Roussos, J. Leigh, C. Barnes, C. Vasilakis and T. Moher. The NICE Project: Learning Together in a Virtual World. In Proceedings of VRAIS '98, pages 176-183. Atlanta, Georgia. 1998.

115. J.M. Juran and F.M. Gryna. Juran's Quality Control Handbook, McGraw-Hill Book Company, 1988.

116. J.E. Kottemann and B.R. Konsynski. Dynamic metasystems for information systems development. Proc. of the 5th Intl. Conf. on Information Systems, pages 187-204, Tucson, Arizona, November 1984.

117. G. Kristen. Object Orientation: The KISS-method: From Information Architecture to Information System. Addison-Wesley, 1994.

118. B. Lavoie and O. Rambow. "A Framework for Customizable Generation of Multi-Modal Presentations", Proceedings of the 36th Meeting of the Association for Computational Linguistics, Montreal, Canada, 1998.

119. W)B. Lavoie, О. Rambow and E. Reiter. "Customizable Descriptions of Object-Oriented Models", Proceedings of the 5th Conference on Applied Natural Language Processing, Washington, DC, 1997.

120. W. Lee and T.C. Woo. 'Tolerances: their analysis and synthesis," Transactions of ASME, Journal of Engineering for Industry, Vol. 112, pp. 113-121,1990.

121. M. R. Macedonia, M. J. Zyda, D. R. Pratt, P. T. Barham and S. Zeswitz. NPSNET: A Network Software Architecture for Large Scale Virtual Environments, Presence, 3(4). P. 265-287.1994.

122. H. Mannila and K.-J. Raiha. The Design of Relational Databases. Addison-Wesley, Reading, MD, 1992.

123. Mi.L. Mikhajlov and E. Sekerinski. A Study of The Fragile Base Class Problem. In Proceedings of the 12th European Conference on Object-Oriented Programming, pp. 355-382. Brussels, Belgium. 1998.

124. A. Mukheijee and C.R. Liu. "Conceptual Design, Manufacturability Evaluation and Preliminary Process Planning Using Function-Form Relationships in Stamped Material Parts", Robotics & Computer Integrated Manufacturing. Vol.13, No.3,1997, pp. 253-270.

125. J. Mylopoulos, A. Borgida, M. Jarke and M. Koubarakis. Telos: Representing knowledge about information systems. ACM Transactions on Information Systems, 8(4): 325-362, October 1990.

126. J. Mylopoulos and R. Motschnig-Pitrig. Partitioning information bases with contexts. In Proc. 3rd Int. Conf. On Cooperative Information Systems, Vienna, Austria, 1995.

127. W. Nederbragt, R. Allen, S. Feng, S. Kaing, R. Sriram and Y. Zhang. "The NIST Design/Process Planning Integration Project", the Proceedings of AI and Manufacturing Research Planning Workshop, Albuquerque, New Mexico, August, 1998, pp. 135-139.

128. I. Nonaka. A dynamic theory of organizational knowledge creation. Organization Science, (1): 14-37,1994.

129. J.J. Odell and M. Fowler. Advanced Object-Oriented Analysis and Design Using UML (SIGS Reference Library, No 12), SIGS Boob & Multimedia, 1998.

130. G. Pahl and W. Beitz. Engineering Design A Systematic Approach. 2nd edition, Springer-Verlag, 1996.

131. A. Ratnaparkhi. "A Maximum Entropy Part-Of-Speech Tagger", Proceedings of the Empirical Methods in Natural Language Processing Conference, University of Pennsylvania, 1996.

132. G. Rolland and C. Proix. "A Natural Language Approach to for Requirements Engineering", Proceedings of the 4th International Conference on Advanced Information Systems Engineering. P. Loucopoulos, ed., Springer-Verlag, Manchester, 1992.

133. A.-W. Scheer. Business Process Engineering. Springer-Verlag, 1994.

134. G. Schneider, J.P. Winters and I. Jacobson. Applying Use Cases : A Practical Guide (Addison-Wesley Object Technology Series) New York: Addison-Wesley Pub Co., 1998.

135. J.J. Shah and M. Mantyla. Parametric and Feature-based CAD/CAM, John Wiley & Sons, New York, 1995.

136. G. Singh, L. Serra and others. BrickNet: sharing object behaviors on the Net. In Proceedings IEEE VRAIS '95, pp. 19-27.1995.

137. S. Singhal and M. Zyda. Networked Virtual Environments Design and Implementation. Addison-Wesley, 1999.

138. B. Thalheim. Fundamentals of Entity-Relationsliip Modeling. Springer-Verlag, Heidelberg, 1999.

139. C. Tong and R. Sriram, editors. AI in Engineering Design, Volume I—III, Academic Press, 1992.

140. F.S.C. Tseng, A.L.P. Chen and W.-P. Yang. "On Mapping Natural Language Constructs into Relational Algebra through ER Representation", Data and Knowledge Engineering, 9,1992.

141. D.G. Ullman. The Mechanical Design Process. 2nd Edition, McGraw Hill Companies Inc., 1997.

142. K. Watsen and M. Zyda. Bamboo A Portable System for Dynamically Extensible, Realtime, Networked, Virtual Environments. In Proceedings of the Virtual Reality Annual International Symposium (VRAIS'98), pp. 139-146. Atlanta, GA. 1998.

143. E.Yourdon. Modern Structured Analysis. Prentice Hall, Englewood Cliffs, New Jersey, 1989.

144. J. Yu, S. Krizan and K. Ishii. "Computer-aided design for manufacturing process selection", Journal of Intelligent Manufacturing. Vol. 4, pp. 199-208,1993.

145. H. Zhang, S. Huang and J. Mei. "Operational Dimensioning and Tolerancing in Process Planning: setup planning", International Journal of Production Research. Vol. 34, No. 7, pp. 1841-1858,1996.