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

Спецификация представляет собой описание определенным образом процессов системы. В состав спецификации входит:

1)  имя процесса,

2)  входные и выходные данные для рассматриваемого процесса,

3)  описание процесса, т.е. описание преобразования входных данных в

выходные.

Описание ведется построчно и первым символом является @.

Пример спецификации

@СПЕЦПРОЦЕСС <имя>

@ВХОД=<имя из словаря (слово памяти)>

@ВЫХОД=<имя из словаря (хранимые значения)>

@СПЕЦПРОЦЕСС

для всех слов памяти выполнить

распечатать хранимые значения

Составление спецификации с помощью структурированного

естественного языка

Описание ведется с использованием:

- глаголов (действие в объекте),

- терминов (символы, процедуры),

- предлогов, союзов (логические отношения),

- математических и технических терминов,

- арифметических выражений,

- таблиц, диаграмм, графов,

- правил построения конструкций:

1)  Последовательная конструкция:

ВЫПОЛНИТЬ функцию 1

ВЫПОЛНИТЬ функцию 2

и т.д.

2)  Конструкция выбора:

ЕСЛИ <условие> ТО

ВЫПОЛНИТЬфункцию 1

ИНАЧЕ

ВЫПОЛНИТЬ функцию 2

КОНЕЦЕСЛИ

3)  Конструкция итерации

      ДЛЯ <условие>

ВЫПОЛНИТЬ функцию

КОНЕЦДЛЯ

или

      ПОКА <условие>

ВЫПОЛНИТЬ функцию

КОНЕЦПОКА

Пример составления спецификации процесса

«ПОЛУЧИТЬ ПАРОЛЬ»

Овал: ПОЛУЧИТЬ
ПАРОЛЬ
1.1
 


СООБЩЕНИЕ                                      ПАРОЛЬ

                   

 


                                      ВВЕДЕННЫЙ                                 КОРРЕКТНЫЙ                                                               ПАРОЛЬ                                            ПАРОЛЬ

Спецификация имеет вид:

@ИМЯ=получить пароль 1.1

@ВХОД=введенный пароль

@ВХОД=пароль

@ВЫХОД=сообщение

@ВЫХОД=корректный пароль

@СПЕЦПРОЦЕСС 1.1 получить пароль

    ВЫПОЛНИТЬ выдать сообщение клиенту

                               принять введенный пароль

    ПОКА введенный пароль=пароль

                 или были три попытки ввода

    ВЫПОЛНИТЬ установить флаг корректный пароль в случае равенства

     КОНЕЦПОКА              

@конец спецификации процесса 1.1

2. 8. 8 . Составление диаграмм сущность-связь (ERD)

ER-диаграммы предназначены для описания хранилищ данных. С помощью ER-диаграмм устанавливается связь между сущностями. Сущность представляет собой множество объектов (данных), имеющих одинаковое имя. Связь между сущностями определяется отношением сущностей друг к другу.

В ERD используются следующие виды сущностей:

1.  Независимая сущность представляет собой независимые данные. При этом связь с другими сущностями может отсутствовать. Обозначается прямоугольником с именем сущности:

 

  КЛИЕНТ

 

2.  Зависимая сущность представляет зависимые друг от друга данные. Обозначается двойным прямоугольником с именем сущности:

 


 


3.  Ассоциированная сущность представляет собой данные, которые являются продуктом отношения данных.

 


Отношения бывают следующих видов:

1.  Неограниченное отношение представляет собой обязательное или безусловное отношение между сущностями.

Ромб: НЕОГР.
 


2.  Ограниченное отношение представляет собой необязательное или условное отношение между сущностями.

 


Связи, которые определяют отношения между сущностями, могут принимать различные значения. В диаграммах принято употреблять следующие значения связей:

- 1: 1 (один к одному),

- 1: n (один ко многим),

- n: m (многие к многим).

Пример ERD банковской системы

Ромб: ЗНАЕТ
 


   БАНК

 

  КЛИЕНТ

 
                                1

 


                                                                                                         1

                   0 и >                             1

 


             1                                                  0 и >                    0 и >             1и >

                                  1                            1                                  1

 


В предлагаемой диаграмме независимые сущности: КЛИЕНТ, БАНК, БАНКОВСКИЙ СЧЕТ, КРЕДИТНАЯ КАРТА, а зависимая сущность ПАРОЛЬ КАРТЫ.

Отношения все неограниченные:

- банк имеет банковские счета,

-клиент может владеть или не владеть кредитной картой,

- клиент может иметь или не иметь банковский счет,

- банковский счет определяет одну кредитную карту,

- кредитная карта имеет пароль карты,

- клиент знает (но может забыть) пароль карты.

Для дальнейшей детализации хранилища проводят декомпозицию сущности по атрибутам с помощью диаграмм атрибутов. Декомпозиция проводится в следующей последовательности:

 1) выбирается сущность,

 2) определяются ее атрибуты,

 3) каждый атрибут расписывается в виде доменов (значений) атрибутов.

Пример составления диаграммы атрибутов для сущности

КРЕДИТНАЯ КАРТА

 


сущность

                                        ПАРОЛЬ                              ЛИМИТ                                 НОМЕР

АТРИБУТ                                                                ДЕНЕГ                                   СЧЕТА