Синтаксис  графического языка IDEF0.

Набор структурных компонентов языка, их характеристики и правила, опре­деляющие связи между компонентами, представляют собой синтаксис языка. Компоненты синтаксиса IDEF0 - блоки, стрелки, диаграммы и правила.. Блоки представляют функции, определяемые как деятельность, процесс, опе­рация, действие или преобразование (см. ниже). Стрелки представляют дан­ные или материальные объекты, связанные с функциями. Правила опреде­ляют, как следует применять компоненты; диаграммы обеспечивают формат графического и словесного описания моделей. Формат образует основу для управления конфигурацией модели.

Блок.

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

Стрелка.

Стрелка формируется из одного или более отрезков прямых и наконеч­ника на одном конце. Как показано на рис. 2, сегменты стрелок могут быть прямыми или ломаными; в последнем случае горизонтальные и вертикаль­ные отрезки стрелки сопрягаются дугами, имеющими угол 90°. Стрелки не представляют поток или последовательность событий, как в традиционных блок-схемах потоков или процессов. Они лишь показывают, какие данные или материальные объекты должны поступить на вход функции для того, чтобы эта функция могла выполняться. Рис. 2. Синтаксис стрелок.

Синтаксические правила.

Блоки

1.Размеры блоков должны быть достаточными для того, чтобы включить

имя блока.

2.Блоки должны быть прямоугольными, с прямыми углами.

3.Блоки должны быть нарисованы сплошными линиями.

4.3.2              Стрелки

1. Ломаные стрелки изменяют направление только под углом 90 град.

2. Стрелки должны быть нарисованы сплошными линиями различной тол­щины.

3. Стрелки могут состоять только из вертикальных или горизонтальных от­резков; отрезки, направленные по диагонали, не допускаются.

4. Концы стрелок должны касаться внешней границы функционального блока, но не должны пересекать ее.

5.Стрелки должны присоединяться к блоку на его сторонах. Присоединение в углах не допускается.

 

5. Семантика языка IDEF0.

Семантика определяет содержание (значение) синтаксических компонентов языка и способствует правильности их интерпретации. Интерпретация уста­навливает соответствие между блоками и стрелками с одной стороны и функциями и их интерфейсами - с другой.

5.1 Семантика блоков и стрелок

Поскольку IDEF0 есть методология функционального моделирования, имя блока, описывающее функцию, должно быть глаголом или глагольным обо­ротом; например, имя блока "Выполнить проверку", означает, что блок с таким именем превращает непроверенные детали в проверенные. После при­сваивания блоку имени, к соответствующим его сторонам присоединяются входные, выходные и управляющие стрелки, а также стрелки механизма, что и определяет наглядность и выразительность изображения блока IDEF0.

Чтобы гарантировать точность модели, следует использовать стандартную терминологию. Блоки именуются глаголами или глагольными оборотами и эти имена сохраняются при декомпозиции Стрелки и их сегменты, как от­дельные, так и связанные в «пучок», помечаются существительными или оборотами существительного. Метки сегментов позволяют конкретизировать данные или материальные объекты, передаваемые этими сегментами, с со­блюдением синтаксиса ветвлений и слияний.

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

Стрелки, подключенные к нижней стороне блока, представляют механизмы. Стрелки, направленные вверх, идентифицируют средства, поддерживающие выполнение функции. Другие средства могут наследоваться из родительско­го блока. Стрелки механизма, направленные вниз, являются стрелками вызо­ва. Стрелки вызова обозначают обращение из данной модели или из данной части модели к блоку, входящему в состав другой модели или другой части модели, обеспечивая их связь, т.е. разные модели или разные части одной и той же модели могут совместно использовать один и тот же элемент (блок). Стандартное расположение стрелок показано на рис.3.

Имена и метки.

Как указывалось, имена функций - глаголы или глагольные обороты. При­меры таких имен:

Пример размещения меток стрелок и имени блока показан на рис. 4.

5.3 Семантические правила блоков и стрелок

1. Имя блока должно быть активным глаголом или глагольным оборотом.

2. Каждая сторона функционального блока должна иметь стандартное отношение блок/стрелки:

а)     входные стрелки должны связываться с левой стороной блока;

б)    управляющие стрелки должны связываться с верхней стороной блока;

в)     выходные стрелки должны связываться с правой стороной блока;

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

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

4. Чтобы связать стрелку с меткой, следует использовать "тильду" (

5. В метках стрелок не должны использоваться следующие термины: функция, вход, управление, выход, механизм, вызов.

Диаграммы IDEF0.

IDEFO-модели состоят из трех типов документов: графических диаграмм, текста и глоссария. Эти документы имеют перекрестные ссылки друг на друга. Графическая диаграмма - главный компонент IDEFO-модели, содер­жащий блоки, стрелки, соединения блоков и стрелок и ассоциированные с ними отношения. Блоки представляют основные функции моделируемого объекта. Эти функции могут быть разбиты (декомпозированы) на составные части и представлены в виде более подробных диаграмм; процесс декомпо­зиции продолжается до тех пор, пока объект не будет описан на уровне дета­лизации, необходимом для достижения целей конкретного проекта. Диа­грамма верхнего уровня обеспечивает наиболее общее или абстрактное опи­сание объекта моделирования. За этой диаграммой следует серия дочерних диаграмм, дающих более детальное представление об объекте.

РД IDEF0 - 2000