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

ComputerEngineeringandApplications计算机工程与应用 对象角色模型局部语义冲突即时检查方法研究 潘文林 PAN 、venlin 1．云南民族大学 数学与计算机学院，昆明 650500 2云南民族大学 软件工程研究所 ，昆明 650500 1．SchoolofMathematics ComputerScience，YunnanUniversityofNationalities，Kunming650500，China 2．SoftwareEngineeringInstitute，YunnanUniversityofNationalities，Kunming650500，China PAN W enlin．Researchon localsemanticconflictsinstantlycheckmethodsforORM mode1．ComputerEngineering andApplications，2015，51(18)：144—150． Abstract：TheobjectofexistingORM modelcheckingmethodsforsemanticconflictiSglobalmode1．Eachcheckwilltakea longtime．can’tmeettheneedsofmodelingtoolsto instantcheck．10kindsoflocalsemanticconflictcheckpatternand algorithm havebeenproposedtoinstantlycheckORM mode1．Thebasicideais：limitingthescopeofthesemanticconflict check，abstractingaseriesof1ocalmode1checkpatternbasedonthecharacteristicoflocalmodelstructure，andthenlocal semanticconflictswhicharecausedbythenew mode1elementscanbeinstantlycheckedbasedon1ocalmodelcheckpaRerns． Keywords：oHectrolemodel；semanticconflictscheck；localmodelcheckpattern 摘 要 ：现有的ORM模型语义冲突检查方法针对的是全局模型，检查时间长，不能支持建模工具即时检查的需要。 为满足即时检查ORM模型的要求，提出了10种局部语义冲突检查模式和算法。基本思想是：通过限定语义冲突检 查范围，将局部模型结构抽象为各种模式来检查新增模型元素可能引起的局部语义冲突。该方法能有效提升建模 工具 的可用性和模型质量。 关键词 ：对象角色模型；语义冲突检查；局部模型检查模式 文献标志码：A 中图分类号：TP311 doi：10．3778~．issn．1002．8331．1309．0298 1 引言 目前所有的ORM建模工具都不具备即时检查局部 对象角色建模 (ObjectRoleModeling，ORM)方法 语义冲突的功能。本文的研究 目标是在现有的ORM模 是一种基于 自然语言分析的信息建模方法，主要用于模 型语义冲突检查模式基础上，通过缩减搜索范围，提出 型建模 、概念建模和业务规则建模。 几种即时检查模式及相应的检查算法 ，以便为ORM建 由于不同建模观点或局部模型之间，甚至同一个局 模工具提供局部语义冲突的即时检查技术支持。 部模型 内部都可能存在语义冲突问题 ，因此 ，解决语义 冲突是ORM建模活动 中最为关键但也是最艰巨的任 2 相关研究工作 务。目前 ，解决语义冲突的主要手段是使用推理引擎来 ORM具有强大的可视化约束建模能力 ，为建模者 探测出各种语义冲突，然后再手工解决。从质量工程的 提供了直观的业务规则表达方式，但ORM本身并不能 角度来看 ，这种方式属于事后质量保证 ，理论上虽然能 保证模型的语义正确性 ，只有借助推理工具才能检查出 够保证模型的质量 ，