1.3.2. Потоковые диаграммы информационно-логической модели
Приведенное ранее формальное определение информационно-логической модели дано для того, чтобы у пользователя сложилось точное понимание, сущности информационно-логической модели. В табл.1.2 приведены определения компонентов ИЛМ.
Таблица 1.2.
<Контекстная диаграмма> = |
{<подсистема>} {<внешняя сущность>} <информационный канал>} {<информационный поток>} |
<Подсистема> = |
<номер> <имя> <поставщик> |
<Внешняя сущность> = |
<имя>[<номер копии>] |
<Информационный канал> = |
<имя>[<номер копии>] |
<Информационный поток> = |
<поток данных> | <поток управления> |
<Поток данных> = |
<имя> |
<Диаграмма информационных потоков> = |
<контекстная диаграмма> | <диаграмма потоков управления> | <диаграмма потоков данных> |
<Диаграмма потоков управления> = |
{<управляющий процесс>} | {<процесс>}| {<информационный канал>} | {<внешняя сущность>} | {<поток управления>} |
Окончание табл.1.2 |
|
<Управляющий процесс> = |
<номер><имя> |
<Процесс> = |
<номер> <имя> <реализация> |
<Диаграмма потоков данных> = |
{<процесс>}| {<управляющий процесс>}| {<внешняя сущность>}| {<информационный канал>}| {<накопитель данных>}| {<поток данных>} |
<Информационный канал> = |
<номер ИК> <имя> [<номер копии>] |
<Номер ИК> = |
"ИК"<целое> |
<Накопитель данных> = |
<номер накопителя> <имя>[<номер копии>] |
<Номер> = |
<целое не 0> "." [<номер>] |
<Имя> = |
<буква> {<буква> | <цифра> " "} |
<Номер копии> = |
<целое> |
<Номер накопителя> = |
"D"<целое> |
Формальное отслеживание соответствий и согласованности при переходе с уровня на уровень, а также все необходимое ассистирование пользователю в процессе построения информационно─логической модели поддерживается автоматически соответствующим CASE , например CASE.─Аналитиком. Пользователь строит информационно─логическую модель, пользуясь графическими символами, в разных методологиях представляемыми различным образом. В структурном анализе существует несколько вариантов графической нотации структурного анализа ─ Ross, Yordon&De Marco, Gane&Sarson и др. Будем использовать нотацию Gane&Sarson, поддерживаемую CASE─Аналитиком
На соединение узлов различного типа потоками накладываются ограничения. Так, например, не имеет смысла соединение при помощи потока данных двух накопителей данных. Накопители данных ─ пассивные устройства, и передача (или перезапись) информации между накопителями возможна только через некий процесс. На рис.1.4 и 1.5 изображены допустимые соединения элементов диаграмм.
Рис. 1.4. Допустимые соединения для потока данных
Рис 1.5. Допустимые соединения для диаграмм потоков управления
Все остальные типы соединений запрещены, и эти запреты поддерживаются автоматически CASE─Аналитиком.
В табл.1.3 приведено графическое представление компонентов ДПД и их определение..
Таблица 1.3
Графическое представление |
Определение |
|
Изображение на КД системы или подсистемы |
|
Изображение на ДПД информационного процесса или просто процесса
|
|
Изображение на ДИП внешней сущности
|
|
Изображение на ДПД накопителя (хранилища) данных |
|
Изображение на ДИП информационного канала, используемого как среда для разветвления составного потока на простые или сборки простых потоков в один составной поток |
|
Изображения информационного потока (потока данных) и управляющего потока (потока событий) |
