2 Методики idef

2.3.2. Методики IDEF IDEFO - это более строгая реализация ранее предложенной методики SADT (Structured Analysis and Design Technique). Начиная с момента создания первой версии методика успешно применялась для проектирования телефонных сетей, систем управления воздушными перевозками, производственных предприятий и др. Описание объектов и процессов в IDEFO выполняется в виде совокупности взаимосвязанных блоков (рис. 2.5), называемых блоками ICOM (Input - Control - Output - Mechanism), где I - вход, С - управление, М - механизм, О - выход.Блоки представляют функции (работы), их названия выражаются глаголами или отглагольными существительными. Типичные примеры функций: планировать, разработать, классифицировать, измерить, изготовить, отредактировать, рассчитать,CIO ФункцияMРис. 2.5. Блок ICOMпродать (или планирование, разработка, классификация, измерение, изготовление, редактирование, расчет, продажа). Число блоков на одном уровне иерархии - не более 6, иначе восприятие диаграмм будет затруднено. Число уровней иерархии не ограничено, но обычно - не более 5. Блоки в диаграммах IDEF0 связаны дугами (стрел­ками), которые отображают множества объектов (данных). Управ­ление (control) определяет условия выполнения, примеры управле­ния: требования, чертеж, стандарт, указания, план. Механизм (mechanism) выражает используемые средства, например: компь­ютер, САПР, оснастка, заказчик, фирма. Входы и выходы могут быть любыми объектами. Пример диаграммы IDEFO показан на рис. 2.6, где представле­ны функции, выполняемые на начальных этапах процесса реинжи­ниринга предприятия. На диаграмме показаны четыре этапа под­готовки к реинжинирингу на предприятии. После формулировки за­каза на перестройку процессов функционирования на базе инфор­матизации управления проводится обследование предприятия, вы­являются его структура, информационные потоки между подраз­делениями, внешние информационные связи, степень компьютери­зации, наличие вычислительной сети и т.п. На основании получен­ных данных составляется функциональная модель As Is («как есть») и разрабатывается модель То Be («как должно быть»). Эта мо­дель верхнего уровня далее конкретизируется, каждая из функций раскрывается более подробно на диаграммах следующих уровней.Рис. 2.6. Пример IDEF0 – диаграммыМетодика информационного проектирования приложений IDEFIX основана на построении информационных моделей приложений в виде диаграмм «сущность - связь». Для описания сущностей и отношений используется язык диаграмм. Сущности в IDEFlX-диаграммах изображаются в виде прямо­угольников, отношения - в виде стрелок. Отношения между сущ­ностями в IDEF1X являются бинарными. Выделяют идентифи­цирующие отношения - связи типа «родитель - потомок», в ко­торых потомок (зависимая сущность) однозначно определяется своей связью с родителем, и неидентифицирующие отношения, означающие, что у связанного этим отношением экземпляра одной сущности может быть (а может и не быть) соответствующий эк­земпляр второй сущности. Идентифицирующее отношение изобра­жают на диаграмме сплошной линией между прямоугольниками связанных сущностей, неидентифицирующее отношение показыва­ют пунктирной линией. На дочернем конце линии должно быть утол­щение (жирная точка). Мощность k связи - число экземпляров за­висимой сущности, соответствующее одному экземпляру родитель­ской сущности. Известное значение мощности может быть указа­но около утолщенного конца линии связи. При этом символ р озна­чает k≥1, а символу z соответствует k = 0 или 1. Отсутствие символа интерпретируется k ≥ 0. Различают также специфические и неспецифические отно­шения. Неспецифические отношения - это связи типа «многие ко многим», они обозначаются сплошной линией с утолщениями на обоих концах. В отношениях «родитель - потомок» возможно наличие у по­томка единственного родителя (характеристическая связь) или нескольких родителей (ассоциативная связь). Выделяют также отношения категоризации (наследования), отражающие связи между некоторой общей сущностью и вариантами ее реализации (категориями). Примером категориальной связи является отноше­ние тип прибора - альтернативные варианты этого прибора. Среди атрибутов различают ключевые и неключевые. Значение ключевого атрибута (ключа) однозначно идентифицирует эк­земпляр сущности. Внешний ключ - это атрибут (или атрибуты), входящий в ключ родителя и наследуемый потомком. На IDEFlX -диаграммах ключи записывают в верхней части прямоугольника сущности, причем внешние ключи помечают меткой FK (Foreign Key), неключевые атрибуты помещают в нижнюю часть прямо­угольников. В идентифицирующих отношениях все ключи родителя входят и в ключи потомка, в неидентифицирующих - ключи родителя относятся к неключевым атрибутам потомка. Между IDEFO- и IDEF1Х-моделями одного и того же приложе­ния существуют определенные связи. Так, стрелкам на IDEFO-диаграммах соответствуют атрибуты некоторых сущностей в IDEFlX-моделях, что нужно учитывать при построении информа­ционных моделей. Методика IDEFO принята в CALS-технологиях как методика начальных этапов моделирования сложных слабоструктуриро­ванных приложений. Методика IDEF1X послужила основой для разработки языка Express-G для стандартов STEP.