A theory of aspects as latent topics

ABSTRACT

After more than 10 years, Aspect-Oriented Programming (AOP) is still a controversial idea. While the concept of aspects appeals to everyone's intuitions, concrete AOP solutions often fail to convince researchers and practitioners alike. This discrepancy results in part from a lack of an adequate theory of aspects, which in turn leads to the development of AOP solutions that are useful in limited situations.

We propose a new theory of aspects that can be summarized as follows: concerns are latent topics that can be automatically extracted using statistical topic modeling techniques adapted to software. Software scattering and tangling can be measured precisely by the entropies of the underlying topic-over-files and files-over-topics distributions. Aspects are latent topics with high scattering entropy.

The theory is validated empirically on both the large scale, with a study of 4,632 Java projects, and the small scale, with a study of 5 individual projects. From these analyses, we identify two dozen topics that emerge as general-purpose aspects across multiple projects, as well as project-specific topics/concerns. The approach is also shown to produce results that are compatible with previous methods for identifying aspects, and also extends them.

Our work provides not only a concrete approach for identifying aspects at several scales in an unsupervised manner but, more importantly, a formulation of AOP grounded in information theory. The understanding of aspects under this new perspective makes additional progress toward the design of models and tools that facilitate software development.

REFERENCES

• 1: David Andrzejewski , Anne Mulhern , Ben Liblit , Xiaojin Zhu, Statistical Debugging Using Latent Topic Models, Proceedings of the 18th European conference on Machine Learning, September 17-21, 2007, Warsaw, Poland [doi>10.1007/978-3-540-74958-5_5]
• 2: Sushil Bajracharya , Trung Ngo , Erik Linstead , Yimeng Dou , Paul Rigor , Pierre Baldi , Cristina Lopes, Sourcerer: a search engine for open source code supporting structure-based search, Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications, October 22-26, 2006, Portland, Oregon, USA [doi>10.1145/1176617.1176671]
• 3: Sushil Bajracharya, Trung Ngo, Erik Linstead, Yimeng Dou, Paul Rigor, Pierre Baldi, and Cristina Lopes. A study of ranking schemes in Internet-scale code search. Technical report, UCI Institute for Software Research, 2007.
• 4: Elisa Baniassad , Paul C. Clements , Joao Araujo , Ana Moreira , Awais Rashid , Bedir Tekinerdogan, Discovering Early Aspects, IEEE Software, v.23 n.1, p.61-70, January 2006 [doi>10.1109/MS.2006.8]
• 5: Ted J. Biggerstaff, Design Recovery for Maintenance and Reuse, Computer, v.22 n.7, p.36-49, July 1989 [doi>10.1109/2.30731]
• 6: Ted J. Biggerstaff , Bharat G. Mitbander , Dallas Webster, The concept assignment problem in program understanding, Proceedings of the 15th international conference on Software Engineering, p.482-498, May 17-21, 1993, Baltimore, Maryland, United States
• 7: David M. Blei , Andrew Y. Ng , Michael I. Jordan, Latent dirichlet allocation, The Journal of Machine Learning Research, 3, p.993-1022, 3/1/2003 [doi>10.1162/jmlr.2003.3.4-5.993]
• 8: Silvia Breu, Extending Dynamic Aspect Mining with Static Information, Proceedings of the Fifth IEEE International Workshop on Source Code Analysis and Manipulation, p.57-65, September 30-October 01, 2005 [doi>10.1109/SCAM.2005.9]
• 9: Silvia Breu , Thomas Zimmermann, Mining Aspects from Version History, Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering, p.221-230, September 18-22, 2006 [doi>10.1109/ASE.2006.50]
• 10: Magiel Bruntink , Arie van Deursen , Remco van Engelen , Tom Tourwe, On the Use of Clone Detection for Identifying Crosscutting Concern Code, IEEE Transactions on Software Engineering, v.31 n.10, p.804-818, October 2005 [doi>10.1109/TSE.2005.114]
• 11: Nelio Cacho , Claudio Sant'Anna , Eduardo Figueiredo , Alessandro Garcia , Thais Batista , Carlos Lucena, Composing design patterns: a scalability study of aspect-oriented programming, Proceedings of the 5th international conference on Aspect-oriented software development, March 20-24, 2006, Bonn, Germany [doi>10.1145/1119655.1119672]
• 12: Gerardo Canfora , Luigi Cerulo, How Crosscutting Concerns Evolve in JHotDraw, Proceedings of the 13th IEEE International Workshop on Software Technology and Engineering Practice, p.65-73, September 24-25, 2005 [doi>10.1109/STEP.2005.13]
• 13: Gerardo Canfora , Luigi Cerulo , Massimiliano Di Penta, On the Use of Line Co-change for Identifying Crosscutting Concern Code, Proceedings of the 22nd IEEE International Conference on Software Maintenance, p.213-222, September 24-27, 2006 [doi>10.1109/ICSM.2006.43]
• 14: M. Ceccato , M. Marin , K. Mens , L. Moonen , P. Tonella , T. Tourwe, A Qualitative Comparison of Three Aspect Mining Techniques, Proceedings of the 13th International Workshop on Program Comprehension, p.13-22, May 15-16, 2005 [doi>10.1109/WPC.2005.2]
• 15: Siobhàn Clarke , Elisa Baniassad, Aspect-Oriented Analysis and Design, Addison-Wesley Professional, 2005
• 16: Grigoreta Sofia Cojocar , Gabriela Şerban, On some criteria for comparing aspect mining techniques, Proceedings of the 3rd workshop on Linking aspect technology and evolution, p.7-es, March 12-16, 2007, Vancouver, British Columbia, Canada [doi>10.1145/1275672.1275679]
• 17: Chuan Duan , Jane Cleland-Huang, A Clustering Technique for Early Detection of Dominant and Recessive Cross-Cutting Concerns, Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design, p.1, May 20-26, 2007 [doi>10.1109/EARLYASPECTS.2007.1]
• 18: Marc Eaddy , Alfred Aho , Gail C. Murphy, Identifying, Assigning, and Quantifying Crosscutting Concerns, Proceedings of the First International Workshop on Assessment of Contemporary Modularization Techniques, p.2, May 20-26, 2007 [doi>10.1109/ACOM.2007.4]
• 19: Marc Eaddy , Thomas Zimmermann , Kaitlin D. Sherwood , Vibhav Garg , Gail C. Murphy , Nachiappan Nagappan , Alfred V. Aho, Do Crosscutting Concerns Cause Defects?, IEEE Transactions on Software Engineering, v.34 n.4, p.497-515, July 2008 [doi>10.1109/TSE.2008.36]
• 20: Fernando Castor Filho , Nelio Cacho , Eduardo Figueiredo , Raquel Maranhão , Alessandro Garcia , Cecília Mary F. Rubira, Exceptions and aspects: the devil is in the details, Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, November 05-11, 2006, Portland, Oregon, USA [doi>10.1145/1181775.1181794]
• 21: Bernhard Ganter , C. Franzke , Rudolf Wille, Formal Concept Analysis: Mathematical Foundations, Springer-Verlag New York, Inc., Secaucus, NJ, 1997
• 22: Alessandro Garcia , Cláudio Sant'Anna , Eduardo Figueiredo , Uirá Kulesza , Carlos Lucena , Arndt von Staa, Modularizing design patterns with aspects: a quantitative study, Proceedings of the 4th international conference on Aspect-oriented software development, p.3-14, March 14-18, 2005, Chicago, Illinois [doi>10.1145/1052898.1052899]
• 23: William G. Griswold , Jimmy J. Yuan , Yoshikiyo Kato, Exploiting the map metaphor in a tool for software evolution, Proceedings of the 23rd International Conference on Software Engineering, p.265-274, May 12-19, 2001, Toronto, Ontario, Canada
• 24: J. Hannemann and G. Kiczales. Overcoming the prevalent decomposition of legacy code. In Workshop Advanced Separation of Concerns, ICSE'01, 2001.
• 25: Jan Hannemann , Gregor Kiczales, Design pattern implementation in Java and aspectJ, Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, November 04-08, 2002, Seattle, Washington, USA
• 26: Shinji Kawaguchi , Pankaj K. Garg , Makoto Matsushita , Katsuro Inoue, MUDABlue: An Automatic Categorization System for Open Source Repositories, Proceedings of the 11th Asia-Pacific Software Engineering Conference, p.184-193, November 30-December 03, 2004 [doi>10.1109/APSEC.2004.69]
• 27: Andy Kellens, Kim Mens, and Paolo Tonella. A survey of automated code-level aspect mining techniques. In Transactions on Aspect-Oriented Software Development IV. Springer Berlin / Heidelberg, 2007. 10.1007/978-3-540-77042-8_6.
• 28: Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-oriented programming. In Mehmet Akcsit and Satoshi Matsuoka, editors, phEuropean Conference on Object-Oriented Programming, volume 1241 of phLNCS, pages 220--242. Springer Verlag, 1997.
• 29: Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William G. Griswold, An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming, p.327-353, June 18-22, 2001
• 30: Jörg Kienzle , Rachid Guerraoui, AOP: Does It Make Sense? The Case of Concurrency and Failures, Proceedings of the 16th European Conference on Object-Oriented Programming, p.37-61, June 10-14, 2002
• 31: Lo Kwun Kit , Chan Kwun Man , Elisa Baniassad, Isolating and relating concerns in requirements using latent semantic analysis, ACM SIGPLAN Notices, v.41 n.10, October 2006
• 32: Adrian Kuhn , Stéphane Ducasse , Tudor Gírba, Semantic clustering: Identifying topics in source code, Information and Software Technology, v.49 n.3, p.230-243, March, 2007 [doi>10.1016/j.infsof.2006.10.017]
• 33: Uira Kulesza , Claudio Sant'Anna , Alessandro Garcia , Roberta Coelho , Arndt von Staa , Carlos Lucena, Quantifying the Effects of Aspect-Oriented Programming: A Maintenance Study, Proceedings of the 22nd IEEE International Conference on Software Maintenance, p.223-233, September 24-27, 2006 [doi>10.1109/ICSM.2006.48]
• 34: Erik Linstead , Paul Rigor , Sushil Bajracharya , Cristina Lopes , Pierre Baldi, Mining Eclipse Developer Contributions via Author-Topic Models, Proceedings of the Fourth International Workshop on Mining Software Repositories, p.30, May 20-26, 2007 [doi>10.1109/MSR.2007.20]
• 35: Erik Linstead, Paul Rigor, Sushil Bajracharya, Cristina Lopes, and Pierre Baldi. Mining internet-scale software repositories. NIPS 2007: Advances in Neural Information Processing Systems 20, 0, 2008.
• 36: Martin Lippert , Cristina Videira Lopes, A study on exception detection and handling using aspect-oriented programming, Proceedings of the 22nd international conference on Software engineering, p.418-427, June 04-11, 2000, Limerick, Ireland [doi>10.1145/337180.337229]
• 37: Cristina Videira Lopes. AOP: A historical perspective (what's in a name?). In Robert Filman, Tzilla Elrad, Siobhan Clarke, and Mehmet Aksit, editors, Aspect-Oriented Software Development, chapter 5, pages 97--122. Addison Wesley, 2004.
• 38: Cristina Videira Lopes and Sushil Krishna Bajracharya. Assessing aspect modularizations using design structure matrix and net option value. Transactions on Aspect-Oriented Software Development, 1: 1--35, 2006.
• 39: Andrian Marcus , Andrey Sergeyev , Vaclav Rajlich , Jonathan I. Maletic, An Information Retrieval Approach to Concept Location in Source Code, Proceedings of the 11th Working Conference on Reverse Engineering, p.214-223, November 08-12, 2004
• 40: Marius Marin , Arie van Deursen , Leon Moonen, Identifying Aspects Using Fan-In Analysis, Proceedings of the 11th Working Conference on Reverse Engineering, p.132-141, November 08-12, 2004
• 41: Shawn Minto , Gail C. Murphy, Recommending Emergent Teams, Proceedings of the Fourth International Workshop on Mining Software Repositories, p.5, May 20-26, 2007 [doi>10.1109/MSR.2007.27]
• 42: Gail C. Murphy , Robert J. Walker , Elisa L. A. Baniassad, Evaluating Emerging Software Development Technologies: Lessons Learned from Assessing Aspect-Oriented Programming, IEEE Transactions on Software Engineering, v.25 n.4, p.438-455, July 1999 [doi>10.1109/32.799936]
• 43: Martin P. Robillard , Gail C. Murphy, Representing concerns in source code, ACM Transactions on Software Engineering and Methodology (TOSEM), v.16 n.1, p.3-es, February 2007 [doi>10.1145/1189748.1189751]
• 44: Martin P. Robillard , Gail C. Murphy, Concern graphs: finding and describing concerns using structural program dependencies, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida [doi>10.1145/581339.581390]
• 45: David Shepherd , Jeffrey Palm , Lori Pollock , Mark Chu-Carroll, Timna: a framework for automatically combining aspect mining analyses, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, November 07-11, 2005, Long Beach, CA, USA [doi>10.1145/1101908.1101937]
• 46: David Shepherd , Lori Pollock , Tom Tourwé, Using language clues to discover crosscutting concerns, Proceedings of the 2005 workshop on Modeling and analysis of concerns in software, p.1-6, May 16-16, 2005, St. Louis, Missouri
• 47: Paolo Tonella , Mariano Ceccato, Aspect Mining through the Formal Concept Analysis of Execution Traces, Proceedings of the 11th Working Conference on Reverse Engineering, p.112-121, November 08-12, 2004
• 48: Claire Tristram. Untangling code. MIT Technology Review: Ten Emerging technologies that will change the world, February 2001.
• 49: Secil Ugurel , Robert Krovetz , C. Lee Giles, What's the code?: automatic classification of source code archives, Proceedings of the eighth ACM SIGKDD international conference on Knowledge discovery and data mining, July 23-26, 2002, Edmonton, Alberta, Canada [doi>10.1145/775047.775141]
• 50: Robert J. Walker , Elisa L. A. Baniassad , Gail C. Murphy, An initial assessment of aspect-oriented programming, Proceedings of the 21st international conference on Software engineering, p.120-130, May 16-22, 1999, Los Angeles, California, United States [doi>10.1145/302405.302458]
• 51: Carl Zetie. Aspect-oriented programming considered harmful. Forrester Research, April 2005.
• 52: Charles Zhang , Hans-Arno Jacobsen, Efficiently mining crosscutting concerns through random walks, Proceedings of the 6th international conference on Aspect-oriented software development, March 12-16, 2007, Vancouver, British Columbia, Canada [doi>10.1145/1218563.1218588]

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.m Miscellaneous

General Terms:
Algorithms, Experimentation

Keywords:
aspect-oriented programming, scattering, tangling, topic models