发表机构
Ben-Gurion University of the Negev; Achva Academic College（内盖夫本-古里安大学; 阿赫瓦学术学院）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文提出CatMLM模型，通过区分类别特征与对象特征，统一超类与权力类型，提供量化分层标准与决策规则，并分析MLM相对普通OO建模的得失。
AI 中文摘要
多级软件建模（MLM）表明，在广泛的学科领域中，概念建模可能需要多个分类级别的抽象。MLM方法依赖于哲学论证，声称对现实世界领域的忠实建模涉及重复的类型分类，如同自然种类的本体论。MLM的分层架构由下层中clabject类与上层中称为类别类的类之间的实例关系（instance-of）的层间关系交织并定义。实例关系表示clabject作为类型对象在其（权力类型）类别类中的成员资格，并且不具有传递性。所有MLM方法都支持深度表征的形式，即类别类可以影响较低层级的类。深度表征是超类的一个基本特征，并且与实例关系的非传递性成员资格含义相矛盾。在本文中，我们引入了基于类别的MLM（CatMLM）模型，其中类别类具有双重超类和权力类型方面，基于不参与深度表征的类别特征与参与深度表征的对象特征之间的区分。这种区分阐明了层级的作用，为分层提供了明确的量化标准，并产生了子类关系与实例关系之间的决策规则。本文的贡献在于引入了一个定义明确的MLM模型，该模型（1）基于简单、可量化的层级决策；（2）阐明了分层如何从领域需求中产生；（3）分析了MLM与普通面向对象建模相比的得失。
英文摘要
MultiLevel software Modeling (MLM) suggests that conceptual modeling in broad subject domains might require abstraction of multiple classification levels. The MLM approach relies on philosophical arguments, claiming that faithful modeling of real-world domains involves repeated type classification as in ontologies of natural kinds. MLM leveled architecture is interwoven and defined by instance-of interlevel relationships between clabject classes in lower levels to classes termed category classes, in upper levels. The instance-of relation denotes membership of clabjects as type objects in their (powertypes) category classes, and is not transitive. All MLM approaches support forms of deep characterization, i.e., category classes can influence classes in lower levels. Deep characterization is an essential feature of superclasses and contradicts the non-transitive membership meaning of instance-of. In this paper, we introduce the Category-Based MLM (CatMLM) model, in which category classes have dual superclass and powertype facets, based on the distinction between category features that do not participate in deep characterization, and object features that do. This distinction clarifies the role of levels, provides a clear quantifiable criterion for leveling, and yields a decision rule between the subclass and instance-of relations. The contribution of this paper is to introduce a well-defined MLM model that (1) is based on simple, quantifiable level decisions; (2) clarifies how leveling emerges from domain needs; and (3) analyzes gains and losses of MLM vs. plain OO modeling.
CommentsTechnical Report; work in progress. 12 pages, 2 figures
