Abstract
The relationship between feature modules and feature interactions is not well-understood. To explain classic examples of feature interaction, we show that features are not only composed sequentially, but also by cross-product and interaction operations that heretofore were implicit in the literature. Using the Colored IDE (CIDE) tool as our starting point, we (a) present a formal model of these operations, (b) show how it connects and explains previously unrelated results in Feature Oriented Software Development (FOSD), and (c) describe a tool, based on our formalism, that demonstrates how changes in composed documents can be back-propagated to their original feature module definitions, thereby improving FOSD tooling.
- A. Aho, M. S. Lam, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools Second Edition. pearson Education, 2006. Google Scholar
Digital Library
- S. Apel and C. Kästner. An overview of feature-oriented software development. Journal of Object Technology, July-August 2009.Google Scholar
- S. Apel, C. Kästner, and D. Batory. Aspectual feature modules. ACM TSE, 2008. Google Scholar
Digital Library
- S. Apel, C. Kastner, and C. Lengauer. Featurehouse: Language-independent, automated software composition. In ICSE, 2009. Google Scholar
Digital Library
- S. Apel, C. Lengauer, B. Möller, and C. Kästner. An algebraic foundation for automatic feature-based program synthesis. Science of Computer Programming, pages 1022--1047, 2010. Google Scholar
Digital Library
- S. Apel, W. Scholz, C. Lengauer, and C. Kästner. Detecting dependences and interactions in feature-oriented design. In ISSRE, 2010. Google Scholar
Digital Library
- P. Bassett. Frame-based software engineering. IEEE Software, 4(4), 1987. Google Scholar
Digital Library
- D. Batory. Feature Models, Grammars, and Propositional Formulas. In SPLC, Sept. 2005. Google Scholar
Digital Library
- D. Batory, J. Sarvela, and A. Rauschmayer. Scaling Step-Wise Refinement. IEEE TSE, June 2004. Google Scholar
Digital Library
- M. Calder, M. Kolberg, E. H. Magill, and S. Reiff-Marganiec. Feature interaction: A critical review and considered forecast. In Computer Networks, 2002. Google Scholar
Digital Library
- D. Clarke, M. Helvensteijn, and I. Schaefer. Abstract delta modeling. In GPCE, 2010. Google Scholar
Digital Library
- K. Czarnecki and M. Antkiewicz. Mapping features to models: A template approach based on superimposed variants. In GPCE, 2005. Google Scholar
Digital Library
- B. Delaware, W. Cook, and D. Batory. Theorem proving for product lines. In OOPSLA/SPLASH, 2011.Google Scholar
- Z. Diskin. Algebraic models for bidirectional model synchronization. In MoDELS, 2008. Google Scholar
Digital Library
- J. N. Foster, M. Greenwald, J. T. Moore, B. C. Pierce, and A. Schmitt. Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. In POPL, 2005. Google Scholar
Digital Library
- C. Ghezzi, M. Jazayeri, and D. Mandrioli. Fundamentals of Software Engineering. Prentice Hall, 2002. Google Scholar
Digital Library
- E. International. Office open XML file formats, 2nd Edition. http://www.ecma-international.org/publications/standards/Ecma-376.htm, 2008.Google Scholar
- M. Jackson and P. Zave. Distributed feature composition: A virtual architecture for telecommunications services. IEEE TSE, Oct 1998. Google Scholar
Digital Library
- K. Kang. Private Correspondence, Oct. 2003.Google Scholar
- K. Kang, S. Cohen, J. Hess, W. Novak, and A. Peterson. Feature-oriented domain analysis (foda) feasibility study. Carnegie Mellon University/SEI-90-TR-021, 1990.Google Scholar
- C. Kästner. Virtual Separation of Concerns: Toward Preprocessors 2.0. PhD thesis, University of Magdeburg, 2010.Google Scholar
- C. Kästner, S. Apel, and M. Kuhlemann. Granularity in software product lines. In ICSE, 2008.Google Scholar
Digital Library
- C. Kästner and et al. On the impact of the optional feature problem: Analysis and case studies. In SPLC, 2009.Google Scholar
- C. H. P. Kim, C. Kästner, and D. Batory. On the modularity of feature interactions. In GPCE, 2008. Google Scholar
Digital Library
- J. Kim. Paan: A Tool for Back-Propagating Changes to Projected Documents. M.Sc. Thesis, The University of Texas at Austin, 2011.Google Scholar
- J. Liu, D. Batory, and C. Lengauer. Feature Oriented Refactoring of Legacy Applications. In ICSE, 2006. Google Scholar
Digital Library
- J. Liu, D. Batory, and S. Nedunuri. Modeling interactions in feature oriented designs. In Int. Conf. on Feature Interactions, 2005.Google Scholar
- R. Lopez-Herrejon, D. Batory, and C. Lengauer. A Disciplined Approach to Aspect Composition. In PEPM, 2006. Google Scholar
Digital Library
- W. McCune. Prover9 and Mace4. http://www.cs.unm.edu/~mccune/prover9/, 2010.Google Scholar
- C. Prehofer. Feature Oriented Programming: A Fresh Look at Objects. In ECOOP, 1997.Google Scholar
Cross Ref
- Automatic generation of word document variants. http://www.pure-systems.com/flash/pv-wordintegration/flash.html, 2010.Google Scholar
- R. Rabiser and et al. A Flexible Approach for Generating Product-Specific Documents in Product Lines. In SPLC, 2010. Google Scholar
Digital Library
- D. Roundy. Darcs: Distributed version management in haskell. In Workshop on Haskell, 2005. Google Scholar
Digital Library
- I. Schaefer, L. Bettini, F. Damiani, and N. Tanzarella. Delta-oriented programming of software product lines. In SPLC, 2010. Google Scholar
Digital Library
Index Terms
Feature interactions, products, and composition
Recommendations
Feature interactions, products, and composition
GPCE '11: Proceedings of the 10th ACM international conference on Generative programming and component engineeringThe relationship between feature modules and feature interactions is not well-understood. To explain classic examples of feature interaction, we show that features are not only composed sequentially, but also by cross-product and interaction operations ...
Feature-interaction detection based on feature-based specifications
Formal specification and verification techniques have been used successfully to detect feature interactions. We investigate whether feature-based specifications can be used for this task. Feature-based specifications are a special class of ...
Leveraging Feature Similarity for Earlier Detection of Unwanted Feature Interactions in Evolving Software Product Lines
Similarity Search and ApplicationsAbstractSoftware product lines enable reuse of shared software across a family of products. As new products are built in the product line, new features are added. The features are units of functionality that provide services to users. Unwanted feature ...







Comments