Abstract delta modeling

GPCE'10 - Proceedings of the 2010 Conference on Generative Programming and Component Engineering

Volumn , Issue , 2010, Pages 13-22

  Clarke, Dave ^a   Helvensteijn, Michiel ^b   Schaefer, Ina ^c  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b LEIDEN UNIVERSITY   (Netherlands)

^c CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Automated product derivation; Conflict resolution; Delta modeling; Software product lines

Indexed keywords

CONFLICT RESOLUTION; CORE PRODUCTS; DELTA MODELING; PRODUCT DERIVATION; PRODUCT GENERATION; SOFTWARE PRODUCT LINE;

AUTOMATION;

ABSTRACTING;

EID: 78650113528     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1868294.1868298     Document Type: Conference Paper

References (45)

1. Highly Adaptable and Trustworthy Software using Formal Methods (HATS), March 2009. http://www.hats-project.eu.
2. S. Apel, C. Kästner, and C. Lengauer. FeatureHouse: Language-independent, automated software composition. In ICSE, pages 221-231, 2009.
3. S. Apel, T. Leich, and G. Saake. Aspectual feature modules. IEEE Trans. Software Eng., 34(2): 162-180, 2008.
4. S. Apel, C. Lengauer, B. Möller, and C. Kästner. An algebraic foundation for automatic feature-based program synthesis. Science of Computer Programming (SCP), 2010. To appear.
5. S. Apel, C. Kästner, and D.S. Batory. Program refactoring using functional aspects. In GPCE, pages 161-170, 2008.
6. D.S. Batory and S.W. O'Malley. The design and implementation of hierarchical software systems with reusable components. ACM Trans. Softw. Eng. Methodol., 1(4):355-398, 1992.
7. D.S. Batory, J. Sarvela, and A. Rauschmayer. Scaling Step-Wise Refinement. IEEE Trans. Software Eng., 30(6), 2004.
8. D.S. Batory and D. Smith. Finite map spaces and quarks: Algebras of program structure. Technical Report TR-07-66, University of Texas at Austin, Dept. of Computer Sciences, 2007.
9. L. Bettini, F. Damiani, and I. Schaefer. Implementing Software Product Lines using Traits. In Proc. of Object-Oriented Programming Languages and Systems (OOPS), Track of ACM SAC, 2010.
10. G. Bracha. Executable Grammars in Newspeak. ENTCS, 193:3-18, 2007.
11. D. Clarke, M. Helvensteijn, and I. Schaefer. Abstract delta modeling. Technical Report CW592, Dept. Computer Sciences, Katholieke Universiteit Leuven, August 2010.
12. P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison Wesley Longman, 2001.
13. K. Czarnecki and M. Antkiewicz. Mapping Features to Models: A Template Approach Based on Superimposed Variants. In Conf. on Generative Programming and Component Engineering(GPCE), 2005.
14. S. Deelstra, M. Sinnema, and J. Bosch. Product Derivation in Software Product Families: A Case Study. Journal of Systems and Software, 74(2):173-194, 2005.
15. S. Ducasse, O. Nierstrasz, N. Schärli, R. Wuyts, and A. Black. Traits: A mechanism for fine-grained reuse. ACM TOPLAS, 28(2), 2006.
16. Ø. Haugen, B. Møller-Pedersen, J. Oldevik, G. Olsen, and A. Svend-sen. Adding Standardized Variability to Domain Specific Languages. In SPLC, 2008.
17. F. Heidenreich and C. Wende. Bridging the Gap Between Features and Models. In Aspect-Oriented Product Line Engineering (AOPLE'07), 2007.
18. P. Heymans, P.Y. Schobbens, J.C. Trigaux, Y. Bontemps, R. Matulevicius, and A. Classen. Evaluating formal properties of feature diagram languages. Software, IET, 2(3):281-302, 2008.
19. J. Jacobson. A formalization of Darcs patch theory using inverse semigroups. Technical Report CAM report 09-83, UCLA, 2009.
20. K.C. Kang, S. Cohen, J. Hess, W Nowak, and S. Peterson. Feature-Oriented domain analysis (FODA) feasibility study. Technical Report CMU/SEI-90-TR-021, Carnegie Mellon University Software Engineering Institute, 1990.
21. C. Kästner and S. Apel. Type-Checking Software Product Lines - A Formal Approach. In ASE, pages 258-267. IEEE, 2008.
22. C. Kästner, S. Apel, and D.S. Batory. A Case Study Implementing Features Using AspectJ. In SPLC, pages 223-232. IEEE, 2007.
23. C. Kästner, S. Apel, and M. Kuhlemann. Granularity in software product lines. In ICSE, pages 311-320, 2008.
24. C. Kästner, S. Apel, S.S. ur Rahman, M. Rosenmüller, D.S. Batory, and G. Saake. On the impact of the optional feature problem: Analysis and case studies. In Proc. Int'l Software Product Line Conference (SPLC). SEI, 2009.
25. C.W. Krueger. New Methods in Software Product Line Development. In SPLC, pages 95-102, 2006.
26. J. Liu, D.S. Batory, and C. Lengauer. Feature oriented refactoring of legacy applications. In ICSE, pages 112-121, 2006.
27. R.E. Lopez-Herrejon, D.S. Batory, and WR. Cook. Evaluating Support for Features in Advanced Modularization Technologies. In ECOOP, volume 3586 of LNCS, pages 169-194. Springer, 2005.
28. N. Loughran and A. Rashid. Framed aspects: Supporting variability and configurability for AOP. In ICSR, volume 3107 of LNCS, pages 127-140. Springer, 2004.
29. T. Mens, G. Taentzer, and O. Runge. Detecting structural refactoring conflicts using critical pair analysis. Electr. Notes Theor. Comput. Sci., 127(3):113-128, 2005.
30. M. Mezini and K. Ostermann. Variability management with feature-oriented programming and aspects. In SIGSOFT FSE, pages 127-136. ACM, 2004.
31. N. Noda and T. Kishi. Aspect-Oriented Modeling for Variability Management. In SPLC, 2008.
32. M. Odersky. The Scala Language Specification, version 2.4. Technical report, Programming Methods Laboratory, EPFL, 2007.
33. J. Oldevik, Ø. Haugen, and B. Møller-Pedersen. Confluence in domain-independent product line transformations. In EASE, pages 34-48, 2009.
34. G. Perrouin, J. Klein, N. Guelfi, and J.-M. Jézéquel. Reconciling Automation and Flexibility in Product Derivation. In SPLC, 2008.
35. K. Pohl, G. Böckle, and F. Van Der Linden. Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg, 2005.
36. C. Prehofer. Feature-oriented programming: A fresh look at objects. In ECOOP, volume 1241 of LNCS, pages 419-443. Springer, 1997.
37. S. Trujillo S. Apel, F. Janda and C. Kästner. Model Superimposition in Software Product Lines. In International Conference on Model Transformation (ICMT), 2009.
38. I. Schaefer. Variability Modelling for Model-Driven Development of Software Product Lines. In Intl. Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2010), 2010.
39. I. Schaefer, L. Bettini, V Bono, F. Damiani, and N. Tanzarella. Deltaoriented programming of software product lines. In Proceedings, 14th International Software Product Line Conference, Lecture Notes in Computer Science, Jeju, South Korea, 2010. Springer.
40. I. Schaefer, A. Worret, and A. Poetzsch-Heffter. A Model-Based Framework for Automated Product Derivation. In Proc. of Workshop in Model-based Approaches for Product Line Engineering (MAPLE 2009), 2009.
41. 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.
42. P. Tarr, H. Ossher, W. Harrison, and S.M Sutton Jr. N degrees of separation: multi-dimensional separation of concerns. In ICSE, pages 107-119, 1999.
43. A. van Deursen and P. Klint. Domain-specific language design requires feature descriptions. Journal of Computing and Information Technology, 10(1): 1-18, 2002.
44. M. Völter and I. Groher. Product Line Implementation using Aspect-Oriented and Model-Driven Software Development. In SPLC, pages 233-242, 2007.
45. H. Zhang and S. Jarzabek. An XVCL-based Approach to Software Product Line Development. In Software Engineering and Knowledge Engineering, pages 267-275, 2003.