(1) Bir model davranır veya kontrollü inputs.~(2) kümesi sağlandığında belirli bir sistem gibi çalışır. Geliştirme ya da olduğu gibi (1) bir modeli kullanarak .