СПАСОИ (10) - Лекция №5 - Спецификации прикладных программ
...начало

Этап концептуального проектирования
Проектирование инфологической схемы БД
Диаграммы, построенные по ER-нотациям, тесно связаны с реляционной моделью. То есть, сами диаграммы - это ещё не реляционная модель.
Если связи между сущностями в инфологической схеме являются бинарными, то для перехода к реляционной модели достаточно представить сущность в виде таблицы, а атрибуты сущности преобразовать в столбцы этой таблицы.
Нотация Чена
Пример нотации Чена
Атрибуты сущностей:
Решёткой отмечены ключевые атрибуты. Совокупность ключевых атрибутов является ключом сущности.
Абстракции проектирования
Проектировщик пользуется, в основном, тремя абстракциями (либо осознанно, или нет):
- агрегация - объединение реквизитов в отдельный экземпляр (кортеж);
- обобщение - объединение агрегаций в сущность;
- ассоциация - связь между сущностями.
Разработка спецификация будущих приложений
Приложение - это программа, разрабатываемая в процессе проектирования ИС.
Спецификация программы - это входные и выходные данные и алгоритм связи между ними.
В настоящее время есть несколько способов описания спецификации. Основные:
- структурированный естественный язык;
- визуальные языки описания спецификаций.
Структурированный естественный язык
Конструкция - либо элемент ВЫПОЛНИТЬ действие
, либо одна из трёх следующих:
- последовательность конструкций:
конструкция
конструкция
...
конструкция
- конструкция выбора:
ЕСЛИ условие
ТО конструкция
ИНАЧЕ конструкция
КОНЕЦ ЕСЛИ
- конструкция итерации:
ДЛЯ условия
конструкция
конец ДЛЯ
продолжение...