Generating a catalog of unanticipated schemas in class hierarchies using Formal Concept Analysis

Information and Software Technology

Volumn 52, Issue 11, 2010, Pages 1167-1187

  Arévalo, Gabriela ^a,f   Ducasse, Stéphane ^c   Gordillo, Silvia ^b,e   Nierstrasz, Oscar ^d  

^a UNIVERSIDAD AUSTRAL   (Argentina)

^b UNIVERSIDAD NACIONAL DE LA PLATA   (Argentina)

^c INRIA   (France)

^d UNIVERSITY OF BERN   (Switzerland)

^e Universidad Provincial del Sudoeste   (Argentina)

^f Facultad de Ciencias Naturales e Instituto M Lillo   (Argentina)

Author keywords

Class hierarchy schemas; Formal Concept Analysis; Object oriented development; Source code analysis

Indexed keywords

CLASS HIERARCHIES; CLASSIFICATION MINING; CODING PATTERNS; COMPLEX SYSTEMS; CONCEPTUAL MODELING; DESIGN PRACTICE; EFFECTIVE TOOL; ENGINEERING METHODOLOGY; EXISTING STRUCTURE; FORMAL CONCEPT ANALYSIS; INHERITANCE HIERARCHIES; MENTAL MODEL; NON-TRIVIAL; OBJECT ORIENTED; OBJECT-ORIENTED SYSTEM; SCHEMAS; SOFTWARE ARTIFACTS; SOFTWARE RE-USE; SOURCE CODE ANALYSIS; TEMPLATE METHODS;

COMPUTER SOFTWARE REUSABILITY; LIBRARIES; REVERSE ENGINEERING;

OBJECT ORIENTED PROGRAMMING;

EID: 77956404120     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2010.05.010     Document Type: Conference Paper

References (78)

1. H. Albin-Amiot, P. Cointe, Y.-G. Guéhéneuc, N. Jussien. Instantiating and detecting design patterns: putting bits and pieces together, in D. Richardson, M. Feather, M. Goedicke (Eds), Proceedings of ASE '01 (16th Conference on Automated Software Engineering), IEEE Computer Society Press, November 2001, pp. 166-173.
2. S.R. Alpert, K. Brown, and B. Woolf The Design Patterns Smalltalk Companion 1998 Addison-Wesley
3. G. Antoniol, R. Fiutem, L. Cristoforetti, Design pattern recovery in object-oriented software, in 6th International Workshop on Program Comprehension (Ischia, Italy), 1998, pp. 153-160.
4. G. Arévalo, Understanding behavioral dependencies in class hierarchies using concept analysis, in: Proceedings of Langages et Modeles Objets (LMO'03). Hermes, Paris, January 2003, pp. 47-59.
5. G. Arévalo, High Level Views in Object-Oriented Systems using Formal Concept Analysis. PhD thesis, University of Bern, Bern, January 2005.
6. G. Arévalo, J.-R. Falleri, M. Huchard, and C. Nebut Building abstractions in class models: formal concept analysis in a model-driven approach O.N.J.W.D.H.G. Reggio, MoDELS 2006 LNCS (Lecture Notes in Computer Science) vol. 4199 2006 Springer-Verlag 513 527
7. K. Auer Reusability through self-encapsulation Pattern Languages of Program Design 1995 ACM Press/Addison-Wesley Publishing Co. 505 516
8. K. Beck Smalltalk Best Practice Patterns 1997 Prentice-Hall
9. K. Beck, R. Johnson, Patterns generate architectures, in: M. Tokoro, R. Pareschi, (Eds.), Proceedings ECOOP '94 LNCS, vol. 821, Bologna, Italy, July 1994, Springer-Verlag, pp. 139-149.
10. F. Bergenti, A. Poggi, Improving UML designs using automatic design pattern detection, in: 12th International Conference on Software Engineering and Knowledge Engineering (SEKE), 2000, pp. 336-343.
11. A.P. Black, N. Schärli, S. Ducasse, Applying traits to the Smalltalk collection hierarchy, in: Proceedings of 17th International Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'03), vol. 38, October 2003, pp. 47-64.
12. K. Brown, Design reverse-engineering and automated design pattern detection in Smalltalk. Master's thesis, North Carolina State University, 1996.
13. T.A. Budd An Introduction to Object-oriented Programming 1991 Addison-Wesley
14. P.F. Busch, M. Pasqualino, Coding patterns in class hierarchies in object-oriented applications (in spanish). Master's thesis, Universidad Austral, Buenos Aires, Argentina, 2008.
15. E. Casais Managing class evolution in object-oriented systems O. Nierstrasz, D. Tsichritzis, Object-Oriented Software Composition 1995 Prentice-Hall 201 244
16. O. Ciupke, Automatic detection of design problems in object-oriented reengineering, in: Proceedings of TOOLS 30 (USA), 1999, pp. 18-32.
17. W.R. Cook, Interfaces and specifications for the Smalltalk-80 Collection Classes, in: Proceedings of OOPSLA '92 (7th Conference on Object-Oriented Programming Systems, Languages and Applications), vol. 27, ACM Press, October 1992, pp. 1-15.
18. M. Dao, M. Huchard, T. Libourel, C. Roume, H. Leblanc, A new approach to factorization: introducing metrics, in: Proceedings of METRICS '02 (8th IEEE International Symposium on Software Metrics, IEEE Computer Society, 2002, pp. 227-236.
19. S. Demeyer, S. Ducasse, and O. Nierstrasz Object-oriented Reengineering Patterns 2002 Morgan Kaufmann
20. S. Demeyer, S. Tichelaar, S. Ducasse, FAMIX 2.1 - The FAMOOS Information Exchange Model. Technical report, University of Bern, 2001.
21. S. Denier, H.A. Sahraoui, Understanding the use of inheritance with visual patterns, in: Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, ESEM 2009, USA, October 2009, pp. 79-88.
22. H. Dicky, C. Dony, M. Huchard, T. Libourel, ARES, Adding a class and REStructuring Inhertitance Hierarchy, in: BDA: 11mes Journées Bases de Données Avancées, 1995, pp. 25-42.
23. H. Dicky, C. Dony, M. Huchard, T. Libourel, On automatic class insertion with overloading, in: Proceedings of OOPSLA '96 (11th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications), ACM Press, 1996, pp. 251-267.
24. S. Ducasse, T. Gîrba, A. Kuhn, and L. Renggli Meta-environment and executable meta-language using Smalltalk: an experience report Journal of Software and Systems Modeling (SOSYM) 8 1 2009 5 19
25. S. Ducasse, T. Gîrba, R. Wuyts, Object-oriented legacy system trace-based logic testing, in: Proceedings of 10th European Conference on Software Maintenance and Reengineering (CSMR'06), IEEE Computer Society Press, 2006, pp. 35-44.
26. S. Ducasse, and M. Lanza The class blueprint: visually supporting the understanding of classes Transactions on Software Engineering (TSE) 31 1 2005 75 90
27. A. Dunsmore, M. Roper, M. Wood, Object-oriented inspection in the face of delocalisation, in: Proceedings of ICSE '00 (22nd International Conference on Software Engineering), ACM Press, 2000, pp. 467-476.
28. J.-R. Falleri, M. Huchard, C. Nebut. A generic approach for class model normalization, in: 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), Italy, IEEE, September 2008, pp. 431-434.
29. M. Fowler UML Distilled 2003 Addison-Wesley
30. B. Ganter, and R. Wille Formal Concept Analysis: Mathematical Foundations 1999 Springer-Verlag
31. J. Gil, and I. Maman Micro patterns in java code SIGPLAN Notices 40 10 2005 97 116
32. T. Gîrba, and S. Ducasse Modeling history to analyze software evolution Journal of Software Maintenance: Research and Practice (JSME) 18 2006 207 236
33. R. Godin, M. Huchard, C. Roume, P. Valtchev. Inheritance and automation: where are we now? in: A. Black, E. Ernst, P. Grogono, M. Sakkinen (Eds), ECOOP 2002: Proceedings of the Inheritance Workshop. University of Jyväskylä, June 2002, pp. 58-64.
34. R. Godin, H. Mili, Building and maintaining analysis-level class hierarchies using galois lattices, in: Proceedings OOPSLA '93 (8th Conference on Object-Oriented Programming Systems, Languages, and Applications), vol. 28, October 1993, pp. 394-410.
35. R. Godin, H. Mili, G.W. Mineau, R. Missaoui, A. Arfi, and T.-T. Chau Design of class hierarchies based on concept (galois) lattices Theory and Application of Object Systems 4 2 1998 117 134
36. O. Greevy, S. Ducasse, and T. Gîrba Analyzing software evolution through feature views Journal of Software Maintenance and Evolution: Research and Practice (JSME) 18 6 2006 425 456
37. Y.-G. Guéhéneuc, H. Albin-Amiot, Using design patterns and constraints to automate the detection and correction of inter-class design defects, in: Q. Li, R. Riehle, G. Pour, B. Meyer (Eds.), Proceedings of the 39th Conference on the Technology of Object-Oriented Languages and Systems, IEEE Computer Society Press, July 2001, pp. 296-305.
38. Y.-G. Guéhéneuc, K. Mens, R. Wuyts, A comparative framework for design recovery tools, in: Conference on Software Maintenance and Reengineering (CSMR 2006), Los Alamitos CA, IEEE Computer Society Press, 2006.
39. Y.-G. Guéhéneuc, H. Sahraoui, F. Zaidi, Fingerprinting design patterns, in: Working Conference on Reverse Engineering (WCRE'04), Los Alamitos CA, IEEE Computer Society Press, 2004, pp. 172-181.
40. D. Heuzeroth, T. Holl, G. Högström, W. Löwe, Automatic design pattern detection, in: International Workshop on Program Comprehension, 2003, pp. 94-104.
41. M. Huchard, H. Dicky, and H. Leblanc Galois lattice as a framework to specify algorithms building class hierarchies Theoretical Informatics and Applications 34 2000 521 548
42. R.K. Keller, R. Schauer, S. Robitaille, P. Pagé, Pattern-based reverse engineering of design components, in: Proceedings of ICSE '99 (21st International Conference on Software Engineering), IEEE Computer Society Press/ACM Press, May 1999, pp. 226-235.
43. E.J. Klimas, S. Skublics, and D.A. Thomas Smalltalk with Style 1996 Prentice-Hall
44. C. Kramer, L. Prechelt, Design recovery by automated search for structural design patterns in object-oriented software, in: Proceedings of WCRE '96 (3rd Working Conference on Reverse Engineering), IEEE Computer Society Press, November 1996, pp. 208-216.
45. S. Kuznetsov, S. Obëdkov, Comparing performance of algorithms for generating concept lattices, in: Proceedings of International Workshop on Concept Lattice-based Theory, Methods and Tools for Knowledge Discovery in Databases, 2001.
46. W. LaLonde, and J. Pugh Subclassing ≠ subtyping ≠ is-a Journal of Object-Oriented Programming 3 5 1991 57 62
47. D. Lange, Y. Nakamura, Interactive visualization of design patterns can help in framework understanding, in: Proceedings ACM International Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'95), New York, NY. ACM Press, 1995, pp. 342-357.
48. M. Lanza, S. Ducasse, A categorization of classes based on the visualization of their internal structure: the class blueprint, in: Proceedings of 16th International Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '01), ACM Press, 2001, pp. 300-311.
49. M. Lanza, S. Ducasse, L. Steiger, Understanding software evolution using a flexible query engine, in: Proceedings of the Workshop on Formal Foundations of Software Evolution, 2001.
50. H. Leblanc, Sous-hiérarchies de Galois: un Modle pour la Construction et L'évolution des Hiérarchies d'objets (Galois Sub-hierarchies: a Model for Construction and Evolution of Object Hierarchies). PhD thesis, Université Montpellier 2, 2000.
51. A. Lienhard, S. Ducasse, G. Arévalo, Identifying traits with formal concept analysis, in: Proceedings of 20th Conference on Automated Software Engineering (ASE'05), IEEE Computer Society, November 2005, pp. 66-75.
52. B. Liskov, J.M. Wing. A new definition of the subtype relation, in: O. Nierstrasz (Ed.), Proceedings ECOOP '93, LNCS, vol. 707, Kaiserslautern, Germany, Springer-Verlag, July 1993, pp. 118-141.
53. A. Mendelzon, and J. Sametinger Reverse engineering by visualizing and querying Software - Concepts and Tools 16 1995 170 182
54. P.F. Mihancea, Towards a client driven characterization of class hierarchies, in: Proceedings of International Conference on Program Comprehension (ICPC 2006), Los Alamitos CA. IEEE Computer Society Press, 2006, pp. 285-294.
55. P.F. Mihancea, R. Marinescu, Discovering comprehension pitfalls in class hierarchies, in: CSMR '09: Proceedings of the 2009 European Conference on Software Maintenance and Reengineering, Washington, DC, USA. IEEE Computer Society, 2009, pp. 7-16.
56. L. Mikhajlov, E. Sekerinski, A study of the fragile base class problem, in: Proceedings of ECOOP'98 (European Conference on Object-Oriented Programming), number 1445 in Lecture Notes in Computer Science, Springer-Verlag, 1998, pp. 355-383.
57. I. Moore, Automatic inheritance hierarchy restructuring and method refactoring, in: Proceedings of OOPSLA '96 (11th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications), ACM Press, 1996, pp. 235-250.
58. J. Niere, W. Schäfer, J.P. Wadsack, L. Wendehals, J. Welsh, Towards pattern-based design recovery, in: Proceedings of ICSE '02 (24th International Conference on Software Engineering). ACM Press, 2002, pp. 338-348.
59. J. Niere, J.P. Wadsack, L. Wendehals, Design pattern recovery based on source code analysis with fuzzy logic. tr-ri-01-222, Software Engineering Group, Department of Mathematics and Computer Science, University of Paderborn, Paderborn, Germany, 2001.
60. O. Nierstrasz, and S. Ducasse Moose - a language-independent reengineering environment European Research Consortium for Informatics and Mathematics (ERCIM) News 58 July 2004 24 25
61. O. Nierstrasz, S. Ducasse, T. Gîrba, The story of Moose: an agile reengineering environment, in: Proceedings of the European Software Engineering Conference (ESEC/FSE'05), New York NY, ACM Press, 2005, pp. 1-10 (invited paper). (Pubitemid 43218804)
62. I. Philippow, D. Streitferdt, M. Riebisch, Design pattern recovery in architectures for supporting product line development and application, in: ECOOP Workshop-Modeling Variability for Object-Oriented Product Lines. BoD GmbH, 2003, pp. 42-57.
63. C. Roume Evaluatioń Structurelle de la Factorisation et la Généralisation au sein des Hiérarchies de Classes: Introduction de Métriques L'Objet 8 1-2 2002 151 166
64. N. Schärli, Traits - Composing Classes from Behavioral Building Blocks. PhD thesis, University of Bern, February 2005.
65. R. Schauer, S. Robitaille, F. Martel, R. Keller, Hot-spot recovery in object-oriented software with inheritance and composition template methods, in: Proceedings of ICSM '99 (International Conference on Software Maintenance). IEEE Computer Society Press, 1999.
66. J. Seemann, J.W. von Gudenberg, Pattern-based design recovery of java software, in: Proceedings of the 6th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ACM Press, 1998, pp. 10-16.
67. A. Sharp Smalltalk by Example 1997 McGraw-Hill
68. F. Shull, W.L. Melo, V.R. Basili, An inductive method for discovering design patterns from object-oriented software systems. Technical Report CS-TR-3597, University of Maryland Computer Science Department, 1996.
69. G. Snelting, Concept analysis - a new framework for program understanding, in: SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), Montreal, Canada, ACM Press, June 1998, pp. 1-10.
70. G. Snelting, F. Tip, Reengineering class hierarchies using concept analysis, in: ACM Transactions on Programming Languages and Systems, 1998.
71. A. Snyder, Encapsulation and inheritance in object-oriented programming languages, in: Proceedings OOPSLA '86, ACM SIGPLAN Notices, vol. 21, Nov. 1986, pp. 38-45.
72. P. Steyaert, C. Lucas, K. Mens, T. D'Hondt, Reuse contracts: managing the evolution of reusable assets, in: Proceedings of OOPSLA '96 (International Conference on Object-Oriented Programming, Systems, Languages, and Applications). ACM Press, 1996, pp. 268-285.
73. M. Streckenbach, G. Snelting, Refactoring class hierarchies with KABA, in OOPSLA '04: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, New York, NY, USA, ACM Press, 2004, pp. 315-330.
74. D. Taenzer, M. Ganti, S. Podar, Problems in object-oriented software reuse, in: S. Cook (Ed.), Proceedings ECOOP '89, Nottingham. Cambridge University Press, July 1989, pp. 25-38.
75. A. Taivalsaari On the notion of inheritance ACM Computing Surveys 28 3 1996 438 479
76. L. Wendehals, Improving design pattern instance recognition by dynamic analysis, in: Proceedings of the ICSE 2003 Workshop on Dynamic Analysis (WODA), May 2003.
77. N. Wilde, and R. Huitt Maintenance support for object-oriented programs IEEE Transactions on Software Engineering SE-18 12 1992 1038 1044
78. R. Wuyts, Declarative reasoning about the structure object-oriented systems, in: Proceedings of the TOOLS USA '98 Conference, IEEE Computer Society Press, 1998, pp. 112-124.