模型构成自（比如以框图、语言或表格表达的那些实体、特性和联系的）一个或多个视图，加上一组术语定义，至少包括这些视图（直接或间接）用到的全部的实体和域。形式化处理过程产生相应的一阶逻辑中的。一阶逻辑可以被当作是自然语言的用来描述和推理事物的那些方面的形式语言版本。个体事物使用常量、变量和函数符号来指称；在事物之间的关系使用符号来陈述；而关于事物联系的句子通过逻辑联结词比如与、或、非，和全称（for all）及存在（for some）量词来陈述。一阶逻辑理论构成自其中常量、函数和谓词符号被限定于特定词汇