In program engineering, using types is a substitute for far more prevalent code-based enhancement methods. A model normally conforms to a unique metamodel.A design conforms to its metamodel in how that a computer plan conforms for the grammar on the programming language in which it's composed. Many forms of metamodels include things like polynomial