Model tabanlı belirtim - Model-based specification
Model tabanlı belirtim , sistem belirtiminin bir sistem durumu modeli olarak ifade edildiği biçimsel belirtime bir yaklaşımdır . Bu durum modeli, kümeler ve fonksiyonlar gibi iyi anlaşılmış matematiksel varlıklar kullanılarak oluşturulmuştur . Sistem işlemleri, sistem modelinin durumunu nasıl etkiledikleri tanımlanarak belirtilir.
Model tabanlı spesifikasyonlar geliştirmek için en yaygın kullanılan gösterimler VDM ve Z'dir (Zed olarak telaffuz edilir, Zee değil). Bu gösterimler daktilo edilmiş küme teorisine dayanmaktadır . Bu nedenle sistemler, kümeler ve kümeler arasındaki ilişkiler kullanılarak modellenir.
Biçimsel belirtim için iyi bilinen bir başka yaklaşım da cebirsel belirtimdir .
