Перейти к навигации Перейти к поиску
 | Эта статья требует дополнительных ссылок для проверки . ( сентябрь 2009 г. ) ( Узнайте, как и когда удалить это сообщение-шаблон ) |
Спецификация на основе модели - это подход к формальной спецификации, при котором спецификация системы выражается в виде модели состояния системы . Эта модель состояния построена с использованием хорошо понятных математических объектов, таких как множества и функции . Системные операции задаются путем определения того, как они влияют на состояние модели системы.
Наиболее широко используемые обозначения для разработки спецификаций на основе моделей - это VDM [1] [2] и Z [3] [4] (произносится как Zed, а не Zee). Эти обозначения основаны на теории типизированных множеств . Поэтому системы моделируются с использованием множеств и отношений между множествами.
Другой хорошо известный подход к формальной спецификации - алгебраическая спецификация .
См. Также [ править ]
Ссылки [ править ]
- ^ Клифф Б. Джонс (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 . Проверено 24 октября 2010 .