21.2. Specif_x

Возникнув первоначально в Соединенных Штатах, методология SADTпрошла первые круп­ные "полевые испытания" в большой европей­ской телекоммуникационной компании в начале 70-х годов. В проекте определялись требования к большой телефонной управляющей системе. После этого SADT стала чрезвычайно популярной в Европе методологией спецификации требова­ний. Совсем недавно использование SADT для спецификации требований было поддержано про­граммой ESPRIT -рассчитанных на 10 лет ини­циативных работ в области программного обес­печения, принятых в Европейском Экономичес­ком Сообществе. Не удивительно, что в Европе в начале 80-х годов было начато несколько разра­боток автоматизированного обеспечения SADT, что привело к созданию таких средств, какSPECIF_X.Целью SPECIF_Xявляется поддержка широкого применения SADT-методов для более быстрого получения высококачественных специ­фикаций, чем это возможно с помощью каранда­ша и бумаги.

SPECIF_Xбыло разработано французской компанией Institut de Genie Logiciel (IGL)для использования на автоматизированных рабочих местах с растровыми дисплеями и графопостро­ителями или лазерными принтерами. Менее эргономичная версия средства, выполняющая те же функции, может работать на компьютерах, имеющих отдельные терминалы с расширенными графическими возможностями и построчно печатающими устройствами. Версия SPECIF_X, работающая на графическом автоматизированном рабочем месте, предлагает пользователю меню, из которого курсором выбираются базовые строи­тельные элементы SADT (блоки, дуги, метки) и создает из них диаграмму. Пользовательский интерфейс имеет высокие интерактивные харак­теристики, позволяя автоматически и вручную заворачивать дуги вокруг блоков и двигать блоки вместе с присоединенными к ним дугами. Диа­граммы получаются достаточно хорошего качест­ва, особенно если использовать вывод на лазер­ный принтер.

В дополнение к графической редактирова­нию диаграмм SPECIF_Xподдерживает управле­ние диаграммами и моделями. Варианты диа­грамм отслеживаются с помощью С-номеров, а диаграммы объединяются в модели с использо­ванием номеров узлов. Проводится проверка согласованности модели, как во время построе­ния диаграммы, так и во время ввода ее в мо­дель. Обеспечивается также поддержка модифи­кации диаграммы. Например, SPECIF_Xможет определить, как повлияет на на всю модель уда­ление конкретной дуги. Можно также создать глоссарий, связав его термины с соответству­ющей диаграммой и поместить термины в сло­варь данных. Полный словарь данных может быть создан и распечатан отдельно от диаграмм, что дает возможность составления словаря тех­нических терминов для каждой модели. И нако­нец, SPECIF_Xподдерживает цикл автор/чита­тель, позволяя организовывать диаграммы в пап­ки, которые затем могут читать другие пользова­тели программного средства.

21.3. Design/idef

Пакет Design/IDEF (Meta Software Corp.)-графическая среда для проектирования и модели­рования сложных систем широкого назначения, поддерживающая методологии описания и моделирования системных функций (IDEFO/ SADT), структур и потоков данных в системе (IDEF1, IDEF1X, E-R)и поведения системы(IDEF/CPN).Пакет Design/IDEF был использо­ван для создания проектов сложнейших систем, связанных с автоматизацией и компьютериза­цией производства, управлением и контролем, телекоммуникациями и аэрокосмонавтикой. Design/IDEF используется как составная часть в некоторых известных пакетах типа CIM (Com­puter Integrated Manufacturing)и САЕ (Com­puter Aided Engineering)и принят в качестве стандарта для проектов, финансируемых амери­канскими и европейскими спонсорами. Рассмо­трим более подробно основные возможности пакета Design/IDEF.

Представление графики

Design/IDEF имеет быструю и высокока­чественную графику, включающую создание стандартных и пользовательских объектов, выравнивание и манипулирование объектами, выбор атрибутов графических объектов и текста. Дополнительно в Design/IDEF реализованы возможности, требуемые для редактирования и моделирования данных: построение связывающих линий типа "резинка", маршрутизация и сглажи­вание дуг т.д.

Обеспечение непротиворечивости модели

Design/IDEF имеет встроенные возможно­сти, дающие уверенность разработчику, что IDEF-модель будет точной, целостной и непроти­воречивой на протяжении всего цикла ее соз­дания. Например, при модификации текста, принадлежащему функциональному блоку или дуге в какой-то одной части модели, текст будет динамически скорректирован на всех страницах модели.

Поддержка Словаря Данных

Design/IDEF имеет встроенный Словарь Данных, который позволяет хранить информа­цию и создавать отчеты о функциях и потоках данных в IDEF-модели. Словарь дает возмож­ность определять начальную информацию об объектах и предоставляет разнообразный набор функций сопровождения, восстановления и сохранения целостности файлов данных. Возмож­ности словаря отличаются большой гибкостью и позволяют пользователю вводить неограниченное число параметров для каждого объекта. В сочета­нии с высококачественной печатью на лазерном принтере, это позволяет разработчику создавать документацию проекта, отвечающую самым высоким требованиям.

Генерация отчетов

Design/IDEF предоставляет возможность использовать пять видов отчетов для поддержки и анализа моделей:

• Отчет о контроле полноты модели

• Отчет о функциях

• Отчет о дугах

• Отчет о ссылках

• IDEF-отчет

Все отчеты могут быть показаны на экране компьютера, отредактированы и распечатаны с помощью текстового редактора. Design/IDEF анализирует и отбирает данные для генерации текстового файла, содержащего информацию о диаграммах и Словаре.

Информация, содержащаяся в отчетах, может быть экспортирована для использования в других программах, таких как, например, элек­тронные таблицы, настольные издательские сис­темы и текстовые редакторы.

Организация коллективной работы

Design/IDEF поддерживает работу много­численной группы разработчиков, создающих одновременно большую и сложную IDEF-модель. Подмодели легко интегрируются в одну большую модель.

Моделирование данных (IDEF1, IDEF1X и E-R - методологии)

Design/IDEF дает также возможность создавать информационные модели, которые представляют как собственно данные, так и связи между ними в системе..

Информация, содержащаяся в IDEF-моделях, экспортируется в любую базу данных, а сами модели могут быть экспортированы вDesign/CPN -пакет динамического моделиро­вания и анализа сложных систем.

Как CASE-пакет по разработке програм­много обеспечения Design/IDEFподдерживает первые стадии создания программного продукта:

• Формулировка требований и целей проек­та - определение того, что проектируемая сист­ема будет делать.

• Разработка спецификаций - формализо­ванное описание требований.

• Создание проекта - определение подсис­тем и взаимодействий между ними.

• Документирование проекта - создание базы данных проекта, текстуальное описание составных частей проекта.

• Анализ проекта - проверка проекта на полноту и непротиворечивость.

Результатом работы пакета Design/IDEF является проект программной системы, состо­ящий из двух частей:

• проекта функциональной структуры сис­темы, содержащий иерархически связанные стра­ницы с IDEFO-диаграммами и описывающий все модули (вплоть до элементарных функций) сис­темы, их взаимосвязи, входные и выходные параметры;

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

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

Design/IDEF работает в различных опера­ционных средах: можно строить модели на IBM PCпод MS-Windows, Macintoshили под Unix X Window Systemи переносить диаграммы из од­ной операционной среды в другую.