On Semantic Propagation Mechanism in Aggregate Relationship
In aggregate relation, there are semantic propagations between whole object and part object because the whole object manages and controls the part object. So, based on the lifetime of object, semantic propagations of creating and destroying operation between whole object and part object are clarified in the paper. On the other hand, semantic propagations of the other operations in aggregate relation are also discussed. However, UML only represents aggregate and composition without representing the semantic propagations in aggregate relation. In order to describe real world clearly and correctly, UML is extended for theirs visual expression and theirs formalization in algebraic theory is presented.
aggregate relation semantic propagation UML formalization
ZHAO Bo Liao Yan-ling Lu Yu-dan
Department of Computer Science, Yunnan Normal University, Yunnan Kunming 650092, China
国际会议
第四届国际计算机新科技与教育学术会议(2009 4th International Conference on Computer Science & Education)
南京
英文
913-916
2009-07-25（万方平台首次上网日期，不代表论文的发表时间）