Software and Languages

MML, MMF and MMT

The language MML was defined as part of the UML 2.0 initiative from the OMG. MML is a meta-modelling language based on the idea of capturing reusable patterns for language definition. MML is part of a general approach to modelling language definition called MMF that advocates a semantics driven approach in terms of modelling concrete, abstract and semantic domains with relationships between them. MMF is supported by a tool called MMT that allowed all the modelling components to be constructed in a high-level programming language. Patterns are supported in MMT by parametric packages that can be stamped out by supplying modelling elements as arguments.