“形式模型”常见的英文表达是 "formal model"。
“formal”有“形式的；正式的”含义 ，“model”意为“模型”，二者组合“formal model” 准确地传达了“形式模型”这一概念，即用形式化方法描述和表示的系统、理论或现象的模型，在计算机科学、数学、逻辑学等多个领域广泛使用。
例如：A formal model is essential for accurately representing complex systems.（形式模型对于精确表示复杂系统至关重要。 ）