信息模型

软件工程中的信息模型是概念和关系、约束、规则和操作的表示，用于为选定的讨论领域指定数据语义。 通常它指定各种事物之间的关系，但也可能包括与个别事物的关系。 它可以为领域上下文提供可共享、稳定和有组织的信息需求或知识结构。

术语信息模型通常用于单个事物的模型，例如设施、建筑物、加工厂等。在这些情况下，该概念专门用于设施信息模型、建筑信息模型、工厂信息模型等。这样的 信息模型是设施模型与有关设施的数据和文档的集成。

在软件工程和数据建模领域，信息模型通常是实体类型的抽象、形式化表示，可能包括它们的属性、关系和可以对它们执行的操作。 模型中的实体类型可能是各种现实世界对象，例如网络中的设备或事件，或者它们本身可能是抽象的，例如计费系统中使用的实体。 通常，它们用于对可以由一组封闭的实体类型、属性、关系和操作来描述的受限域建模。

信息模型为问题域的描述提供形式化，而不限制该描述如何映射到软件中的实际实现。 信息模型可能有很多映射。 这样的映射称为数据模型，无论它们是对象模型（例如使用 UML）、实体关系模型还是 XML 模式。

这是一种语义建模技术，独立于任何数据库建模技术。从那时起，信息模型语言不断发展。 一些示例是集成定义语言 1 扩展 (IDEF1X)、EXPRESS 语言和统一建模语言 (UML)。

FOM 工具可用于生成 ER 模型，这意味着建模者可以避免耗时且容易出错的手动标准化实践。 对象角色建模语言 (ORM) 和完全面向通信的信息建模 (FCO-IM) 都是基于早期研究的研究成果。

在 80 年代，有几种方法可以扩展 Chen 的实体关系模型。 在这十年中同样重要的是 Colette Rolland 的 REMORA。

IDEF包括三种不同的建模方法：IDEF0、IDEF1和IDEF2，分别用于生成功能模型、信息模型和动态模型。 IDEF1X 是IDEF1 的扩展版本。 该语言属于公共领域。 它是一种图形表示，是使用 ER 方法和关系理论设计的。 它用于根据实体、属性和实体之间的关系来表示“现实世界”。 规范化由 KEY 结构和 KEY 迁移强制执行。 该语言标识属性分组（聚合）以形成完整的实体定义。

EXPRESS 被创建为 ISO 10303-11，用于正式指定产品数据模型的信息要求。 它是一套非正式称为产品模型数据交换标准 (STEP) 的标准的一部分。 此外，还有一个称为 EXPRESS-G 的 EXPRESS 图形子集可用。 EXPRESS 基于编程语言和 O-O 范式。

多种语言为 EXPRESS 做出了贡献。 特别是 Ada、Algol、C、C++、Euler、Modula-2、Pascal、PL/1 和 SQL。 EXPRESS 由允许明确的对象定义和对所定义对象的约束规范的语言元素组成。 它使用 SCHEMA 声明提供分区，并支持数据属性、约束和操作的规范。

UML 是一种建模语言，用于指定、可视化、构建和记录软件系统的工件，而不是过程。