(1) En modell som godtar de samme innganger og produserer den samme utganger som en gitt system.~(2) prosessen med å utvikle eller ved hjelp av en modell som (1).