ISO 19101-1:2014 states in the term entry for conceptual formalism that the UML metamodel and the EXPRESS metamodel are examples of “conceptual formalism”, however, these are examples of metamodels. A ...