Formal Models And Semantics Definition