They promote efficient model definition and analysis.
それらは、効率的なモデル定義と分析を促進する。