Спецификация на основе модели
Спецификация на основе модели — это подход к формальной спецификации , где спецификация системы выражается как модель состояния системы . Эта модель состояния строится с использованием хорошо понятных математических сущностей, таких как множества и функции . Системные операции специфицируются путем определения того, как они влияют на состояние модели системы.
Наиболее широко используемые нотации для разработки спецификаций на основе моделей — это 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.
- ^ J. Michael Spivey (1992). Z Notation: A reference manual (2nd ed.). Prentice Hall International Series in Computer Science. ISBN 0-13-978529-9. Архивировано из оригинала 2008-10-09 . Получено 2010-10-24 .
