A trait based re-engineering technique for Java hierarchies

ABSTRACT

Traits are pure behavior components introduced in the Smalltalk community in order to integrate the traditional class inheritance with a composition mechanism: a class is composed by traits and inherits from superclasses. This offers the advantage of promoting code reuse. In this paper, we tackle the problem of re-engineering a Java hierarchy into traits, by adapting to a Java setting a methodology developed by Lienhard, Ducasse, and Arévalo for a Smalltalk setting, based on Formal Concept Analysis. We illustrate the approach by applying it to the Java input stream library. We also obtain two by-products: (i) we identify clearly some workarounds that programmers must exploit in order to overcome some of the limitations of Java single inheritance; (ii) we single out some features a Java with traits might include, as none of the proposals in the literature in this sense has taken the lead yet.

REFERENCES

• 1: The Fortress language specification. http://research.sun.com/projects/plrg/fortress.pdf.
• 2: Davide Ancona , Giovanni Lagorio , Elena Zucca, Jam - A Smooth Extension of Java with Mixins, Proceedings of the 14th European Conference on Object-Oriented Programming, p.154-178, June 12-16, 2000
• 3: A. Black, S. Ducasse, O. Nierstrasz, D. Pollet, D. Cassou, and M. Denker. Squeak by Example. Square Bracket Associates, 2007.
• 4: Andrew P. Black , Nathanael Scharli, Traits: Tools and Methodology, Proceedings of the 26th International Conference on Software Engineering, p.676-686, May 23-28, 2004
• 5: Andrew P. Black , Nathanael Schärli , Stéphane Ducasse, Applying traits to the smalltalk collection classes, ACM SIGPLAN Notices, v.38 n.11, November 2003
• 6: V. Bono, F. Damiani, and E. Giachino. Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse. In Electronic proceedings of FTfJP '07 (http://www.cs.ru.nl/ftfjp/), 2007.
• 7: V. Bono, F. Damiani, and E. Giachino. On traits and types in a Java-like setting. In IFIP TCS 2008 (Track B). Springer, 2008. Availble at the url http://www.di.unito.it/~damiani/papers/tcs08B.pdf.
• 8: Gilad Bracha, The programming language jigsaw: mixins, modularity and multiple inheritance, University of Utah, Salt Lake City, UT, 1992
• 9: Gilad Bracha , William Cook, Mixin-based inheritance, ACM SIGPLAN Notices, v.25 n.10, p.303-311, Oct. 1990
• 10: G. Bracha and D. Griswold. Extending Smalltalk with mixins. In OOPSLA96 Workshop on Extending the Smalltalk Language, 1996. http://www.javasoft.com/people/gbracha/mwp.html.
• 11: Damien Cassou , Stéphane Ducasse , Roel Wuyts, Redesigning with traits: the Nile stream trait-based library, Proceedings of the 2007 international conference on Dynamic languages: in conjunction with the 15th International Smalltalk Joint Conference 2007, August 25-31, 2007, Lugano, Switzerland [doi>10.1145/1352678.1352682]
• 12: Stéphane Ducasse , Oscar Nierstrasz , Nathanael Schärli , Roel Wuyts , Andrew P. Black, Traits: A mechanism for fine-grained reuse, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.2, p.331-388, March 2006 [doi>10.1145/1119479.1119483]
• 13: S. Ducasse, N. Schärli, and R. Wuyts. Uniform and safe metaclass composition. Computer Languages, Systems and Structures, 31(3--4):143--164, 2005.
• 14: K. Fisher and J. Reppy. Statically typed traits. Technical Report TR-2003-13, University of Chicago, Department of Computer Science, Dec. 2003.
• 15: K. Fisher and J. Reppy. A typed calculus of traits. In Electronic proceedings of FOOL 2004, 2004.
• 16: Matthew Flatt , Shriram Krishnamurthi , Matthias Felleisen, Classes and mixins, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.171-183, January 19-21, 1998, San Diego, California, United States [doi>10.1145/268946.268961]
• 17: Bernhard Ganter , C. Franzke , Rudolf Wille, Formal Concept Analysis: Mathematical Foundations, Springer-Verlag New York, Inc., Secaucus, NJ, 1997
• 18: Dan Ingalls , Ted Kaehler , John Maloney , Scott Wallace , Alan Kay, Back to the future: the story of Squeak, a practical Smalltalk written in itself, Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.318-326, October 05-09, 1997, Atlanta, Georgia, United States
• 19: Adrian Lienhard , Stéphane Ducasse , Gabriela Arévalo, Identifying traits with formal concept analysis, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, November 07-11, 2005, Long Beach, CA, USA [doi>10.1145/1101908.1101921]
• 20: C. Lindig. Fast Concept Analysis. PhD thesis, Harvard University, Division of Engineering and Applied Sciences, Cambridge, Massachusetts, 2002.
• 21: Luigi Liquori , Arnaud Spiwack, FeatherTrait: A modest extension of Featherweight Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.2, p.1-32, March 2008 [doi>10.1145/1330017.1330022]
• 22: Bertrand Meyer, Eiffel: the language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
• 23: M. Naddeo. Un possibile approccio alla soluzione di alcuni problemi legati all'ereditarietà singola nei linguaggi object-oriented. Laurea triennale in informatica, Università degli Studi di Torino, 2008.
• 24: O. Nierstrasz, S. Ducasse, and N. Schärli. Flattening traits. JOT (www.jot.fm), 5(4):129--148, 2006.
• 25: M. Odersky. The Scala Language Specification, version 2.4. Technical report, Programming Methods Laboratory, EPFL, Switzerland, 2007.
• 26: Philip J. Quitslund , Emerson R. Murphy-Hill , Andrew P. Black, Supporting Java traits in Eclipse, Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange, p.37-41, October 24-24, 2004, Vancouver, British Columbia, Canada [doi>10.1145/1066129.1066137]
• 27: J. Reppy and A. Turon. A foundation for trait-based metaprogramming. In Electronic proceedings of FOOL/WOOD 2006, 2006.
• 28: J. Reppy and A. Turon. Metaprogramming with traits. In ECOOP 2007, volume 4609 of LNCS, pages 373--398. Springer, 2007.
• 29: N. Schärli, S. Ducasse, O. Nierstrasz, and A. Black. Traits: Composable units of behavior. In ECOOP 2003, volume 2743 of LNCS, pages 248--274. Springer, 2003.
• 30: Michael Siff , Thomas Reps, Identifying Modules via Concept Analysis, IEEE Transactions on Software Engineering, v.25 n.6, p.749-768, November 1999 [doi>10.1109/32.824377]
• 31: C. Smith and S. Drossopoulou. Chai: Traits for Java-like languages. In ECOOP '05, LNCS 3586, pages 453--478. Springer, 2005.
• 32: Bjarne Stroustrup, The C++ Programming Language, Third Edition, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1997

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques

General Terms:
Design, Theory

Keywords:
Java, code reuse, formal concept analysis, re-engineering, trait