System development/Modelling/Types/Semantic model