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

On Semantic Propagation Mechanism Between Whole Object and Part Object

作　　者：赵波[1] 李涓子[2] 王克宏[2] 

机构地区：[1]云南师范大学计算机科学系,云南昆明650092 [2]清华大学计算机科学与技术系知识工程组,北京100084

出　　处：《四川大学学报（工程科学版）》2007年第S1期264-268,共5页Journal of Sichuan University (Engineering Science Edition)

基　　金：云南省自然科学基金重点项目(2004F00062);省院省校合作项目(2004YX42);云南省教育厅自然科学基金重点项目(6Z0035D)

摘　　要：为了用UML严格、准确表示领域模型中整体与部分关系间的语义传播,从整体与部分关系的语义特征出发研究整体与部分关系之间的属性值的传播机制;从对象的生命周期出发,详细分析研究部分对象和整体对象之间的依赖关系,进而研究其操作的传播机制。在此基础上,分析研究UML在表示这些语义传播机制时的不足,扩展UML使其能可视化地描述整体与部分关系之间的语义传播机制,同时用代数理论形式化地定义它们,为准确建立领域模型以及后续的设计及实现莫定了较好的基础。In order to represent semantic propagations between whole object and part object in domain model with UML rigorously and correctly,the attribute value s propagation mechanism between whole object and part object is analyzed from view of semantic characteristics of the relation between whole object and part object,and operation propagation mechanism between whole object and part object are also elaborated from view of existence dependency between whole object and part object in object lifetime.Based on these...

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

分 类 号：TP391.1[自动化与计算机技术—计算机应用技术]