计算机工程与应用 ›› 2015, Vol. 51 ›› Issue (18): 144-150.

• 数据库、数据挖掘、机器学习 • 上一篇    下一篇

对象角色模型局部语义冲突即时检查方法研究

潘文林   

  1. 1.云南民族大学 数学与计算机学院,昆明 650500
    2.云南民族大学 软件工程研究所,昆明 650500
  • 出版日期:2015-09-15 发布日期:2015-10-13

Research on local semantic conflicts instantly check methods for ORM model

PAN Wenlin   

  1. 1.School of Mathematics & Computer Science, Yunnan University of Nationalities, Kunming 650500, China
    2.Software Engineering Institute, Yunnan University of Nationalities, Kunming 650500, China
  • Online:2015-09-15 Published:2015-10-13

摘要: 现有的ORM模型语义冲突检查方法针对的是全局模型,检查时间长,不能支持建模工具即时检查的需要。为满足即时检查ORM模型的要求,提出了10种局部语义冲突检查模式和算法。基本思想是:通过限定语义冲突检查范围,将局部模型结构抽象为各种模式来检查新增模型元素可能引起的局部语义冲突。该方法能有效提升建模工具的可用性和模型质量。

关键词: 对象角色模型, 语义冲突检查, 局部模型检查模式

Abstract: The object of existing ORM model checking methods for semantic conflict is global model. Each check will take a long time, can’t meet the needs of modeling tools to instant check. 10 kinds of local semantic conflict check pattern and algorithm have been proposed to instantly check ORM model. The basic idea is:limiting the scope of the semantic conflict check, abstracting a series of local model check pattern based on the characteristic of local model structure, and then local semantic conflicts which are caused by the new model elements can be instantly checked based on local model check patterns.

Key words: object role model, semantic conflicts check, local model check pattern