Автоматизация настройки и сопровождения логики в системах автоматизированного проектирования на основе объектно-дедуктивной модели

• Автор: Куликов, Дмитрий Анатольевич
• Шифр специальности: 05.13.12
• Научная степень: Кандидатская
• Год защиты: 2002
• Место защиты: Иваново
• Количество страниц: 133 с. : ил

СОДЕРЖАНИЕ
Введение.

1. Анализ состояния вопроса.

Модели и реализация логики в существующих АС

Анализ архитектурных решений АС.

Выводы и результаты.

2. Разработка объектнодедуктивной модели логики

Анализ прототипов.

Объектнодедуктивная модель интеграционной логики.

Выводы и результаты.

3. Разработка и реализация машины вывода ОДМЛ.

Анализ стандартной вычислительной модели логической программы
Представление структур данных в машине вывода ОДМЛ
Реализация компонентов объектного подхода.
Архитектура интерпретатора ОДМЛ
Лингвистические средства ОДМЛ.
Выводы
4. Практическое применение средств автоматизации проектирования и
сопровождения интеграционной логики.
Использование ОДМЛ в составе системы ЕксПзСЗ 7 при решении задачи
оптимизации раскладки электрических кабелей по полкам.
Использование ОДМЛ в составе инструментального комплекса ЮШИУС.
Выводы
Заключение.
Список литературы


Па основании анализа моделей логики САПР и АСУП сформулированы требования к средствам настройки и интерпретации лотки и к инструментальным средствам проектирования интеграционной логики. На основании анализа архитектур реализации САПР и АСУП показана необходимость следования принципам открытости при реализации средств интерпретации логики для достижения поставленной в работе цели. Показано, что трехзвенная архитектура, как наиболее открытая, предпочтительнее всего для реализации средств интерпретации логики. В ходе анализа выявлены перечисленные выше недостатки существующих реализаций средств настройки и интерпретации логики. Вторая глава посвящена разработке объектно-дедуктивной модели лотки. На основании анализа моделей логики и архитектурных решений САПР и АСУП, проведенного в первой главе, а также систем, базирующихся на логическом профаммировании (СРЯ-систем1, объектно-ориентированных лог ических языков, дедуктивных объектно-ориетированных баз данных) предложена объектно-дедуктивная модель логики САПР (ОДМЛ). Пррамм списковой модели есгествснным способом представления объектов балы данных, а также возможностью использования формального аппарата теории графов при решении прикладных задач; наличие двух интерфейсов взаимодействия с базой данных - сильного связывания для поддержки псрманетчюсти объектов и слабого для решения задач множественной обработки данных; шаблонные предикаты (предикаты, которые в качестве параметров используют списки подцелей), обеспечивающие при обработке реляционных термов функциональность запросов БОЬ в естественной для логической программы стилистике. Третья глава посвящена вопросам разработки и реализации машины вывода О ДМ Л, архитектуры ее реализации (сервера бизнес-логики) и вопросам реализации лингвистического обеспечения ОДМЛ. Машина вывода ОДМЛ использует базовый механизм поиска с возвратом. Вместе с тем. ОДМЛ, поэтому она имеет следующие отличия от традиционной машины логического вывода: интеграция средств интерпретации компонентов объектного подхода, в том числе перманентных объектов и средств событийного управления, необходимая для эффективной поддержки ООП; способ реализации реляционных термов на основе понятия операционного контекста, обеспечивающий эффективный поиск элементов на основе хешированного и индексного доступа к элементам множества, что важно при решении комбинаторных задач, и решающий проблемы сборки мусора и экономии памяти на представление реляционного терма; метод интерпретации встроенных шаблонных предикатов при помощи вложенной активации машины вывода, что позволяет интерпретировать шаблонные предикаты с нешраниченной вложенностью предикатных слотов и обеспечивает высокую скорость работы для шаблонных предикатов по сравнению с реализацией этих же предикатов стандартными средствами машины вывода. ОДМЛ), объектный источник данных (средство поддержки перманентности объектов). Разработано лингвистическое обеспечение ОДМЛ, которое включает в себя язык спецификации логики и средства, обеспечивающие взаимодействие машины вывода и клиента САПР. Поскольку важным требованием к языку спецификации ОДМЛ является поддержка быстрой разработки определений персоналом, имеющим невысокую программистскую квалификацию, язык описания ОДМЛ имеет как текстовое, так и графическое представления. Графическое представление языка включает в себя средства наглядного графического представления определений и модели отношений между реляционными термами и набор средств автоматизации рутинных действий, с помощью которых ускоряется процесс создания бизнес-логики и устраняется подавляющее большинство синтаксических ошибок за счет практически полного исключения ручного набора текста. В четвертой главе рассматриваются вопросы практическою применения ОДМЛ в составе системы ПесДпСЯ . Также рассмотрены вопросы практическою применения ОДМЛ в составе комплекса быстрой разработки информацнонно-управляющих систем КАОИУС, разработанного в УПИТ ИГЭУ. В заключении подведены итоги работы. Перечислены результаты и выводы работы, определены направления дальнейших исследований.