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

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

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