Formal Models And Semantics