Toward a well-founded theory for multi-level conceptual modeling
Toward a well-founded theory for multi-level conceptual modeling
复制标题
建立一个有根据的多层次概念建模理论
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
J. P. Almeida
中科院分区：
文献类型：
--
作者：
V. Carvalho;J. P. Almeida
多层次概念建模解决了主题领域的表示，显式地处理多个分类级别。尽管最近在多级建模技术方面取得了进展，但我们认为，多级概念建模的文献将受益于以下理论：(1)形式上表征分类级别的性质，(2)准确定义不同分类级别元素之间可能出现的结构关系。这项工作旨在通过提出一种公理理论来填补这一空白，该理论可以被认为是多层次概念建模中类型的参考顶级本体。该理论为建模者提供了基本的概念和模式，以阐明需要多级别分类的领域，并为开发用于多级别概念建模的基础良好的语言提供信息。整个理论建立在一个基本的实例化关系上，描述了个体和类型的概念，类型通过实例化按层次组织。此外，它还包括用于定义具有表现力的多层模型的层内结构关系和允许我们解释和结合文献中关于功率类型的不同概念的跨层关系。
Multi-level conceptual modeling addresses the representation of subject domains dealing explicitly with multiple classification levels. Despite the recent advances in multi-level modeling techniques, we believe that the literature in multi-level conceptual modeling would benefit from a theory that: (1) formally characterizes the nature of classification levels and (2) precisely defines the structural relations that may occur between elements of different classification levels. This work aims to fill this gap by proposing an axiomatic theory that can be considered a reference top-level ontology for types in multi-level conceptual modeling. The theory provides the modeler with basic concepts and patterns to articulate domains that require multiple levels of classification as well as to inform the development of well-founded languages for multi-level conceptual modeling. The whole theory is founded on a basic instantiation relation and characterizes the concepts of individuals and types, with types organized in levels related by instantiation. Further, it includes intra-level structural relations that are used to define expressive multi-level models and cross-level relations that allow us to account for and incorporate the different notions of power type in the literature.