Разработка методов и средств формирования спецификаций информационно-программных компонент САПР машиностроения

• Автор: Прошина, Елена Леонидовна
• Шифр специальности: 05.13.12
• Научная степень: Кандидатская
• Год защиты: 1995
• Место защиты: Москва
• Количество страниц: 153 с. : ил.

СОДЕРЖАНИЕ
Введение
Глава 1 Сравнительный анализ существующих методов и средств формирования проектных решений при создании автоматизированных систем

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

1.1.1 Традиционные методы проектирования

программного обеспечения

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

проектированию программного обеспечения

1.2 Инструментальные системы разработки

программного обеспечения

Глава 2 Семантические аспекты проектирования

программного обеспечения применительно к проектированию спецификаций САПР
2.1 Место задачи в общей задаче проектирования
САПР. Структура предметной и алгоритмической
2.
2.3.
подход к
алгоритмической
спецификаций САПР
Объектноориентированный представлению преметной и спецификаций
Разработка формальной модели для
алгоритмической и предметной спецификации САПР
Основные понятия теории формальных моделей Совокупность формальных моделей для компонентов программной системы на различных уровнях разработки
Глава 3 Методика проектирования предметной и
алгоритмической спецификации САПР
3.1 Описание предметной задачи проектирования
технологических маршрутов как базы для
иллюстрации предлагаемой методики
3.2 Описание методики проектирования спецификаций
информационнопрограммных компонент САПР
Глава 4 Реализация подсистемы поддержки
проектирования и ведения спецификаций
4.1. Метаописание подсистемы поддержки
проектирования и ведения спецификаций
4.2. Пример применения предлагаемых методов для
разработки спецификации на подсистему
обработки заказов
4.2.1 Предметная спецификация
4.2.2 Алгоритмическая спецификация
4.2.3 Формальная модель для подсистемы обработки
заказов
Заключение
Литература


Таким образом, существует важная научная задача, связанная со структуризацией и формализацией начальных требований к программному комплексу САПР с целью обеспечения возможности определения на последующих этапах структуры будущей автоматизированной системы. На основании анализа рассмотренных подходов, а также общих выводов, изложенных в главе 1, сформулированы основные требования к разрабатываемой системе. САПР на различных уровнях проектирования. В соответствие с разработанным на кафедре подходом спецификация информационно-программных компонент САПР представляется как совокупность спецификаций на различных стадиях проектирования. При объектно-ориентированном подходе мы можем рассматривать каждую из спецификаций автоматизированной системы как объект, в результате анализа этих объектов определены составляющие их объекты, описаны свойства и взаимодействие объектов. Метаспецификация системы построения спецификаций может рассматриваться как модель самого процесса проектирования спецификаций, т. Спецификация информационно-программных компонент для конкретной САПР, т. Для описания общих свойств объектов, используемых в процессе проектирования программной системы, разработана формальная модель, являющаяся сужением исчисления предикатов на предметную область проектирования спецификаций информационно-программных компонент САПР. На базе этой модели описаны формальные модели для спецификации каждого уровня проектирования. САПР. Выполнено метаописание по данной методике структуры системы проектирования и ведения спецификаций. Для полученных спецификаций должны быть проверены структурные и поведенческие свойства. Статическая верификация полученных спецификаций возможна на основании представления спецификаций в виде формальных моделей на базе исчисления предикатов первого порядка. Это представление делает возможным применить один из существующих методов верификации для продукционных баз знаний. Для динамической верификации спецификаций используются иерархические сети Петри. АСФС). Описывается схема базы данных программного комплекса, основные режимы работы, интерфейс пользователя с системой с различных режимах работы. Приводится обоснование выбора и описание программнотехнических средств реализации. В качестве базового технического средства выбран персональный компьютер 1ВМ РС 6, в качестве базового программного средства использована СУБД БохРго 2. В конце главы приводится пример использования разработанных инструментальных средств для спецификации задачи автоматизации подсистемы обработки заказов САПР. САПР. САПР. Теоретические результаты диссертационной работы, а также разработанная на их основе первая версия системы поддержки проектирования и ведения спецификаций были использованы при создании автоматизированной системы обработки заказов для фирмы "Galda + Leuchter GmbH" и АО "Центр - Оргстрой", а также методически - в ходе работ, проводимых совместно с МЦНТИ по созданию системы многостороннего информационного обмена, что подтверждено актами об использовании. Всероссийской конференции-выставке "Информационные технологии в вузах и школах", Москва, г. Международной конференции "Информационные технологии в проектировании", Москва, г. Петри. Экспериментальные работы и реализация выполнены на персональной ЭВМ IBM PC 6 средствами СУБД Foxpro 2. Разработка и обоснование представления предметной и алгоритмической спецификации автоматизированной системы как совокупности объектов, которые в дальнейшем являются основой для создания моделей блока обработки данных, блока прикладных программ и блока интерфейса. Реализация первой версии программного комплекса системы поддержки формирования предметной и алгоритмической спецификаций САПР. В настоящее время системы автоматизированного проектирования (САПР) широко используются во многих областях человеческой деятельности - архитектурных проектах, машиностроении, разработке интегральных микросхем и т. Согласно [2], проектирование как предмет изучения представляет собой совокупность различных видов специфической интеллектуальной деятельности, ведущих от формирования технических заданий к информации, необходимой для изготовления той или иной продукции. Другой проблемой является автоматизация разработки самой САПР. САПР в другую.