Chapter 4 META-MODELLING SEMANTICS OF UML