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

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

Математическая модель  может  использоваться  в виде модуля данных ("Капсулы данных") [55].  С модулем  данных связывают два вида  функций - функции чтения и функции записи.  Функции чтения не изменяют внутреннего состояния модуля данных.  Функции записи изменяют состояние модуля.

Программный модуль может быть описан пятеркой:

M = < N, In, Out, Con, F > , где N      - тип модуля, его идентификатор;

In,Out - интерфейсные  функции,  определяющие  форму  и содержание    информации,   используемой     и предоставляемой  модулем;

F      - функция, реализуемая  модулем  и  определяющая зависимость между входом и выходом;

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

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

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

- скрытый раздел, описываемый реализацию функций.

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

Отношения между  программными  модулями  и  модулями данных описываются следующими  утверждениями.  Пусть  Р  -  программный модуль, D - модуль данных.

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

D - является выходными данными для  Р,  если  Р  использует функции  записи модуля D.

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

2.2 Представление сценария САПР в виде модельного графа.

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

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

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

G=<V,U>, где       V=V1UV2;                   .        Множество

V1={vi1,vi2,...,vin}   -   есть   множество  модулей,  множество

V2={vj1,vj2,...,vjk} - есть  множество   моделей.  Причем   дуга

,              ,             , если модуль vi имеет в качестве выходной модель vj, и дуга            ,       ,       , если  модуль  vm имеет в качестве выходной модель vl.

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

Интеллектуальный проектировщик САПР должен решать следующие задачи. Задачи планирования: