In program engineering, the use of types is an alternative choice to additional popular code-based mostly development methods. A design generally conforms to a unique metamodel. encountered in many enterprises. This can be employed as the basis for developing a corporation-Distinct Metamodel when