We use a Domain Specific Textual Language. Modelers enter some statements in this language inside our models. Currently it requires a series of steps to validate the syntax and some of the constructs in the language.

In "M" we can say that something is Text and that it must be uppercase. "M" does not allow us to declare that something is written in a DSL. The functionality for doing is already in Intellipad and also explained here; http://blog.actiprosoftware.com/post/2009/08/25/SyntaxEditor-for-WPFe28099s-MGrammar-add-on-adds-AST-construction-and-error-reporting-features.aspx

Can we see this in "M" and lateron in "Quadrant"?