领域模型中关联语义描述逻辑表示与应用.docVIP

领域模型中关联语义描述逻辑表示与应用 　　摘要：从领域模型生成代码是MDA中模型驱动开发过程的重要环节。工程中领域模型一般用UML类图表示，然后生成数据访问层代码。UML组合关联的语义定义不明确，导致从领域模型生成的数据访问层代码不能精确地实现组合关联语义问题的出现。本文研究了描述逻辑CATS、ALCHOIQbr和知识库查询，在这三种形式化工具的基础上提出描述逻辑CATSbqr，使用CATSbqr分析了组合关联的语义变化；然后表示了领域模型中增加复杂对象的操作语义，并给出了在数据访问层实现增加操作的算法；最后将这种表示方法应用到销售单这个典型场景。本文的研究工作为建模工具实现UML组合关联自动转换成数据访问层代码提供了理论基础。 　　关键词：领域模型；组合关联；描述逻辑 　　中图分类号：TP301 　　文献标识码：A 　　DOI：10.3969/j.issn.1003-6970.2015.06.013 　　本文著录格式：张力生，年欢，宋辉，等，领域模型中关联语义的描述逻辑表示与应用[J].软件，2015，36（6）：66-74 　　RepresentationandApplicationofDescriptionLogicintheSemanticAssociationinDomainModel 　　ZHANGLi-shengl，NIANHuanl，SONGHuj2，LEIDa-jiangl[Abstract]：Generatingcodefromthedomainmodelisanimportantpartofmodel-drivendevelopmentprocessinMDA.DomainmodelexpressedbyUMLclassdiagramcangeneratedataaccesslayercode.TheindistinctsemanticsofUMLcompositionassociationcausethegenerateddataaccesslayercodeincompletelyimplementthesemanticofcomposition.ThispaperresearcheddescriptionlogicCATS，ALCHOIQbrandqueryknowledgebaseandproposedCATSbqrlanguagebasedonthesethreetools，andanalyzedthechangesofsemanticsofcompositionassociationbyCATSbqr.Thenwerepresentedthesemanticsofaddingcomplexob.jectsoperationinthedomainmodelandproposedthealgorithmtoimplementtheaddingoperation.Atlast，weappliedthemethodtorepresentingthesalesorderinap-plicationscenarios.Thisworkprovidesapreciseformalpresentationwayfortheprocessofgeneratingdataaccesslayercodefromdomainmodelinmodelingtools. 　　[Keywords]：Domainmodel；Compositionassociation；Descriptionlogic 　　0引言 　　在应用领域中，复杂对象的内部存在整体/部分关系[1]，它表示对象的部分与这些部分所组成的整体之间的关系，可以用自然语言描述。例如，“头部是身体的一部分”这句话说明了头部和身体之间具有整体/部分关系。复杂对象在软件系统三层架构的业务逻辑层中被抽象为业务实体（businessobjects），表示对真实世界的软件抽象；在数据访问层中被抽象为值对象（valueobjects），通过O/R映射（Ob.jectRelationalMapping）为数据库中的记录以实现对象持久化。MDA（Model-DrivenArchitecture）是OMG（ObjectManagementGroup）提出的软件开发框架[2]。在MDA开发生命周期[3]中，建模人员对值对象建模得到领域模型，然后借助建模T具从领域模型生成可执行的数据访问层代码。这个过程中的值对象主要是结构化数据，结构化数据具有直观明了的特点[4]，对其进行领域建模可以得到关系数据模型。领域模型一般用UML类图表示，描述值对象的静态结构（包括值对象本身和对象间的联系）、动态操作（即增、删、改、查，简写为CRUD）和完整性约束三个方面的内容。在领域