The final semantics is its dual. We try to construe that morphism interpretation not as an initial morphism but as a final morphism, that is we try to find a canonical model which is supposed to be a final co-algebra in the category of model, so that the interpretation becomes the morphism into the final co-algebra. So, this is more a semantics oriented view-point, because we fix as semantics it is more observational, because this is what characterises this semantics and it is more dynamic. This is a general paradigm enables you to focus on the behaviour operational behaviour of various systems.

---