An enterprise database contains a global, integrated, and consistent representation of a company’s data. Multi-level modeling facilitates the definition and maintenance of such an integrated conceptual data model in a dynamic environment of changing data requirements of diverse applications. Multi-level models transcend the traditional separation of class and object with clabjects as the central modeling primitive, which allows for a more flexible and natural representation of many real-world use cases. In deep instantiation, the number of instantiation levels of a clabject or property is indicated by a single potency. Dual deep modeling (DDM) differentiates between source potency and target potency of a property or association and supports the flexible instantiation and refinement of the property by statements connecting clabjects at different modeling levels. DDM comes with multiple generalization of clabjects, subsetting/specialization of properties, and multi-level cardinality constraints. Examples are presented using a UML-style notation for DDM together with UML class and object diagrams for the representation of two-level user views derived from the multi-level model. Syntax and semantics of DDM are formalized and implemented in F-Logic, supporting the modeler with integrity checks and rich query facilities.

中文翻译：

---

双重深度建模：具有双重效能的多层次建模及其在F-Logic中的形式化。

企业数据库包含公司数据的全局，集成且一致的表示形式。在不断变化的各种应用程序的数据需求的动态环境中，多层建模有助于定义和维护此类集成概念数据模型。多级模型超越了传统的类和对象的分离，以clabjects作为中心建模原语，从而可以更灵活，自然地表示许多实际用例。在深度实例化中，对象或属性的实例化级别数由单个效能指示。双重深度建模（DDM）可以区分属性或关联的源能力和目标能力，并通过连接不同建模级别的对象的语句来支持属性的灵活实例化和优化。DDM附带了对象的多种泛化，属性的子集/专业化以及多级基数约束。使用DDM的UML样式表示法以及UML类和对象图来表示示例，以表示从多级模型派生的两级用户视图。DDM的语法和语义在F-Logic中得到了形式化和实现，从而通过完整性检查和丰富的查询功能为建模者提供了支持。使用DDM的UML样式表示法以及UML类和对象图来表示示例，以表示从多级模型派生的两级用户视图。DDM的语法和语义在F-Logic中得到了形式化和实现，从而通过完整性检查和丰富的查询功能为建模者提供了支持。使用DDM的UML样式表示法以及UML类和对象图来表示示例，以表示从多级模型派生的两级用户视图。DDM的语法和语义在F-Logic中得到了形式化和实现，从而通过完整性检查和丰富的查询功能为建模者提供了支持。