Implementing software product lines using traits

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2010, Pages 2096-2102

  Bettini, Lorenzo ^a   Damiani, Ferruccio ^a   Schaefer, Ina ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

featherweight java; feature model; software product line; trait; type system

Indexed keywords

CLASS-BASED; CODE REUSE; EXPLICIT OPERATORS; FEATHERWEIGHT JAVA; FEATURE MODELS; PRODUCT VARIABILITY; REUSE MECHANISM; SOFTWARE PRODUCT LINE; SOFTWARE PRODUCT LINES; SOFTWARE SYSTEMS; TYPE SYSTEMS; TYPECHECKING;

CALCULATIONS; JAVA PROGRAMMING LANGUAGE; NETWORK ARCHITECTURE; REUSABILITY; SOFTWARE DESIGN;

COMPUTER SOFTWARE REUSABILITY;

EID: 77954650815     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1774088.1774530     Document Type: Conference Paper

References (31)

1. E. Allen, D. Chase, J. Hallett, V. Luchangco, G.-W. Maessen, S. Ryu, G. Steele, and S. Tobin-Hochstad. The Fortress Language Specification, V. 1.0, 2008.
2. D. Ancona, F. Damiani, S. Drossopoulou, and E. Zucca. Polymorphic Bytecode: Compositional Compilation for Java-like Languages. In Proc. of POPL, pages 26-37. ACM, 2005.
3. S. Apel, C. Kästner, and C. Lengauer. Feature Featherweight Java: A Calculus for Feature-Oriented Programming and Stepwise Refinement. In Proc. of GPCE, pages 101-112. ACM, 2008.
4. P. G. Bassett. Framing software reuse: lessons from the real world. Prentice-Hall, Inc., 1997.
5. D. Batory, J. N. Sarvela, and A. Rauschmayer. Scaling step-wise refinement. In In Proc. of ICSE '03, pages 187-197, 2003.
6. A. Bergel, S. Ducasse, O. Nierstrasz, and R. Wuyts. Stateful traits and their formalization. Computer Languages, Systems & Structures, 34(2-3):83-108, 2008.
7. L. Bettini, F. Damiani, and I. Schaefer. Implementing SPL using Traits. Technical report, Dipartimento di Informatica, Università di Torino, 2009. Available at http://www.di.unito.it/~damiani/papers/isplurat.pdf.
8. A. P. Black, N. Schärli, and S. Ducasse. Applying traits to the smalltalk collection classes. In Proc. of OOPSLA '03, pages 47-64. ACM, 2003.
9. V. Bono, F. Damiani, and E. Giachino. Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse. In Electronic proceedings of FTfJP, 2007.
10. V. Bono, F. Damiani, and E. Giachino. On Traits and Types in a Java-like setting. In TCS (Track B), volume 273 of IFIP, pages 367-382. Springer, 2008.
11. D. Cassou, S. Ducasse, and R. Wuyts. Redesigning with traits: the nile stream trait-based library. In Proc. of ICDL '07, pages 50-75. ACM, 2007.
12. P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison Wesley Longman, 2001.
13. B. Delaware, W. Cook, and D. Batory. A Machine-Checked Model of Safe Composition. In Proc. of FOAL, pages 31-35. ACM, 2009.
14. S. Ducasse, O. Nierstrasz, N. Schärli, R. Wuyts, and A. Black. Traits: A mechanism for fine-grained reuse. ACM TOPLAS, 28(2):331-388, 2006.
15. A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. ACM TOPLAS, 23(3):396-450, 2001.
16. C. Kästner and S. Apel. Type-Checking Software Product Lines - A Formal Approach. In Automated Softwware Engineering (ASE), pages 258-267, 2008.
17. C. Kästner, S. Apel, and D. S. Batory. A Case Study Implementing Features Using AspectJ. In SPLC, pages 223-232, 2007.
18. C. Kästner, S. Apel, and M. Kuhlemann. Granularity in Software Product Lines. In In Proc. of ICSE '08, pages 311-320, 2008.
19. G. Lagorio, M. Servetto, and E. Zucca. Featherweight Jigsaw - A minimal core calculus for modular composition of classes. In ECOOP 2009, LNCS 5653, pages 244-268. Springer, 2009.
20. G. Lagorio, M. Servetto, and E. Zucca. Flattening versus direct semantics for Featherweight Jigsaw. In Proc. of FOOL, 2009.
21. L. Liquori and A. Spiwack. FeatherTrait: A Modest Extension of Featherweight Java. ACM TOPLAS, 30(2), 2008.
22. R. E. Lopez-Herrejon, D. S. Batory, and W. R. Cook. Evaluating Support for Features in Advanced Modularization Technologies. In Proc. of ECOOP, pages 169-194, 2005.
23. L. Mikhajlov and E. Sekerinski. A Study of the Fragile Base Class Problem. In Proc. ECOOP, number 1445 in LNCS, pages 355-383. Springer, 1998.
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, 2007.
26. J. Reppy and A. Turon. Metaprogramming with traits. In ECOOP 2007, volume 4609 of LNCS, pages 373-398. Springer, 2007.
27. N. Schärli, S. Ducasse, O. Nierstrasz, and A. Black. Traits: Composable units of behavior. In ECOOP, volume 2743 of LNCS, pages 248-274. Springer, 2003.
28. Y. Smaragdakis and D. S. Batory. Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. ACM Trans. Softw. Eng. Methodol., 11(2):215-255, 2002.
29. C. Smith and S. Drossopoulou. Chai: Traits for Java-like languages. In ECOOP'05, LNCS 3586, pages 453-478. Springer, 2005.
30. S. Thaker, D. S. Batory, D. Kitchin, and W. R. Cook. Safe Composition of Product Lines. In Proc. of GPCE, pages 95-104. ACM, 2007.
31. D. Ungar, C. Chambers, B.-W. Chang, and U. Hölzle. Organizing Programs Without Classes. Lisp and Symbolic Computation, 4(3):223-242, July 1991.