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