Спецификация представляет собой описание определенным образом процессов системы. В состав спецификации входит:
1) имя процесса,
2) входные и выходные данные для рассматриваемого процесса,
3) описание процесса, т.е. описание преобразования входных данных в
выходные.
Описание ведется построчно и первым символом является @.
Пример спецификации
@СПЕЦПРОЦЕСС <имя>
@ВХОД=<имя из словаря (слово памяти)>
@ВЫХОД=<имя из словаря (хранимые значения)>
@СПЕЦПРОЦЕСС
для всех слов памяти выполнить
распечатать хранимые значения
естественного языка
Описание ведется с использованием:
- глаголов (действие в объекте),
- терминов (символы, процедуры),
- предлогов, союзов (логические отношения),
- математических и технических терминов,
- арифметических выражений,
- таблиц, диаграмм, графов,
- правил построения конструкций:
1) Последовательная конструкция:
ВЫПОЛНИТЬ функцию 1
ВЫПОЛНИТЬ функцию 2
и т.д.
2) Конструкция выбора:
ЕСЛИ <условие> ТО
ВЫПОЛНИТЬфункцию 1
ВЫПОЛНИТЬ функцию 2
3) Конструкция итерации
ДЛЯ <условие>
или
ПОКА <условие>
![]() |
СООБЩЕНИЕ ПАРОЛЬ
![]() |
|||
![]() |
|||
ВВЕДЕННЫЙ КОРРЕКТНЫЙ ПАРОЛЬ ПАРОЛЬ
Спецификация имеет вид:
@ИМЯ=получить пароль 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
0
и > 1
![]() |
1 0
и > 0 и > 1и
>
1 1 1
![]() |
![]() |
||||||||
![]() |
|||||||||
![]() |
|||||||||
![]() |
|||||||||
В предлагаемой диаграмме независимые сущности: КЛИЕНТ, БАНК, БАНКОВСКИЙ СЧЕТ, КРЕДИТНАЯ КАРТА, а зависимая сущность ПАРОЛЬ КАРТЫ.
Отношения все неограниченные:
- банк имеет банковские счета,
-клиент может владеть или не владеть кредитной картой,
- клиент может иметь или не иметь банковский счет,
- банковский счет определяет одну кредитную карту,
- кредитная карта имеет пароль карты,
- клиент знает (но может забыть) пароль карты.
Для дальнейшей детализации хранилища проводят декомпозицию сущности по атрибутам с помощью диаграмм атрибутов. Декомпозиция проводится в следующей последовательности:
1) выбирается сущность,
2) определяются ее атрибуты,
3) каждый атрибут расписывается в виде доменов (значений) атрибутов.
Пример составления диаграммы атрибутов для сущности
![]() |
|||||
![]() |
|||||
![]() |
|||||
сущность
ПАРОЛЬ
ЛИМИТ НОМЕР
АТРИБУТ
ДЕНЕГ СЧЕТА
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.