Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic
2016 (English)In: Journal of Software and Systems Modeling (online), ISSN 1619-1366, E-ISSN 1619-1374, 1-36 p.Article in journal (Refereed) Epub ahead of print
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.
Place, publisher, year, edition, pages
Berlin, Germany: Springer Berlin/Heidelberg, 2016. 1-36 p.
data modeling, multi-level modeling, f-logic
Research subject Natural sciences; Technology
IdentifiersURN: urn:nbn:se:his:diva-12138DOI: 10.1007/s10270-016-0519-zOAI: oai:DiVA.org:his-12138DiVA: diva2:919649
The paper was published online on 2016-04-07 by Springer. The article is open-access with license "Creative Commons Attribution 4.0 International License"2016-04-142016-04-142016-08-18