整体与部分关系中的语义传播机制研究

摘要：

为了用UML严格、准确表示领域模型中整体与部分关系间的语义传播,从整体与部分关系的语义特征出发研究整体与部分关系之间的属性值的传播机制；从对象的生命周期出发,详细分析研究部分对象和整体对象之间的依赖关系,进而研究其操作的传播机制。在此基础上,分析研究UML在表示这些语义传播机制时的不足,扩展UML使其能可视化地描述整体与部分关系之间的语义传播机制,同时用代数理论形式化地定义它们,为准确建立领域模型以及后续的设计及实现奠定了较好的基础。

关键词： 知识工程 整体/部分关系 语义传播 UML 形式化表示

作者: 赵波 李涓子 王克宏

作者单位: 云南师范大学,计算机科学系,云南,昆明,650092;清华大学,计算机科学与技术系知识工程组,北京,100084 清华大学,计算机科学与技术系知识工程组,北京,100084

会议类型: 国内会议

会议名称: 第四届中国软件工程大会

会议地点: 杭州

会议语种:中文

页码: 492-496

在线出版日期: 2007-06-16（万方平台首次上网日期，不代表论文的发表时间）