Спецификация.
База данных "Гороскоп"
Различные языки спецификаций используются для описания структуры информационной системы, моделей предметной области и других задач, связанных с разработкой ПО и БД (UML, ERD, DFD) и могут иметь как текстовый, так и бинарный формат, а также графическое представление конструкций языка. Применяются они так же для описания интерфейсов пользователя (XUL, XAML), шаблонов отчётов, преобразования… Читать ещё >
Спецификация. База данных "Гороскоп" (реферат, курсовая, диплом, контрольная)
Язык спецификаций — формальный язык, предназначенный для декларативного описания структуры, связей, свойств данных и способов их преобразований, (в отличие от активных языков) без явного упоминания порядка выполняемых действий и использования конкретных значений данных.
В отличие от языков программирования, используемых при реализации компьютерных программ, языки спецификаций применяются для проведения системного анализа, анализа требований, разработкеархитектуры создаваемых программных систем и формальной верификации программного обеспечения.
Различные языки спецификаций используются для описания структуры информационной системы, моделей предметной области и других задач, связанных с разработкой ПО и БД (UML, ERD, DFD) и могут иметь как текстовый, так и бинарный формат, а также графическое представление конструкций языка. Применяются они так же для описания интерфейсов пользователя (XUL, XAML), шаблонов отчётов, преобразования документов, а также в качестве форматов передачи данных между приложениями в распределённых информационных системах (XML, JSON, CLEAR). Ещё одно применение языков спецификации — описание структур баз данных, а именно — декларативная часть SQL обычно называется Data Definition Language (DDL). При синтаксическом анализе и разборе (парсинге) применяются языки спецификаций, например, форма Бэкуса — Наура и ABNF (англ. augmented Backus-Naur form — расширенная форма Бэкуса — Наура) являются общепринятыми формальными языками спецификации сетевых протоколов и даже синтаксиса активных языков программирования; регулярные выражения аналогичны выше упомянутым нотациям, однако форма записи регулярных выражений в десятки раз компактнее, и хорошо разработаны алгоритмы парсинга с их помощью, а поддержка регулярных выражений осуществлена в подавляющем большинстве современных языков программирования.
Методы спецификаций Признаки Методы спецификации можно классифицировать по нескольким признакам:
- · Парадигма (смена состояний, алгебра, алгебра процессов, логика)
- · Степень формальности (формальный, полуформальный, неформальный)
- · Наличие графического представления
- · Объектная ориентированность
- · Поддержка параллелизма (англ. concurrency)
- · Выполнимость спецификации для имитационного моделирования системы (англ. executability)
- · Использование переменных
- · Детерминированность/недетерминированность
- · Логика (первого или более высокого порядка)
- · Доказуемость
- · Возможность проверки моделей
- · Подавление событий (возможность может присутствовать, отсутствовать или не быть применимой к данному методу)
Спецификация объектов:
Пользователь:
Код пользователя — идентификационный атрибут.
Имя пользователя — описательный атрибут.
Дата рождения — описательный атрибут Гороскоп:
Код знака зодиака — идентификационный атрибут.
Описание зодиака — описательный атрибут Система гороскопа :
Код вида гороскопа — идентификационный атрибут.
Вид гороскопа — описательный атрибут Спецификация типов связей:
ИСПОЛЬЗУЕТ : связь ГОРОСКОП ПОЛЬЗОВАТЕЛЬ 1: N.
ВКЛЮЧАЕТ: связь ГОРОСКОП <> СИС. ГОРОСКОПОВ 1: N.