Спецификация на основе модели - Model-based specification

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

Наиболее широко используемые обозначения для разработки спецификаций на основе моделей: VDM[1][2] и Z[3][4] (произносится Зед, а не Зи). Эти обозначения основаны на типизированных теория множеств. Поэтому системы моделируются с использованием множеств и отношений между множествами.

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

Смотрите также

Рекомендации

  1. ^ Клифф Б. Джонс (1980). Разработка программного обеспечения: строгий подход. Prentice Hall International. ISBN  0-13-821884-6.
  2. ^ Клифф Б. Джонс (1986). Систематическая разработка программного обеспечения с использованием VDM. Prentice Hall International. ISBN  0-13-880717-5.
  3. ^ Ян Дж. Хейс (май 1986 г.). «Использование математики для определения программного обеспечения» (PDF). Труды 1-й Австралийской конференции по разработке программного обеспечения. ASWEC-86. С. 67–71.
  4. ^ Дж. Майкл Спайви (1992). Обозначение Z: справочное руководство (2-е изд.). Международная серия Prentice Hall по компьютерным наукам. ISBN  0-13-978529-9. Архивировано из оригинал на 2008-10-09. Получено 2010-10-24.