Formal specification of object-oriented modelling concepts