Потоковые диаграммы информационно-логической модели

Приведенное ранее формальное определение информационно-логической модели дано для того, чтобы у пользователя сложилось точное понимание, сущности информационно-логической модели. В табл.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

Графическое представление Определение
  Изображение на КД системы или подсистемы
Изображение на ДПД информационного процесса или просто процесса    
Изображение на ДИП внешней сущности  
Изображение на ДПД накопителя (хранилища) данных
Изображение на ДИП информационного канала, используемого как среда для разветвления составного потока на простые или сборки простых потоков в один составной поток
Изображения информационного потока (потока данных) и управляющего потока (потока событий)