図式モデリング言語とテキスト形式モデリング言語への対応の一つの例は、である。
全てのモデリング言語は実行可能なわけではなく、そしてそれらが存在することで、それらの使用がもはやプログラマーが要求されないことを必ずしも意味しない。それどころか、実行可能モデリング言語は、熟練したプログラマーが、並列コンピューティングや分散化システムのようにより挑戦的な問題に取り組むため、彼らの生産性を増大させることを意図している。
モデリング言語のタイプ.
図式タイプ.
コンピュータ科学、プロジェクト管理、及びシステム工学の分野での図式モデリング言語の例には以下がある：
他の科学分野における図式モデリング言語の例。
特定タイプ.
コンピュータ科学の分野で最近、モデリング言語の更なるタイプが登場してきている。 
代数.
専門分野特定.
言語は、特定のソフトウエア開発ライフサイクル段階での付随する提供可能物に焦点を当てる。そこで、そのような言語は、しばしば各段階のため、発見、分析、設計、仕組、契約などの異なる語彙、構文、及び表記を提供する。例えば、プロジェクトの分析段階のため、モデラーは分析提案ダイアグラムを提供する特定の分析記法を採用する。設計段階では、しかしながら、論理設計記法はソフトウエア・エンティティ間の関係を描くため使われる。加えて、専門性特定モデリング言語のベストプラクティスは、単一ダイアグラム上でのさまざまな表記を結びつけることから実務者を拒まない。
ドメイン固有.
ドメイン固有モデリング (DSM)は、ほとんどがコンピュータ・システムのようなITシステムを設計し開発するためのソフトウエア工学手法である。それは、システムの様々な側面をあらわすためのグラフィカルなドメイン固有言語 (DSL) の体系的利用を含む。DSM言語は、汎用モデリング言語より高いレベルの抽象をサポートする傾向があり、そこで、それらは与件システムを特定するため、より少ない努力と数少ない低レベルの詳細を要求する。
フレームワーク特定.
オブジェクト指向.
オブジェクト・モデリング言語 ()は、オブジェクト指向ソフトウエア設計あるいはシステム設計（の一部）をモデル化する、標準化されたシンボルのセットとそれらの編成の方法に基づくモデリング言語である。