|
|
|
содержание .. 38 39 40 41 ..
%
*#$A&,& +($*,#&($"!)&P !"#$%!#&’&($"!))KH :&:#*%
5
@!"!
6
При
проектировании
САПР
выбирают
аппаратно
-
программную
платформу
,
базовое
ПО
проектирующих
и
обслу
-
живающих
подсистем
,
разрабатывают
структуру
корпоративной
сети
,
определяют
типы
сетевого
оборудования
,
серверов
и
рабочих
станций
,
выявляют
необходимость
разработки
оригинальных
программных
компонентов
.
Реализация
проекта
САПР
включает
подготовку
помещений
,
монтаж
кабельной
сети
,
обучение
будущих
пользова
-
телей
САПР
,
закупку
и
инсталляцию
ТО
и
ПО
.
Разработка
SADT-
моделей
состоит
из
ряда
этапов
.
1
.
Сбор
информации
.
Источниками
информации
могут
быть
документы
,
наблюдение
,
анкетиро
-
вание
и
т
.
п
.
Существуют
специальные
методики
выбора
экспертов
и
анкетирования
.
2.
Создание
модели
.
Используется
нисходящий
стиль
:
сначала
разрабатываются
верхние
уровни
,
затем
нижние
.
3.
Рецензирование
модели
.
Реализуется
в
итерационной
процедуре
рассылки
модели
на
отзыв
и
ее
доработки
по
замечаниям
рецензентов
,
в
завершение
собирается
согласительное
совещание
.
Связи
функциональной
модели
,
отражающей
функции
,
со
структурной
моделью
,
отражающей
средства
выполнения
функций
,
выражаются
с
помощью
специальных
словарей
,
дающих
однозначное
толкование
вводимым
именам
ресурсов
.
Дальнейшее
использование
IDEF0-
модели
—
конкретизация
задач
выбора
ресурсов
,
разработка
планов
реализации
,
переход
к
имитационным
моделям
и
т
.
п
.
E
.-
4
5+7
:
IDEF3.
!#($-$*1$+%#$
/#-$4’"#()*’$
сложных
систем
используют
для
исследования
динамики
их
функционирования
.
В
основе
поведенческого
моделирования
лежат
модели
и
методы
ими
-
тационного
моделирования
систем
массового
обслуживания
,
сети
Петри
,
возможно
применение
конеч
-
но
-
автоматных
моделей
,
описывающих
поведение
системы
,
как
последовательности
смены
состояний
.
Поведенческие
аспекты
приложений
отражает
методика
IDEF3.
Если
методика
IDEF0
связана
с
функциональными
аспектами
и
позволяет
отвечать
на
вопросы
“
Что
делает
система
?”,
то
в
IDEF3
де
-
тализируются
и
конкретизируются
IDEF0-
функции
, IDEF3-
модель
отвечает
на
вопросы
“
Как
система
это
делает
?”
Язык
IDEF3 —
язык
диаграмм
,
помогающий
разработчику
моделей
наглядно
предста
-
вить
моделируемые
процессы
.
В
IDEF3
входят
два
типа
описаний
:
1
)
процесс
-
ориентированные
в
ви
-
де
последовательности
операций
; 2)
объект
-
ориентированные
,
выражаемые
диаграммами
перехода
состояний
,
характерными
для
конечно
-
автоматных
моделей
.
На
рис
. 6.5
представлен
пример
процесс
-
ориентированной
IDEF3-
диаграммы
.
Здесь
функции
(
операции
)
показаны
прямоугольниками
с
горизонтальной
чертой
,
отделяющей
верхнюю
секцию
с
названием
функции
от
нижней
секции
,
содержащей
номер
функции
.
Связи
,
отражающие
последова
-
&
.
+
.
)
"#$%!#&’&($"!))$* +($*,#&($"!)&*
159
%+,
. 6.4.
Функциональная
модель
процесса
создания
САПР
:
:
)
IDEF0-
диаграмма
первого
уровня
;
B
)
IDEF0-
диаграмма
обследования
предприятия
;
9
)
IDEF0-
диаграмма
проектирования
САПР
;
@
)
IDEF0-
диаграмма
реализации
проекта
САПР
%
*#$A&,& +($*,#&($"!)&P !"#$%!#&’&($"!))KH :&:#*%
5
@!"!
6
тельность
выполнения
функций
,
изображаются
сплошными
линиями
-
стрелками
.
Для
указания
раз
-
ветвлений
и
слияний
связей
(
их
принято
называть
перекрестками
)
используют
квадраты
,
у
которых
одна
или
обе
вертикальные
стороны
представлены
двойными
линиями
,
а
внутри
квадрата
записан
один
из
символов
&, O
или
Х
.
При
разветвлении
эти
символы
означают
реакцию
всех
,
некоторых
или
только
одной
из
последующих
функций
на
входное
воздействие
соответственно
.
Аналогичный
смысл
имеют
символы
&, O
или
Х
при
слиянии
–
последующая
функция
начинает
выполняться
после
окон
-
чания
всех
,
некоторых
или
только
одной
из
входных
операций
.
На
рис
. 6.6
представлены
пример
объ
-
ект
-
ориентированной
IDEF3-
диаграммы
.
В
таких
диаграммах
имеются
средства
для
изо
-
бражения
состояний
системы
,
активностей
,
переходов
из
состояния
в
состояние
и
усло
-
вий
перехода
.
Диаграммы
IDEF0
или
IDEF3
могут
быть
преобразованы
в
имитационные
моде
-
ли
,
если
задать
дополнительные
свойства
функций
,
характеризующие
затраты
ресур
-
сов
.
Чаще
всего
имитационные
модели
пред
-
ставляют
в
виде
сетей
Петри
.
Преобразование
связано
с
введением
времени
в
функциональную
IDEF0
или
в
поведенческую
IDEF3-
модель
,
с
заменой
функций
переходами
,
а
объектов
,
отождествляемых
со
стрелками
блоков
ICOM,
с
метками
в
сетях
Петри
.
E
.-
4
5+7
:
IDEF
)
X.
IDEF
1
—
методика
’*E#"/)=’#**#8#
(
’*E#4#8’1$+%#8#
)
проектирования
приложений
,
в
настоящее
время
применяется
ее
усовершенствованный
вариант
IDEF
1
X.
В
IDEF
1
X
имеется
ясный
графический
язык
для
описания
объектов
и
отношений
в
приложениях
.
Это
язык
диа
-
грамм
сущность
-
связь
.
Основные
компоненты
описаний
в
IDEF
1
X:
сущности
(
блоки
),
отношения
(
связи
),
атрибуты
.
:7A*#+&5
—
множество
объектов
,
обладающих
общими
свойствами
(
в
языках
программирова
-
ния
понятие
сущности
совпадает
с
понятием
типа
).
Конкретные
элементы
этого
множества
называют
B%6$/049")/’
сущности
.
Атрибуты
характеризуют
свойства
сущностей
,
их
значения
однозначно
идентифицируют
экземпляры
сущностей
.
Если
сущность
C
может
быть
определена
только
с
помо
-
щью
ссылки
на
свойства
некоторой
другой
сущности
(
,
то
C
называется
зависимой
(
дочерней
)
сущ
-
ностью
,
а
(
выступает
в
роли
родительской
сущности
.
Сущности
в
IDEF
1
X-
диаграммах
изображаются
в
виде
прямоугольников
,
при
этом
у
зависимых
сущностей
углы
прямоугольников
должны
быть
скругленными
.
U&*#>$*’9
(
связи
)
между
сущностями
в
IDEF
1
X
являются
бинарными
отношениями
.
Выделя
-
ют
’-$*&’E’=’"7<A’$
отношения
—
связи
типа
родитель
-
потомок
,
в
которых
потомок
(
зависимая
сущность
)
однозначно
определяется
своей
связью
с
родителем
,
и
неидентифицирующие
отношения
,
означающие
,
что
у
связанного
этим
отношением
экземпляра
одной
сущности
может
быть
,
а
может
и
не
быть
соответствующего
экземпляра
второй
сущности
(
пример
идентифицирующего
отношения
изготовитель
-
товар
,
неидентифицирующего
отношения
—
рабочая
станция
—
дигитайзер
).
Иденти
-
&
.
+
.
)
"#$%!#&’&($"!))$* +($*,#&($"!)&*
160
%+,
. 6.5.
IDEF3-
диаграмма
последовательсноти
операций
%+,
. 6.6
. IDEF3-
диаграмма
перехода
состояний
%
*#$A&,& +($*,#&($"!)&P !"#$%!#&’&($"!))KH :&:#*%
5
@!"!
6
фицирующее
отношение
изображают
на
диаграмме
сплошной
линией
между
прямоугольниками
свя
-
занных
сущностей
,
неидентифицирующее
отношение
показывают
пунктирной
линией
.
На
дочернем
конце
линии
должно
быть
утолщение
(
жирная
точка
).
Мощность
k
связи
–
число
экземпляров
зависи
-
мой
сущности
,
соответствующее
одному
экземпляру
родительской
сущности
.
Известное
значение
мощности
может
быть
указано
около
утолщенного
конца
линии
связи
.
При
этом
символ
"
означает
k
≥
1
,
а
символу
z
соответствует
k
= 0
или
1
.
Отсутствие
символа
интерпретируется
k
≥
0.
Различают
также
специфические
и
неспецифические
отношения
.
G$+0$=’E’1$+%’$
отношения
—
это
связи
типа
“
многие
ко
многим
”
и
обозначаются
сплошной
линией
с
утолщениями
на
обоих
концах
.
В
отношениях
родитель
-
потомок
возможно
наличие
у
потомка
единственного
родителя
(
харак
-
теристическая
связь
)
или
нескольких
родителей
(
ассоциативная
связь
).
Выделяют
также
отношения
категоризации
(
наследования
),
отражающие
связи
между
некоторой
общей
сущностью
и
вариантами
ее
реализации
(
категориями
).
Примером
категориальной
связи
является
отношение
тип
прибора
—
альтернативные
варианты
этого
прибора
.
Среди
атрибутов
различают
ключевые
и
неключевые
.
Значение
%4<1$(#8#
)&"’27&)
(
%4<1)
)
од
-
нозначно
идентифицирует
экземпляр
сущности
.
I*$>*’;
%4<1
–
это
атрибут
(
или
атрибуты
),
входя
-
щий
в
ключ
родителя
и
наследуемый
потомком
.
На
IDEF
1
X-
диаграммах
ключи
записывают
в
верхней
части
прямоугольника
сущности
,
причем
внешние
ключи
помечают
меткой
FK (Foreign Key),
неклю
-
чевые
атрибуты
помещают
в
нижнюю
часть
прямоугольников
.
В
идентифицирующих
отношениях
все
ключи
родителя
входят
и
в
ключи
потомка
,
в
неидентифицирующих
ключи
родителя
относятся
к
не
-
ключевым
атрибутам
потомка
.
Нормальные
формы
отношений
позволяют
выявить
атрибуты
,
которые
целесообразно
(
с
целью
устранения
избыточности
)
считать
сущностями
.
Известно
несколько
нормальных
форм
,
обычно
ис
-
пользуют
первые
три
из
них
.
Первая
нормальная
форма
требует
,
чтобы
шапка
таблицы
(
отношения
)
была
одноэтажная
(
т
.
е
.
все
атрибуты
характеризуются
атомарными
значениями
),
строки
-
дубли
должны
быть
устранены
.
Вторая
нормальная
форма
устанавливается
для
сущностей
,
удовлетворяющих
условиям
первой
нормальной
формы
и
имеющих
составные
ключи
.
Она
определяется
отсутствием
атрибутов
,
зависящих
только
от
части
составного
ключа
.
Подобные
атрибуты
должны
быть
выделены
в
отдельные
сущности
.
Третья
нормальная
форма
дополнительно
характеризуется
отсутствием
транзитивных
связей
(
взаимозависимости
)
атрибутов
.
Разработка
информационной
модели
по
IDEF
1
X
выполняется
за
несколько
стадий
.
С
т
адия
0.
Выяснение
цели
проекта
,
составление
плана
сбора
информации
.
Обычно
отправным
пунктом
для
разработки
информационной
модели
является
IDEF0-
модель
.
С
т
адия
1
.
Выявление
и
определение
сущностей
.
Это
неформальная
процедура
.
С
т
адия
2.
Выявление
и
определение
основных
отношений
.
Результат
представляется
или
графи
-
чески
в
виде
ER-
диаграмм
или
в
виде
матрицы
отношений
,
элемент
которой
A
ij
=
1
,
если
имеется
связь
между
сущностями
i
и
j
,
иначе
A
ij
=0.
Транзитивные
связи
не
указываются
.
С
т
адия
3.
Детализация
неспецифических
отношений
,
определение
ключевых
атрибутов
,
уста
-
&
.
+
.
)
"#$%!#&’&($"!))$* +($*,#&($"!)&*
161
%+,
. 6.7.
Элементы
языка
IDEF
1
X
|