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