ПОИСК Статьи Чертежи Таблицы Методические аспекты разработки средств лингвистического обеспечения комплексной САПР МЭА из "Теоретические основы построения базовых адаптируемых компонентов САПР МЭА " Процесс разработки проблемно-ориентированных языков комплексной САПР МЭА должен использовать единую методологическую основу, направленную на обеспечеР1ие системности средств, полного семантико-синтаксического контроля всех видов информации. Это касается всех языков комплексной САПР проблемных языков разработчиков средств лингвистического обеспечения, рассматривающих глубинно-семантическую структуру проблемных языков языков внутреннего представления предметной области языков диалогового взаимодействия с мониторной системой, пользовательских языков комплексной САПР, в которых основное внимание уделяется синтаксису языка. [c.64] Рассмотрим ряд аспектов предлагаемой методики более подробно. [c.64] Предметная область комплексной САПР МЭА является сложной системой (конгломератом) наших представлений об определенных категориях объектов и явлений реального мира. Она отрая ает суш,ествуюш,ий уровень наших знаний из многих областей науки и техники различных разделов математики, физики и химии, вычислительной техники, технологии производства и конструирования МЭА и радиоэлектронной аппаратуры (РЭА), электроники и радиотехники, прикладной и инженерной лингвистики, программирования, эргономики, психологии, теории информации, теории управления и др. [c.65] Комплексная САПР МЭА является одной из составля1ош их предметной области. Она играет существенную роль в ее непрерывном пополнении и развитии как определенной системы знаний. [c.65] Предметная область состоит из многообразия объектов и отношений между ними. В данном контексте любое реальное в каком-либо интересующем нас отношении самостоятельное понятийное целое будем называть объектом предметной области, его составные части, если они имеются,— элементами, а сам объект — сложным семантическим объектом. Количественную меру ряда характеристик элементов слолшого семантического объекта будем называть его свойствами. Между элементами сложного семантического объекта всегда существуют определенные связи или отношения. Сеть — схема этих связей представляет структуру объекта. [c.65] Большинство сложных семантических объектов предметной области комплексной САПР являются динамическими. Они обладают способностью изменять структуру своих связей, а также количественные характеристики элементов — свойства. [c.65] Динамика сложных семантических объектов предметной области комплексной САПР отражает динамику познания окружающего мира, постоянное пополнение предметной области микроэлектроники новыми видами элементной базы, изменением технологии, развитием и возникновением новых теорий, методов моделирования и конструирования. [c.65] Очевидно, что мобильность комплексной САПР может быть достигнута только в том случае, если имеются развитые формализованные средства декларативного описания семантических объектов предметной области комплексной САПР и их взаимосвязей. Кроме того, должны существовать средства автоматической генерации внутримашинных моделей семантических объектов на основе их декларативного описания. [c.65] Многообразие связей и отношений между семантическими объектами предметной области комплексной САПР позволяет с определенных позиоий осуществить членение предметной области на ряд более простых подсистем семантических объектов. Сами они могут быть достаточно сложными системами. [c.66] Не требует особых доказательств тот факт, что предметная область комплексной САПР МЭА состоит из множества полиморфных семантических объектов. Строгое формализованное описание структуры, объектов области, их свойств и отношений между ними и разработка формализованной модели предметной области комплексной САПР МЭА должны быть основаны на методах общей теории систем [28, 51]. [c.66] Важно понимать, что математическая модель Ж = М. г ) некоторого объекта или явления реального мира есть м дьль некоторой сформулированной формальной теории Т = (Й, Q), р)). [c.67] Модель — М, r ) (или Ж = (М, а)) называют базовой моделью каркаса в сигнатуре fii. [c.67] На том же базовом множестве М может быть определена и вторая модель Ж (М, ) (или Ж М, -у)) в сигнатуре 2 = с функцией Y, ставящей в соответствие именам отношений отношения gj , т. е. Qj — y(gj). [c.67] Состоянием каркаса называется модель KS = М, б) в сигнатуре Q = fiiUfig) для которой функции а и б совпадают в сигнатуре Qa и при этом выполняется аксиоматика Е — Е . [c.67] Понятие каркаса оказывается очень удобным в ситуациях, когда на одном множестве строятся модели в существенно различных сигнатурах. В нем отражается такое важное свойство систем, как полиморфизм. [c.67] Приведем два примера каркасов для представления семантических объектов и подсистем предметной области комплексной САПР. [c.68] Пусть базовое множество — множество элементов комплекса технических средств комплексной САПР МЭА (КТС КСАПР МЭА), на котором заданы отношения порядка, управления и включения-Иерархию КТС удобно описывать древесными порядками. Отношение включения используется для описания различных классов элементов КТС (процессоров, терминальных устройств, памяти и т. д.). Отношение управления фиксирует минимальный (или любой другой) комплект КТС, необходимый для создания определенной конфигурации САПР. [c.68] Па множестве элементов КТС могут быть реализованы и другие отношения (из сигнатуры йц) возможность создавать твердые копии документов (перфоленты, распечатки), долговременно хранить информацию (магнитные диски и ленты), осуш ествлять обмен информацией (различный интерфейс), осуществлять вычисления (процессоры) и др. [c.68] Таким образом, в зависимости от требований к комплексной САПР по выпуску проектной документации могут быть получены различные состояния каркаса — модели КТС комплексной САПР с учетом выпуска проектной документации, в которой зафиксировано назначение терминальных устройств по выпуску документации, ее архивации и т. д. [c.68] В качестве второго примера можно привести перечень проектных задач с определенным порядком их следования, необходимый для проектирования МЭА (сигнатура 1), а в качестве сигнатуры 0-2 — их возможную реализацию (покрытие различным набором прикладных программ) для различных классов устройств МЭА. [c.68] Вернуться к основной статье