Формализация технологии проектирования эис

Основой формализации технологии проектирования ЭИС является формальное определение технологической операции (ТО) проектирования в виде четверки:

• V – вход;

• W – выход;

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

• R – ресурсы;

• S – средства.

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

В качестве компонентов входа и выхода используются документы, параметры, программы, универсальные множества – универсумы. Для любых компонентов входа и выхода должны быть заданы формы их представления в виде твердых копий или в электронном варианте.

Документ (D) – это описатель множества взаимосвязанных факторов. Документы определяют исходные, результирующие и промежуточные результаты проектирования и внедрения ЭИС.

Параметр (P) – это описатель одного факта. Параметр рассматривается как частный случай документа. Параметры, как правило, выступают в роли ограничений или условий процесса проектирования.

Программа (G) – частный случай документа, представляющего описание алгоритма решения задачи: от спецификации программы до машинного кода.

Универсум (U) – это конечное и полное множество фактов (документов) одного типа. Обычно с помощью универсума описывается множество альтернатив, выбор из которого конкретного экземпляра определяет характер дальнейших проектных решений. В качестве универсумов могут рассматриваться описания технических, программных средств, технологий проектирования.

Преобразователь (П) – это некоторая методика или формализованный алгоритм, или машинный алгоритм преобразования входа ТО в ее выход. Для формализации преобразователей используются математические модели, эвристические правила, блок-схемы, псевдокоды.

Ресурсы (R) - набор людских, компьютерных, временных и финансовых средств, которые позволяют выполнить ТО.

Средства проектирования (S) – это специальный вид ресурса, включающий методические и программные средства выполнения ТО. Если преобразователь является ручным, то средство проектирования представляет методику выполнения работы, и в описании ТО дается ссылка на соответствующий бумажный или электронный документ. Если преобразователь является автоматическим или автоматизированным, в описании ТО указывается ссылка на название и описание программного средства, а также руководство по эксплуатации.

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

Для укрупнения ТСП применяются технологические операции – агрегаты, которым соответствуют фрагменты канонической ТСП.