Dual Deep Modeling

From multilevelmodeling.net
Revision as of 22:18, 11 October 2018 by Christoph (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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.


F-Logic implementation of DDM