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