中文摘要：

从领域模型生成代码是MDA中模型驱动开发过程的重要环节。工程中领域模型一般用UML类图表示,然后生成数据访问层代码。UML组合关联的语义定义不明确,导致从领域模型生成的数据访问层代码不能精确地实现组合关联语义问题的出现。本文研究了描述逻辑CATS、ALCHOIQbr和知识库查询,在这三种形式化工具的基础上提出描述逻辑CATSbqr,使用CATSbqr分析了组合关联的语义变化;然后表示了领域模型中增加复杂对象的操作语义,并给出了在数据访问层实现增加操作的算法;最后将这种表示方法应用到销售单这个典型场景。本文的研究工作为建模工具实现UML组合关联自动转换成数据访问层代码提供了理论基础。