Traditionally, the formal modeling of systems has been via a mathematical model, which attempts to find analytical solutions enabling the prediction of the behaviour of the system from a set of parameters and initial conditions.
Tradičně bylo formální modelování systémů vytvářeno přes matematické modely, které se pokoušely nalézt analytická řešení, což umožňovalo předvídat chování systému dle souboru parametrů a počátečních podmínek.