モデリング言語
ドメイン固有モデリング (DSM)は、ほとんどがコンピュータ・システムのようなITシステムを設計し開発するためのソフトウエア工学手法である。それは、システムの様々な側面をあらわすためのグラフィカルなドメイン固有言語 (DSL) の体系的利用を含む。DSM言語は、汎用モデリング言語より高いレベルの抽象をサポートする傾向があり、そこで、それらは与件システムを特定するため、より少ない努力と数少ない低レベルの詳細を要求する。
代数モデリング言語 (AML)は、大規模な数学的計算(例えば、大規模最適化問題)のための高度に複雑な問題を記述し解決するためのハイレベル・モデリング言語である。AIMMS、AMPL、GAMS、 LPL、 MPL、OPL 及び OptimJ のような代数モデリング言語 (AML)の一つの特定な利点は、最適化問題の数学的表記とのその構文の類似性である。これは、集合、インデックス、代数式、強力な希薄インデックスと任意名を持つ変数や定数を取扱うデータのような一定の言語要素によってサポートされた、最適化のドメインにおける問題の簡潔でかつ読易い定義を可能にする。モデルの代数形式は、どのようにそれを処理するかのどんなヒントも含まない。
アーキテクチャ記述言語
顔面モデリング言語 (Face Modeling Language)
生成的モデリング言語 (Generative Modelling Language)
Javaモデリング言語 (Java Modeling Language)
Promela
Rebecaモデリング言語 (Rebeca Modeling Language)
サービス・モデリング言語 (Service Modeling Language)
Webサービス・モデリング言語 (Web Services Modeling Language)
X3D