%0 Journal Article
%T Identification of Centrally Managed Aggregations in Design Patterns Using Shape Analysis<br>基于形态分析识别设计模式中的集中管理式聚集
%A ZHOU Xiao-Yu
%A QIAN Ju
%A CHEN Lin
%A XU Bao-Wen
%A <br>周晓宇
%A 钱巨
%A 陈林
%A 徐宝文
%J 软件学报
%D 2010
%I 
%X 针对常见的利用指针或引用的聚集实现方式，提出一种基于形态分析的一对多聚集关系的自动识别方法。首先，扩充Sagiv的三值逻辑结构中的谓词以描述链表上聚集管理操作的语义特征。然后，给出基于控制流上链表形态结构的变化识别聚集管理行为的方法。最后，通过开源软件JEdit中的实例分析展示了该方法的有效性。
%K aggregation
%K design pattern
%K shape analysis
%K centrally managed
%K identification<br>聚集
%K 设计模式
%K 形态分析
%K 集中式管理
%K 识别
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=F0DA36BA4ED760BF399CA66CC26314E4&yid=140ECF96957D60B2&vid=659D3B06EBF534A7&iid=708DD6B15D2464E8&sid=37670E198ADCA666&eid=FD1B16C94E0C9045&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=27