Моделирование систем управления. Формирование требований и разработка концептуальной модели. Разработка математической модели системы массового обслуживания, страница 17

        б) Денежный счёт, представляющий собой квитанцию в электронной форме.

4. На основе вышеизложенного составляется контекстная диаграмма, с помощью которой устанавливаются связи банкомата, выполняющего обслуживание клиента, с внешними сущностями (внешней средой).

Контекстная диаграмма:

 

5.Составляется DFD 1-го уровня.

Рассматриваемый процесс обслуживания клиента банкоматом детализируется. Для этого строится DFD-диаграмма  1-го уровня. Весь процесс: обсл.1 разбивается на 4 процесса.

 

Процесс 1.1 – получить пароль. Осуществляет приём и проверку пароля по кредитной карте.

Потоки:     выходные: сообщение о готовности принять пароль кредитной карты   

                                       клиента.

                   входные: пароль из хранилища данных кредитной карты для проверки

                                   наличия пароля;

                                   введённый пароль в виде ключевых данных.

Процесс 1.2 – получить запрос на обслуживание. Осуществляет приём и проверку запроса на обслуживание.

Потоки:     входные: запрос на обслуживание (из ключевых данных);

                                   Лимит денег (поступает из хранилища данных по кредитной 

                                   карте).

                  выходные: сообщение о готовности принять запрос;

                                     сообщение о запрашиваемой денежной сумме.

Процесс 1.3 – обработать запрос.

Потоки:    входные: данные по счёту, поступаемые от компьютера банка;

                                  детали клиента, поступаемые из хранилища.

                 выходные: выписка, деньги, протокол.

Процесс 1.4 – обработать кредитную карту. В этом процессе с кредитной карты считывается информация.

Потоки:    входные: кредитная карта.

                  выходные: данные по кредитной карте, передаваемые в хранилище.

Представленные процессы, за исключением процесса 1.3, простейшие и не    подлежат дальнейшей детализации. Процесс 1.3 более сложный и его можно детализировать.

2. 8. 5. Расширение DFD-модели средствами управления работы системы в реальном времени

Если в модели необходимо отразить процесс функционирования в реальном масштабе времени, т.е. в динамике, тогда в рассмотренную выше DFD-модель вносится дополнение в виде управления процессами средствами STD.

Для этого используются следующие символы и обозначения:

1. Управляющий процесс, представляющий собой преобразователь управляющих потоков. С помощью такого процесса устанавливается интерфейс между DFD и спецификацией управления (STD).

Обозначается: окружность, внутри которой имя и номер процесса.

2. Хранилище управляющих потоков, содержащее значения управляющего потока     в промежутки времени.

Обозначается:                       

3. Управляющий поток, представляющий собой носитель управляющей информации или сигналов управления.

Обозначается:     

                                                         

Типы управляющих потоков:

1.  Т-поток – поток, с помощью которого устанавливается время начала процесса, т.е. появление элементов Т-потока приводит к началу исполнения управляемого потока.

2.  А-поток – определяет длительность исполнения управляемого процесса,  т.е. определяет конец выполнения управляемого процесса.

3.  E/D-поток – определяет по условию длительность выполнения процесса. Процесс прекращается, если одновременно по линии управления E возникает сигнал управления по лини D.

Пример расширения DFD ведением управляющих потоков с использованием ранее рассмотренной работы банкомата

С учётом управляющих потоков (управляющих процессов) диаграмма работы банкомата будет иметь вид:

 

Пунктиром обозначены все управляющие потоки и процессы.

Управляющий процесс 1.5 (управление обслуживанием) преобразует управляющие потоки следующим образом: с получением сигнала от процесса 1.4 введённая кредитная карты запускает процесс 1.1 (получить пароль). Получив пароль, 1.5 удаляет кредитную карту в процессе 1.4 и запускает процессы 1.2 и 1.3 (обеспечить обслуживание и требуемое обслуживание).

Потоки на управление «получить пароль» - потока типа А.

Потоки «требуемое обслуживание» - потоки типа Т.

2. 8. 6. Словарь данных (потоков)

Словарь потоков хранит текстовое описание данных потока и содержит:

- Описание потоков и хранилищ,

- Список композиций групповых данных,

- Описание отношений между хранилищем и данными.

В словаре хранится следующая информация о потоке:

1)  имя потока;

2)  тип потока;

3)  атрибуты потока.

Запись в словаре начинается со знака @.

По типу потоки делятся на:

- Простые и групповые,

- Внутренние и внешние,

- Потоки управления и потоки данных,

- Непрерывные и дискретные.

Атрибуты потока содержат:

1)  Имена атрибутов (они должны быть синонимами основного потока);

2)  Единица измерения;

3)  Диапазон изменения;

4)  Список значений;

5)  Список потоков, в которые вливается (входит) поток;

6)  Комментарии.

Для оформления словаря данных используются различные нотации. В дальнейшем будем использовать формы Бэкуса – Наура и будем обозначать : 

БНФ – нотация.

Формат записи или синтаксис БНФ следующий:

@ БНФ = <оператор>!<БНФ-выражение>.

В БНФ-выражениях используются следующие символы:

= - композиция из чего-то.

+ - «И».

!- «ИЛИ».

( )- компонент не обязателен.

{ }- итерация композиции. Например: 3{болт}7 – болтов от 3 до 7.

                                                              {Шайба}3 – неболее 3-х.

Пример словаря потока «Деньги»:

@ ИМЯ = деньги

@ ТИП = дискретный поток

@ БНФ = /деньги, выданные клиенту/

@ Единица измерения = доллар

@ Норма = 5…1000

@ Комментарий : сумма выдаваемых денег должна делиться на 5.

2. 8. 7. Спецификации процессов