Modelling and Types of Specifications