Safe composition of product lines

GPCE'07 - Proceedings of the Sixth International Conference on Generative Programming and Component Engineering

Volumn , Issue , 2007, Pages 95-104

  Thaker, Sahil ^a   Batory, Don ^b   Kitchin, David ^b   Cook, William ^b  

^a MICROSOFT   (United States)

^b University of Texas at Austin   (United States)

Author keywords

Compositional programming; Features; Product lines; SAT solvers

Indexed keywords

CONSTRAINT THEORY; FEATURE EXTRACTION; SECURITY OF DATA; SOFTWARE ENGINEERING;

COMPOSING MODULES; IMPLEMENTATION CONSTRAINTS;

COMPUTER PROGRAMMING;

EID: 38849084509     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1289971.1289989     Document Type: Conference Paper

References (55)

1. M. Anastasopoulos and D. Muting. "An Evaluation of Aspect-Oriented Programming as a Product Line Implementation Technology". ICSR 2004.
2. D. Ancona, et al. "True Separate Compilation of Java Classes", PPDP 2002.
3. Apache Ant Project, http://ant.apaohe.org/
4. I. Aracic, V. Gasiunas, M. Mezini, and K. Ostermann. "An Overview of CaesarJ", Journal of Aspect Oriented Development, 2006.
5. Argonne National Laboratory. "Otter: An Automated Deduction System", www-unix.mcs.anl.gov/AR/ottar/
6. D. Batory and S. O'Malley. "The Design and Implementation of Hierarchical Software Systems with Reusable Components", ACM TOSEM, October 1992.
7. D. Batory, B. Lofaso, and Y. Smaragdakis. "JTS: Tools for Implementing Domain-Specific Languages". 5th Int. Conference on Software Reuse, Victoria, Canada, June 1998.
8. D. Batory, Rich Cardone, and Y. Smaragdakis. "Object-Oriented Frameworks and Product Lines". Software Product Line Conference (SPLC), August 2000.
9. D. Batory, AHEAD Tool Suite, www.cs.utexas.edu/ users/schwartz/ATS.html.
10. D. Batory, J.N. Sarvela, and A. Rauschmayer. "Scaling StepWise Refinement", IEEE TSE, June 2004.
11. D. Batory. "Feature Models, Grammars, and Propositional Formulas", Software Product Line Conference (SPLC), September 2005.
12. D. Batory "Multi-Level Models in Model Driven Development, Product-Lines, and Metaprogramming", IBM Systems Journal, Vol. 45#3, 2006.
13. P. Clements. private correspondence 2005.
14. A. Colyer, A. Rashid, G. Blair. "On the Separation of Concerns in Program Families". Technical Report COMP-001-2004, Lancaster University, 2004.
15. T.H. Cormen, C.E. Leiserson, and R.L.Rivest. Introduction to Algorithms, MIT Press, 1990.
16. K. Czarnecki and U. Eisenecker. Generative Programming Methods, Tools, and Applications. Addison-Wesley, Boston, MA, 2000.
17. K. Czarnecki and K. Pietroszek. "Verification of Feature-Based Model Templates Against Well-Formedness OCL Constraints". GPCE 2006.
18. T.R. Dean and D.A. Lamb. "A Theory Model Core for Module Interconnection Languages". Conf. Centre For Advanced Studies on Collaborative Research, 1994.
19. M. Flatt, S. Krishnamurthi, and M. Felleisen. "Classes and Mixins", POPL 1998.
20. M. Flatt, S. Krishnamurthi, and M. Felleisen, "A Programmer's Reduction Semantics for Classes and Mixins". Formal Syntax and Semantics of Java, chapter 7, pages 241-269. Springer-Verlag, 1999.
21. K.D. Forbus and J. de Kleer, Building Problem Solvers, MIT Press 1993.
22. M. Fowler, Refactoring: Improving the Design of Existing Code. Addison-Wesley, 1999.
23. I. Godil and H.-A. Jacobsen, "Horizontal Decomposition of Prevayler". CASCON 2005.
24. J. Greenfield, K. Short, S. Cook, S. Kent, and J. Crupi. Software Factories: Assembling Applications with Patterns, models, Frameworks and Tools, Wiley, 2004.
25. I.M. Holland. "Specifying Reusable Components Using Contracts". ECOOP 1992.
26. S.S. Huang, D. Zook, and Y. Smaragdakis. "Statically Safe Program Generation with SafeGen", GPCE 2005.
27. A. Igarashi, B. Pierce, and P. Wadler, "Featherweight Java A Minimal Core Calculus for Java and GJ", OOPSLA 1999.
28. M. de Jong and J. Visser. "Grammars as Feature Diagrams". www.cs.uu.nl/wiki/Merijn/PaperGrammarsAsFeatureDiagrams, 2002.
29. K. Kang, S. Cohen, J. Hess, W. Nowak, and S. Peterson. "Feature-Oriented Domain Analysis (FODA) Feasibility Study". Technical Report, CMU/SEI-90TR-21, Nov. 1990.
30. K. Kang. private communication, 2005.
31. G. Kniesel, "Type-Safe Delegation for Run-Time Component Adaptation", ECOOP 1999.
32. E. Kohlbecker, D. P. Friedman, M. Felleisen, and B. Duba. "Hygienic Macro Expansion". SIGPLAN '86 ACM Conference on Lisp and Functional Programming, 151-161.
33. S. Krishnamurthi and K. Fisler. "Modular Verification of Collaboration-Based Software Designs", FSE 2001.
34. S. Krishnamurthi, K. Fisler, and M. Greenberg. "Verifying Aspect Advice Modularly", ACM SIGSOFT 2004.
35. V. Kulkarni, S. Reddy. "Separation of Concerns in Model-Driven Development", IEEE Software 2003.
36. R.E. Lopez-Herrejon and D. Batory. "A Standard Problem for Evaluating Product Line Methodologies", GCSE 2001, September 9-13, 2001, Erfurt, Germany.
37. R.E. Lopez-Herrejon and D. Batory. "Using Hyper/J to implement Product Lines: A Case Study", Dept. Computer Sciences, Univ. Texas at Austin, 2002.
38. J. Liu, D. Batory, and C. Lengauer, "Feature Oriented Refactoring of Legacy Applications", ICSE 2006, Shanghai, China.
39. C. McManus, The Basics of Java Class Loaders, www.java-world.com/ javaworld/jw-10-1996/jw-10-indapth.html
40. M. Odersky, et al. An Overview of the Scala Programming Language. September (2004), scala.apfl.ch
41. H. Ossher and P. Tarr. "Multi-dimensional Separation of Concerns and the Hyperspace Approach," In Software Architectures and Component Technology, Kluwer, 2002.
42. D.L. Parnas, "On the Design and Development of Program Families", IEEE TSE, March 1976.
43. K. Pohl, G. Bockle, and F v.d. Linden. Software Product Line Engineering: Foundations, Principles and Techniques, Springer 2005.
44. Prevaler Project, www.prevayler.org/.
45. R. Prieto-Diaz and J. Neighbors. "Module Interconnection Languages". Journal of Systems and Software 1986.
46. SAT4J Satisfiability Solver, www.sat4j.org/
47. M. Shaw and D. Garlan. Perspective on an Emerging Discipline: Software Architecture. Prentice Hall, 1996.
48. Specware, www.specware.org.
49. R. Strnisza and M. Parkinson, "Lightweight Java: A Fully-Formalized, Extensible Minimal Imperative Fragment of Java", http://www.cl.cam.ac.uk/ rs456/lj/
50. J. Sztipanovits and G. Karsai. "Model Integrated Computing". IEEE Computer, April 1997.
51. W Taha and T. Sheard. "Multi-Stage Programming with Explicit Annotations", Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM), 1997.
52. S. Thaker. "Design and Analysis of Multidimensional Program Structures", M.Sc. Thesis, Department of Computer Sciences, The University of Texas at Austin, 2006.
53. M. VanHilst and D. Notkin. "Using C++ Templates to Implement Role-Based Designs", JSSST Int. Symp. on Object Technologies for Advanced Software. Springer Verlag, 1996.
54. E. Wagner. "Algebraic Specifications: Some Old History and New Thoughts", Nordic Journal of Computing, Vol #9, Issue #4, 2002.
55. N. Wirth. "Program Development by Stepwise Refinement", CACM 14 #4, 221-227, 1971.