Спецификация представляет собой описание определенным образом процессов системы. В состав спецификации входит:
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).
Ссылка на скачивание - внизу страницы.