云南省教育厅自然科学研究基金(6Z0035D)
- 作品数：4 被引量：7H指数：1
- 相关作者：赵波冯洁王克宏张玉琢李涓子更多>>
- 相关机构：云南师范大学北京理工大学清华大学更多>>
- 发文基金：云南省教育厅自然科学研究基金云南省自然科学基金更多>>
- 相关领域：自动化与计算机技术机械工程更多>>
- 基于UML的整体与部分关系的可视化表示研究被引量：1
- 2007年
- 整体/部分(whole/part,简称为WP)关系在计算机领域建模中无处不在。在WP关系中,整体对象具有管理和控制部分对象的功能,所以WP关系存在着许多复杂的语义关联。但是除了聚集和组合以外,UML没有直接提供除此以外的其它更多的语义特征。因此本文通过分析WP关系的特征,阐明UML在描述WP关系方面的不足之处,扩展UML使其能清晰、准确地描述WP关系。
- 赵波张玉琢夏幼明
- 关键词：UML
- 基于本体的整体与部分关系的形式化表示及其错误检查研究
- 2008年
- 整体/部分WP(whole/part)关系在计算机领域建模中无处不在。在一个WP关系中,由于整体对象具有管理和控制部分对象的功能,因此WP关系存在着许多其它关系没有的特征。但本体的研究中,存在着形式化程度不够的问题,人们常用自然语言解释这些特征,然而这样的解释通常是不准确的。另一方面,由于知识处于不断的增加与更新之中,难免造成知识库中知识的错误,导致知识库维护困难。因此本文首先基于本体对WP关系的特征进行形式化描述,在此基础上,根据WP关系的特征提出了一系列相关知识的形式判定规则。
- 赵波冯洁
- 整体与部分关系中的语义传播机制研究被引量：1
- 2007年
- 为了用UML严格、准确表示领域模型中整体与部分关系间的语义传播,从整体与部分关系的语义特征出发研究整体与部分关系之间的属性值的传播机制;从对象的生命周期出发,详细分析研究部分对象和整体对象之间的依赖关系,进而研究其操作的传播机制。在此基础上,分析研究UML在表示这些语义传播机制时的不足,扩展UML使其能可视化地描述整体与部分关系之间的语义传播机制,同时用代数理论形式化地定义它们,为准确建立领域模型以及后续的设计及实现莫定了较好的基础。
- 赵波李涓子王克宏
- 关键词：UML形式化表示
- 整体与部分关系中的语义传播机制研究
- 为了用UML严格、准确表示领域模型中整体与部分关系间的语义传播,从整体与部分关系的语义特征出发研究整体与部分关系之间的属性值的传播机制;从对象的生命周期出发,详细分析研究部分对象和整体对象之间的依赖关系,进而研究其操作的...
- 赵波李涓子王克宏
- 关键词：UML形式化表示
- 文献传递
- 本体中继承关系的形式化表示及其应用被引量：5
- 2008年
- 本体关系中最重要的关系是子类/父类关系(继承关系),在子类/父类关系中,存在着除了继承以外丰富的语义关联。但本体的研究中,存在着形式化程度不够的问题,人们常用自然语言解释这些关系,然而这样的解释通常是有歧义的。为了严格、准确描述这些语义关联,基于本体研究了它们的形式化描述,同时扩展UML,可视化地表示它们,并在此基础上,应用它们判定知识库中的某些错误。
- 赵波冯洁
- 关键词：本体形式化
