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 (Computer Integrated Manufacturing) и САЕ (Computer 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 и переносить диаграммы из одной операционной среды в другую.