Методы формализации технологических процессов проектирования ЭИС.

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

Это приводит к необходимости формализации процессов проектирования путем построения модели процесса проектирования.

Для формализованного описания процесса проектирования применяют несколько типов моделей:

· Графовая модель – для отражения структуры работ;

· Модель СПУ – для планирования и оптимизации использования ресурсов;

· Технологическая сеть проектирования (ТСП) для определения состава работ и детальной проработки методики выполнения работ;

· Структурно-функциональная модель анализа и оценки состава работ.

Основной технологической сети проектирования является технологическая операция (ТО) – процесс, в котором определены компоненты:

· Вход

· Выход

· Преобразователь

· Ресурсы

· Средства, которые переводят вход процесса в его выход.

Существует два метода отображения технологических операций:

1. Математический метод. С точки зрения теории множеств технологическую операцию (ТО) можно представить, как векторный кортеж:

ТО : = < V, П, W, R, S, >, где

V – вектор перехода;

П – преобразователь;

W – вектор выхода;

R – вектор ресурсов;

S – вектор средств.

2. Графический метод.

Где Vi и Wi векторы входа и выхода преобразователя Пi , включающие следующие компоненты:

· документы,

· универсумы,

· параметры.

Документ (D)- некоторый материальный носитель, в котором средствами некоторого языка описываются:

· факты или

· элементы существующей системы, или

· условия,

· требования,

· параметры,

· инструкции.

Документы по типу языка делятся на:

· документы на естественном языке,

· графические документы-блок-схемы,

· математические: алгоритм решения задачи, постановки задач,

· машинно-ориентированные: программы, коды.

Универсум (U)- полный объем знаний о каком либо элементе проекта:

· проектный,

· инструментальный.

Параметры (Р) включают в себя: множество ограничений, условия, характеристики системы.

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

Средства (S) - ЭВМ, принтер, сканер и др.

Ресурсы (R) в зависимости от типа преобразователя делятся на:

· трудовые, которые в свою очередь, по типу специалистов делятся на:

- программистов,

- аналитиков,

- инженеров,

· материальные (диски, ленты),

· технические (время, объем памяти)

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

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

Существует два типа ТСП:

· каноническая ( исходная, первичная ) сеть;

· интегрированная сеть.

Каноническая сеть характеризуется следующими свойствами:

· в канонической сети во всех операциях не используют инструментальных средств проектирования, то есть множество Si будет для всей сети нулевым;

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