Файл: Садовников, В. И. Потоки информации в системах управления.pdf

редь гомоморфно Яц (наименование склада), то можно сказать, что Рі0 гомоморфно Яц.

Иногда значение ЕК, относящейся к данному инфор­ мационному множеству, определяется комбинацией зна­ чений ЕК, относящихся к нескольким другим множест­ вам. Напримёр, информационное множество «дата» (Я 4) равно декартову произведению множества «день», «ме­ сяц» и «год» (Я7Х Я 8Х Я 9), а информационное множест­ во «Адрес отгрузки» (Яі4) изоморфно декартову произве­ дению множества «Идентификационный номер клиента» (Я2) и «Код отгрузки» (Я3).

Кроме отношений между информационными множе­ ствами рассматриваются отношения между документа­

кумента, на основании которого формируется данный до­ кумент, или в зависимости от некоторых дополнительных условий). Например, накладная D2 формируется на осно­ вании каждой поступившей квитанции Dі, поэтому счи­ тается, что Di «производит» D2. Такие отношения назы­ ваются производящими. Примером производящих отно­ шений между документами и информационными множе­ ствами служат отношения, записанные для документа Я>4 (см. ниже). Одно из этих отношений свидетельствует о том, что документ Z)4 (ведомость) выписывается каж­ дый месяц (Я8) каждому клиенту (Я2) при условии не­ нулевого баланса (Z>4_8^ 0 ) у этого клиента. Таким об­ разом, производящие отношения отражают условия и сам факт формирования документа, а не его содержа­ ние.

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

Например, определяющее отношение, которое являет­ ся простым арифметическим выражением, связывает еди­ ничные компоненты «цена заказанного товара» (D2_ie),

16

«Количество в заказе» (£)2_7) и «цена единицы товара» (D2-g). ЕК £>2_ю находится умножением Д2- 7 на £>2- 9.

При записи отношений приходится указывать неко­ торые условия, относящиеся к элементам потока инфор­ мации. Примером условия служит такая запись: «на­ кладная была датирована после 10-го числа предыду­ щего месяца, но до 10-го числа этого месяца».

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

~Гомоморфизм (многозначное соответствие).

X Декартово произведение информационных мно­ жеств.

Производит.

£в Внешнее (реальное) время.

tj Внутреннее время (например, дата, записанная в документе).

Ст- п п-е условие, относящееся к гп-му документу. Ст-п Отрицание условия Ст- п-

(. Если.

£ Количество.

Q Среднее количество, g Существует.

gНе существует.

ДЛогическая операция И.

V Логическая операция ИЛИ.

Условные обозначения, принятые в графической схеме потока информации (рис. 1-2)

ЕК документа (£>5- 7) изображается в виде круга. Но­ мер документа (D5) показан над линией, а номер ЕК додумента — под линией. Двойная линия а (обычно гори-

Зойтальная линия с ответвлениями) соединяет все ЕК документа.

Информационные множества (здесь Рщ и Я4) изобра­ жаются квадратом.

ЕК документа, относящиеся к конкретному информа­ ционному множеству, соединяются с ним жирной пунк­ тирной линией со стрелкой б.

Изоморфизм (гомоморфизм) между информационны­ ми множествами изображается двусторонней (односто-

двусторонняя стрелка в). Для удобства черчения стрел­ ки могут соединяться с линией, идущей от квадратов.

Строка единичных компонент выделяется квадратны­ ми скобками гі—г3. В данном примере строка ЕК доку­

ке ЕКНапример, информационное множество Р4 свя­ зано производящим отношением со строкой ЕК докумен­ та D5. О т квадрата, представляющего /Д вниз идет пре­ рывистая вертикальная линия, от которой ответвляется двойная линия со стрелкой. Стрелка заканчивается

18

вие единичным« компонентами, а исходящая от символа пунктирная линия соединяет его с символом, обозначаю­ щим отношение, которое зависит от данного условия.

Знак суммы ж показывает, что значение ЕК £ 5-7 рав­ но сумме значений ZV-4.

*п — число элементов информационного множества (число зна­ чений, которое могут принимать регулярные ЕК, относящиеся к дан­ ному множеству).

**L — число знаков (N — цифровых, А — алфавитных, A/N —

алфавитно-цифровых) в каждом элементе (число знаков, которое со­ держит каждое значение ЕК, относящейся к данному множеству).

В виде треугольника изображается задержка, время задержки указано внутри треугольника. На схеме пока­ зано, что значение ЕК £>5 - 5 за предыдущее число сумми­ руется с £>5_4, чтобы получить значение £>5_5 за данное число.

20