中文会议： 第四届中国软件工程大会论文集

会议日期： 2007-06-16

会议地点： 杭州

主办单位： 浙江大学

出版方 ： 中国软件工程大会CCSE专家理事会

作　　者： ; ; ;

机构地区： 云南师范大学信息学院计算机科学与技术系

出　　处： 《第四届中国软件工程大会》

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

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

分 类 号： [TP]

领　　域： [自动化与计算机技术]