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

Материал из Кафедра ИУ5 МГТУ им. Н.Э.Баумана, студенческое сообщество
Перейти к навигации Перейти к поиску

...начало

Этап концептуального проектирования

Проектирование инфологической схемы БД

Диаграммы, построенные по ER-нотациям, тесно связаны с реляционной моделью. То есть, сами диаграммы - это ещё не реляционная модель.

Если связи между сущностями в инфологической схеме являются бинарными, то для перехода к реляционной модели достаточно представить сущность в виде таблицы, а атрибуты сущности преобразовать в столбцы этой таблицы.

Нотация Чена

Пример нотации Чена

Атрибуты сущностей:

Решёткой отмечены ключевые атрибуты. Совокупность ключевых атрибутов является ключом сущности.

Абстракции проектирования

Проектировщик пользуется, в основном, тремя абстракциями (либо осознанно, или нет):

  1. агрегация - объединение реквизитов в отдельный экземпляр (кортеж);
  2. обобщение - объединение агрегаций в сущность;
  3. ассоциация - связь между сущностями.

Разработка спецификация будущих приложений

Приложение - это программа, разрабатываемая в процессе проектирования ИС.

Спецификация программы - это входные и выходные данные и алгоритм связи между ними.

В настоящее время есть несколько способов описания спецификации. Основные:

  • структурированный естественный язык;
  • визуальные языки описания спецификаций.

Структурированный естественный язык

Конструкция - либо элемент ВЫПОЛНИТЬ действие, либо одна из трёх следующих:

  • последовательность конструкций:
конструкция
конструкция
...
конструкция
  • конструкция выбора:
ЕСЛИ условие
ТО конструкция
ИНАЧЕ конструкция
КОНЕЦ ЕСЛИ
  • конструкция итерации:
ДЛЯ условия
конструкция
конец ДЛЯ

продолжение...