基于形式化概念分析和概念相似性度量的程序重组方法

南京大学学报(自然科学版) ›› 2011, Vol. 47 ›› Issue (5): 594–604.

基于形式化概念分析和概念相似性度量的程序重组方法

郭铭铭，窦建华，杨彬

出版日期:2015-04-29 发布日期:2015-04-29
作者简介: 合肥工业大学计算机与信息学院，合肥，230009)
基金资助:

Program restructuring based on concept similarity measure and formal concept analysis*

Guo Ming-Ming**，Dou Jian一Hua,Yang Bin

Online:2015-04-29 Published:2015-04-29
About author: (School of Computer and Information, Hefei University of Technology, Hefei，230009，China)

摘要/Abstract

摘要： 形式化概念分析己被证明是一种支持模块重组的有效工具.然而，在使用概念分析进行模块重组时，仍存在一些问题有待进一步解决.木文提出一种自动化的遗留软件重组方法，用于从识别的模块化方案中获取一种
最佳解决方案.通过在概念分析过程中引入概念抽象、哑概念和概念相似性度量等新的特性，有助于解决现有方法的不足.概念抽象用于表示候选模块，它消除了对概念外延的约束;概念相似性度量用于解决概念间的重叠问题;
哑概念有助于减少人工干预，提高模块重组的自动化程度.木文给出算法的具体实现，并使用实验对方法的有效性进行了验证.

Abstract: Although formal concept analysis(FCA) has been proved to be an effective tool supporting module restructuring, some problems have yet to be resolved.This paper presents an approach focused
on automated support for restructuring modules existing in legacy software.Threc new features, concept abstraction, dummy concepts and similarity measure arc explored to identify candidates of modules and
select a best one among these candidates during concept analysis. Concept abstraction is introduced to represent a potential module，removing the over-restrictive constraints on concept extents. A new
similarity measure is defined to classify concepts if concepts overlap in alattice. It is studied specifically from information entropy perspective.The dummy concept is proposed to minimize human intervention
and increase the degree of automation of module restructuring. A concrete algorithm implementation is proposed and several experiments arc conducted to validate the effectiveness of the approach.

郭铭铭，窦建华，杨彬
. 基于形式化概念分析和概念相似性度量的程序重组方法
[J]. 南京大学学报(自然科学版), 2011, 47(5): 594–604.

Guo Ming-Ming**，Dou Jian一Hua,Yang Bin
. Program restructuring based on concept similarity measure and formal concept analysis*[J]. Journal of Nanjing University(Natural Sciences), 2011, 47(5): 594–604.

参考文献

[1]Ganter B, Wille R. Formal concept analysis: Mathematical foundations. Berlin Hcidclberg; Springcr, 1999，12一l4.
[2]Wine R. Restructuring lattice theory; An ap proach based on hierarchies of concepts. Rival I. Ordered Sets. Dordrecht-Boston; Reidel 1982，445一170.
[3]Thomas T，Richard C，Peter B, et al. A sui- vey of formal concept analysis support for soft- ware engineering activities. Lecture Notes in Computer Science. Springer-Verlag, 2005， 3626:205一271.
[4]Robert W B. Refactoring gcc using structure field access traces and concept analysis. ACM SIUSOFT Software Engineering Notes, 2005，30(4):1一7.
[5]Eiscnbarth T，Koschke R. Locating features in source code. IEEE Transactions on software Engineering, 2003，29(3):195一209.
[6]Martin P R，Gail C M. Representing concerns in source code. ACM Transactions on Software Engineering and Methodology, 2007，16(1): 25一32.
[7]ao W S,Tao X P, Lu J. Rule and similarity based semantic web service matchmaking. Jour- nal of Nanjing University(Natural Sciences)，2010,46(2);159~167.(陶望胜，陶先平，吕
建.基于规则与相似度的语义wcl〕服务匹配.南京大学学报(自然科学)，2010,46(2); 159-167)
[8]Al-Ekram R，Kontogiannis K. Source code modularization using lattice of concept slices. Proceedings of the 8’’’ European Conferences on Software Maintenance and Recnginecring (CSMR’0’4)，Finland，IEEE Computer Socie- ty, 200，195一203.
[9]Lung C H，Xu X, Zaman M, et al. Program restructuring using clustering techniques. Jour- nal of Systems and Software, 2006，79(9): 1261一1279.
[10]Lung C H，Zaman M, Nandi A. Applications of clustering techniques to software partitio- ning, recovery and restructuring. Journal of Systems and Software，2001，7302):227一244.
[11]Canfora G, Cimitilc A，Munro M. An improved algorithm for identifying objects in code. Soft- ware-Practice and Experience, 1996，26(1): 25一58.
[12]Gold N, Mohan A. A framework for under- standing conceptual changes in evolving source code. Tibor G, Vaclav R. Proceedings of the 19^th international Conference on Software Main- tenance. Netherlands, IEEE Computer Society, 2003，431一439.
[13]Anton J，Jan B, Paris A. Documenting after the fact; Recovering architectural design decisions. Journal of Systems and Software, 2008，81(4): 536-557
[14]Tonella P. Concept analysis for module restruc turfing. IEEE Transactions on Software Engi neering, 2001，27(4):351一363.
[15]Siff M，Reps T.identifying modules via con cept analysis, IEEE Transactions on Software Engineering, 1999，2506):749一768.
[16]Briand L，Daly J，Wust J. A unified framework for coupling measurement in object oriented sys tans. IEEE Transactions on Soltwarc Engineer-ing, 1999，25(1):91一121.
[17]Chidamber S, Kemerer C. A metrics suite for object oriented design. IEEE Transactions on Softwarc Engineering, 1994，20(6):476一493.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed