领域模型中关联语义的描述逻辑表示与应用
首发时间:2015-04-07
摘要:从领域模型生成代码是MDA中模型驱动开发过程的重要环节。领域模型一般用UML类图表示,生成数据访问层代码。UML组合关联语义定义不明确,导致建模工具对组合关联的语义支持的不好,从领域模型生成的数据访问层代码没有实现组合语义。本文采用形式化的方法,使用描述逻辑ALCHOIQbr首先表示了组合关联的准确语义,并证明了表示的正确性,其次表示了增加组合对象操作的语义,形式化描述了数据访问层类方法的功能,最后将这种形式化方法用于销售单的表示,为实现数据访问层代码自动化生成提供了理论基础。
For information in English, please click here
Representation and application of semantics of association in Domain Model with Description Logic
Abstract:Generating code from the domain model is an important part of model-driven development process in MDA. Domain model is expressed by UML class diagram and can generate data access layer code. The indistinct semantic of UML composition association leads to the imperfect support from modeling tools that the data access layer code from the domain model can not implement the semantic of composition. This paper used the formalization method by description logic ALCHOIQbr to represent the exact semantic of composition association and proved the correctness of representation. Moreover, the semantic of class operation which add a composition object was represented. At last, the formalization method was used to represent a sales order.?????
Keywords: Software Engineering Formalization Composition Association Description Logics
论文图表:
引用
No.4635699104360914****
同行评议
共计0人参与
勘误表
领域模型中关联语义的描述逻辑表示与应用
评论
全部评论0/1000