Describir: Metamodelización y formalismos para la representación del comportamiento