文件名称：领域模型中关联语义的描述逻辑表示与应用 (2015年)
文件大小：1.15MB
文件格式：PDF
更新时间：2024-06-11 00:34:39
工程技术 论文
从领域模型生成代码是 MDA 中模型驱动开发过程的重要环节。工程中领域模型一般用 UML 类图表示,然后生成数据访问层代码。UML组合关联的语义定义不明确,导致从领域模型生成的数据访问层代码不能精确地实现组合关联语义问题的出现。本文研究了描述逻辑CATS、ALCHOIQbr和知识库查询,在这三种形式化工具的基础上提出描述逻辑CATSbqr,使用CATSbqr分析了组合关联的语义变化;然后表示了领域模型中增加复杂对象的操作语义,并给出了在数据访问层实现增加操作的算法;最后将这种表示方法应用到销售单这个典型场