Dual Deep Modeling
Dual deep modeling (DDM) is a potency-based multi-level modeling approach distinguishing between a source potency and target potency of a property or association. DDM 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. DDM models can be illustrated using a UML-style notation. Syntax and semantics of DDM are formalized and implemented in F-Logic, supporting the modeler with integrity checks and rich query facilities.