“形式模型”常见的英文表达是 "formal model" 。
例如：This formal model provides a rigorous framework for analyzing the system.（这个形式模型为分析该系统提供了一个严谨的框架。 ）