More Web Proxy on the site http://driver.im/

research-article

Exploring feature interactions in the wild: the new feature-interaction challenge

Authors:

Sergiy Kolesnikov,

Norbert Siegmund,

Christian Kästner,

Brady GarvinAuthors Info & Claims

FOSD '13: Proceedings of the 5th International Workshop on Feature-Oriented Software Development

Pages 1 - 8

https://doi.org/10.1145/2528265.2528267

Published: 26 October 2013 Publication History

Abstract

The feature-interaction problem has been keeping researchers and practitioners in suspense for years. Although there has been substantial progress in developing approaches for modeling, detecting, managing, and resolving feature interactions, we lack sufficient knowledge on the kind of feature interactions that occur in real-world systems. In this position paper, we set out the goal to explore the nature of feature interactions systematically and comprehensively, classified in terms of order and visibility. Understanding this nature will have significant implications on research in this area, for example, on the efficiency of interaction-detection or performance-prediction techniques. A set of preliminary results as well as a discussion of possible experimental setups and corresponding challenges give us confidence that this endeavor is within reach but requires a collaborative effort of the community.

References

[1]

S. Apel, D. Batory, C. Kästner, and G. Saake. Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, 2013. To appear.

Digital Library

[2]

S. Apel and C. Kästner. An overview of feature-oriented software development. Journal of Object Technology (JOT), 8(5): 49--84, 2009.

[3]

S. Apel, T. Leich, and G. Saake. Aspectual feature modules. IEEE Transactions on Software Engineering (TSE), 34(2): 162--180, 2008.

Digital Library

[4]

S. Apel, W. Scholz, C. Lengauer, and C. Kästner. Detecting dependences and interactions in feature-oriented design. In Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), pages 161--170. IEEE, 2010.

Digital Library

[5]

S. Apel, H. Speidel, P. Wendler, A. von Rhein, and D. Beyer. Detection of feature interactions using feature-aware verification. In Proceedings of the International Conference on Automated Software Engineering (ASE), pages 372--375. IEEE, 2011.

Digital Library

[6]

S. Apel, A. von Rhein, T. Thüm, and C. Kästner. Feature-interaction detection based on feature-based specifications. Computer Networks, 57(12): 2399--2409, 2013.

Digital Library

[7]

S. Apel, A. von Rhein, P. Wendler, A. Größlinger, and D. Beyer. Strategies for product-line verification: Case studies and experiments. In Proceedings of the International Conference on Software Engineering (ICSE), pages 482--491. IEEE, 2013.

Digital Library

[8]

D. Batory, P. Höfner, and J. Kim. Feature interactions, products, and composition. In Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE), pages 13--22. ACM, 2011.

Digital Library

[9]

D. Batory, J. Sarvela, and A. Rauschmayer. Scaling step-wise refinement. IEEE Transactions on Software Engineering (TSE), 30(6): 355--371, 2004.

Digital Library

[10]

J. Blom, B. Jonsson, and L. Kempe. Using temporal logic for modular specification of telephone services. In Feature Interactions in Telecommunications Systems, pages 197--216. IOS Press, 1994.

[11]

T. Bowen, F. Dworack, C. Chow, N. Griffeth, G. Herman, and Y.-J. Lin. The feature interaction problem in telecommunications systems. In Proceedings of the International Conference on Software Engineering for Telecommunication Switching Systems (SETSS), pages 59--62. IEEE, 1989.

[12]

G. Bruns. Foundations for features. In Feature Interactions in Telecommunications and Software Systems VIII, pages 3--11. IOS Press, 2005.

[13]

G. Bruns, P. Mataga, and I. Sutherland. Features as service transformers. In Feature Interactions in Telecommunications Systems V, pages 85--97. IOS Press, 1998.

[14]

M. Calder, M. Kolberg, E. Magill, and S. Reiff-Marganiec. Feature interaction: A critical review and considered forecast. Computer Networks, 41(1): 115--141, 2003.

Digital Library

[15]

M. Calder and A. Miller. Feature interaction detection by pairwise analysis of LTL properties: A case study. Formal Methods in System Design, 28(3): 213--261, 2006.

Digital Library

[16]

R. Crespo, M. Carvalho, and L. Logrippo. Distributed resolution of feature interactions for Internet applications. Computer Networks, 51(2): 382--397, 2007.

Digital Library

[17]

K. Czarnecki and U. Eisenecker. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, 2000.

Digital Library

[18]

A. Dominguez. Detection of Feature Interactions in Automotive Active Safety Features. PhD thesis, University of Waterloo, 2012.

[19]

R. Donaldson and M. Calder. Modular modelling of signalling pathways and their cross-talk. Theoretical Computer Science, 456(0): 30--50, 2012.

Digital Library

[20]

A. Felty and K. Namjoshi. Feature specification and automated conflict detection. ACM Transactions on Software Engineering and Methodology (TOSEM), 12(1): 3--27, 2003.

Digital Library

[21]

B. Garvin and M. Cohen. Feature interaction faults revisited: An exploratory study. In Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), pages 90--99. IEEE, 2011.

Digital Library

[22]

N. Griffeth and H. Velthuijsen. The negotiating agents approach to runtime feature interaction resolution. In Feature Interactions in Telecommunications Systems, pages 217--235. IOS Press, 1994.

[23]

R. Hall. Fundamental nonmodularity in electronic mail. Automated Software Engineering, 12(1): 41--79, 2005.

Digital Library

[24]

T. Härder and A. Reuter. Principles of transaction-oriented database recovery. ACM Computing Surveys, 15(4): 287--317, 1983.

Digital Library

[25]

J. Hay and J. Atlee. Composing features and resolving interactions. In Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE), pages 110--119. ACM, 2000.

Digital Library

[26]

M. Jackson and P. Zave. Distributed feature composition: A virtual architecture for telecommunications services. IEEE Transactions on Software Engineering (TSE), 24(10): 831--847, 1998.

Digital Library

[27]

P. Jayaraman, J. Whittle, A. Elkhodary, and H. Gomaa. Model composition in product lines and feature interaction detection using critical pair analysis. In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS), LNCS 4735, pages 151--165. Springer, 2007.

Digital Library

[28]

M. Johansen, Ø. Haugen, F. Fleurey, E. Carlson, J. Endresen, and T. Wien. A technique for agile and automatic interaction testing for product lines. In Testing Software and Systems, LNCS 7641, pages 39--54. Springer, 2012.

[29]

C. Kästner, S. Apel, and K. Ostermann. The road to feature modularity? In Proceedings of the International Workshop on Feature-Oriented Software Development (FOSD), pages 5:1--5:8. ACM, 2011.

Digital Library

[30]

C. Kästner, S. Apel, S. ur Rahman, M. Rosenmüller, D. Batory, and G. Saake. On the impact of the optional feature problem: Analysis and case studies. In Proceedings of the International Software Product Line Conference (SPLC), pages 181--190. Software Engineering Institute, 2009.

Digital Library

[31]

G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP), LNCS 1241, pages 220--242. Springer, 1997.

[32]

C. Kim, C. Kästner, and D. Batory. On the modularity of feature interactions. In Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE), pages 23--34. ACM, 2008.

Digital Library

[33]

D. Kuhn, D. Wallace, and A. Gallo, Jr. Software fault interactions and implications for software testing. IEEE Transactions on Software Engineering (TSE), 30(6): 418--421, 2004.

Digital Library

[34]

K. Lee, K. Kang, M. Kim, and S. Park. Combining feature-oriented analysis and aspect-oriented programming for product line asset development. In Proceedings of the International Software Product Line Conference (SPLC), pages 103--112. IEEE, 2006.

Digital Library

[35]

C. Lengauer and S. Apel. Feature-oriented system design and engineering. International Journal of Software and Informatics (IJSI), 5(1--2, Part II): 231--244, 2011. Special Issue on Foundations and Practice of Systems and Software Engineering, Festschrift in Honor of Manfred Broy.

[36]

H. Li, S. Krishnamurthi, and K. Fisler. Verifying Cross-Cutting Features as Open Systems. In Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE), pages 89--98. ACM, 2002.

Digital Library

[37]

J. Liebig, S. Apel, C. Lengauer, C. Kästner, and M. Schulze. An analysis of the variability in forty preprocessor-based software product lines. In Proceedings of the International Conference on Software Engineering (ICSE), pages 105--114. ACM, 2010.

Digital Library

[38]

J. Liebig, A. von Rhein, C. Kästner, S. Apel, J. Dörre, and C. Lengauer. Scalable analysis of variable software. In Proceedings of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pages 81--91. ACM, 2013.

Digital Library

[39]

F. Lin and Y.-J. Lin. A building block approach to detecting and resolving feature interactions. In Feature Interactions in Telecommunications Systems, pages 86--119. IOS Press, 1994.

[40]

J. Liu, D. Batory, and C. Lengauer. Feature oriented refactoring of legacy applications. In Proceedings of the International Conference on Software Engineering (ICSE), pages 112--121. ACM, 2006.

Digital Library

[41]

C. Mohan. Interactions between query optimization and concurrency control. In Proceedings of the International Workshop on Research Issues on Data Engineering: Transaction and Query Processing (RIDE-TQP), pages 26--35. IEEE, 1992.

[42]

A. Nhlabatsi, R. Laney, and B. Nuseibeh. Feature interaction: The security threat from within software systems. Progress in Informatics, 5: 75--89, 2008.

[43]

K. Ostermann, P. Giarrusso, C. Kästner, and T. Rendel. Revisiting information hiding: Reflections on classical and nonclassical modularity. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP), LNCS 6813, pages 155--178, 2011.

Digital Library

[44]

K. Pomakis and J. Atlee. Reachability analysis of feature interactions: A progress report. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pages 216--223. ACM, 1996.

Digital Library

[45]

C. Prehofer. Feature-oriented programming: A fresh look at objects. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP), LNCS 1241, pages 419--443. Springer, 1997.

[46]

T. Repasi, S. Giessl, and C. Prehofer. Using model-checking for the detection of non-functional feature interactions. In Proceedings of the International Conference on Intelligent Engineering Systems (INES), pages 167--172. IEEE, 2012.

[47]

M. Rosenmüller, S. Apel, T. Leich, and G. Saake. Tailor-made data management for embedded systems: A case study on Berkeley DB. Data & Knowledge Engineering (DKE), 68(12): 1493--1512, 2009.

Digital Library

[48]

N. Siegmund, S. Kolesnikov, C. Kästner, S. Apel, D. Batory, M. Rosenmüller, and G. Saake. Predicting performance via automated feature-interaction detection. In Proceedings of the International Conference on Software Engineering (ICSE), pages 167--177. IEEE, 2012.

Digital Library

[49]

N. Siegmund, M. Rosenmüller, C. Kästner, P. Giarrusso, S. Apel, and S. Kolesnikov. Scalable prediction of non-functional properties in software product lines: Footprint and memory consumption. Information & Software Technology (IST), 55(3): 491--507, 2013.

Digital Library

[50]

T. Thüm, S. Apel, C. Kästner, M. Kuhlemann, I. Schaefer, and G. Saake. Analysis strategies for software product lines. Technical Report FIN-004-2012, University of Magdeburg, 2012.

[51]

S. Tsang and E. Magill. Learning to detect and avoid run-time feature interactions in intelligent networks. IEEE Transactions on Software Engineering (TSE), 24(10): 818--830, 1998.

Digital Library

[52]

G. Utas. A pattern language of feature interaction. In Feature Interactions in Telecommunications Systems V, pages 98--114. IOS Press, 1998.

[53]

R. van der Linden. Using an architecture to help beat feature interaction. In Feature Interactions in Telecommunications Systems, pages 24--35. IOS Press, 1994.

[54]

M. Weiss and B. Esfandiari. On feature interactions among web services. International Journal of Web Services Research (IJWSR), 2(4): 22--47, 2005.

[55]

M. Weiss, B. Esfandiari, and Y. Luo. Towards a classification of web service feature interactions. Computer Networks, 51(2): 359--381, 2007.

Digital Library

[56]

C. Yilmaz, M. Cohen, and A. Porter. Covering arrays for efficient fault characterization in complex configuration spaces. IEEE Transactions on Software Engineering (TSE), 32(1): 20--34, 2006.

Digital Library

[57]

P. Zave. Modularity in Distributed Feature Composition. In Software Requirements and Design: The Work of Michael Jackson, pages 267--290. Good Friends Publishing, 2010.

Cited By

Weis KTeixeira LDubslaff CApel SFilkov VRay BZhou M(2024)Blackbox Observability of Features and Feature InteractionsProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695490(1120-1132)Online publication date: 27-Oct-2024
https://dl.acm.org/doi/10.1145/3691620.3695490
Grünbacher PNeuwirth M(2024)Towards Feature-based Versioning for Musicological ResearchProceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3634713.3634723(77-82)Online publication date: 7-Feb-2024
https://dl.acm.org/doi/10.1145/3634713.3634723
Eisenecker UMüller R(2024)Software product lines and features from the perspective of set theory with an application to feature locationJournal of Systems and Software10.1016/j.jss.2023.111938210:COnline publication date: 1-Apr-2024
https://dl.acm.org/doi/10.1016/j.jss.2023.111938
Show More Cited By

Index Terms

Exploring feature interactions in the wild: the new feature-interaction challenge
1. Software and its engineering
  1. Software notations and tools
    1. Context specific languages
      1. Domain specific languages
    2. Software configuration management and version control systems

Recommendations

On the relation between internal and external feature interactions in feature-oriented product lines: a case study
FOSD '14: Proceedings of the 6th International Workshop on Feature-Oriented Software Development

The feature-interaction problem has been explored for many years. Still, we lack sufficient knowledge about the interplay of different kinds of interactions in software product lines. Exploring the relations between different kinds of feature ...
Living with feature interactions (keynote)
ESEC/FSE 2019: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Feature-oriented software development enables rapid software creation and evolution, through incremental and parallel feature development or through product line engineering. However, in practice, features are often not separate concerns. They behave ...
Behaviour interactions among product-line features
SPLC '14: Proceedings of the 18th International Software Product Line Conference - Volume 1

A software product line (SPL) is often constructed as a set of features, such that individual products can be assembled from a set of common features and a selection of optional features. Although features are conceptualized, developed, and evolved as ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

FOSD '13: Proceedings of the 5th International Workshop on Feature-Oriented Software Development

October 2013

56 pages

ISBN:9781450321686

DOI:10.1145/2528265

Program Chairs:
Andreas Classen
Intec Software Engineering, BE
,
Norbert Siegmund
University of Passau, DE

Copyright © 2013 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 26 October 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Conference

FOSD '13

FOSD '13: 5th International Workshop on Feature-Oriented Software Development

October 26, 2013

Indiana, Indianapolis, USA

Acceptance Rates

FOSD '13 Paper Acceptance Rate 6 of 8 submissions, 75%;

Overall Acceptance Rate 17 of 28 submissions, 61%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

67
Total Citations
View Citations
422
Total Downloads

Downloads (Last 12 months)29
Downloads (Last 6 weeks)3

Reflects downloads up to 30 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Weis KTeixeira LDubslaff CApel SFilkov VRay BZhou M(2024)Blackbox Observability of Features and Feature InteractionsProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695490(1120-1132)Online publication date: 27-Oct-2024
https://dl.acm.org/doi/10.1145/3691620.3695490
Grünbacher PNeuwirth M(2024)Towards Feature-based Versioning for Musicological ResearchProceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3634713.3634723(77-82)Online publication date: 7-Feb-2024
https://dl.acm.org/doi/10.1145/3634713.3634723
Eisenecker UMüller R(2024)Software product lines and features from the perspective of set theory with an application to feature locationJournal of Systems and Software10.1016/j.jss.2023.111938210:COnline publication date: 1-Apr-2024
https://dl.acm.org/doi/10.1016/j.jss.2023.111938
Peng ZDahiya MKhalil TNiu NBhowmik TYang Y(2023)Resource-Centric Goal Model Slicing for Detecting Feature Interactions2023 IEEE 24th International Conference on Information Reuse and Integration for Data Science (IRI)10.1109/IRI58017.2023.00018(58-63)Online publication date: Aug-2023
https://doi.org/10.1109/IRI58017.2023.00018
Priyadarshini Greiner SMassierer MAktouf O(2023)Feature-based software architecture analysis to identify safety and security interactions2023 IEEE 20th International Conference on Software Architecture (ICSA)10.1109/ICSA56044.2023.00010(12-22)Online publication date: Mar-2023
https://doi.org/10.1109/ICSA56044.2023.00010
Radeev N(2023)Approach to Research Feature Interactions2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM)10.1109/EDM58354.2023.10225150(1720-1724)Online publication date: 29-Jun-2023
https://doi.org/10.1109/EDM58354.2023.10225150
Munoz DPinto MFuentes L(2023)Detecting feature influences to quality attributes in large and partially measured spaces using smart sampling and dynamic learningKnowledge-Based Systems10.1016/j.knosys.2023.110558270:COnline publication date: 21-Jun-2023
https://dl.acm.org/doi/10.1016/j.knosys.2023.110558
Marinho EFerreira FDiniz JFigueiredo E(2023)Evaluating testing strategies for resource related failures in mobile applicationsSoftware Quality Journal10.1007/s11219-023-09627-331:4(1121-1147)Online publication date: 21-Apr-2023
https://doi.org/10.1007/s11219-023-09627-3
Kaltenecker CMühlbauer SGrebhahn ASiegmund NApel S(2023)Performance evolution of configurable software systems: an empirical studyEmpirical Software Engineering10.1007/s10664-023-10338-328:6Online publication date: 13-Nov-2023
https://doi.org/10.1007/s10664-023-10338-3
Korsman DDamasceno CStrüber DFelfernig AFuentes L(2022)A tool for analysing higher-order feature interactions in preprocessor annotations in C and C++ projectsProceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B10.1145/3503229.3547027(70-73)Online publication date: 12-Sep-2022
https://dl.acm.org/doi/10.1145/3503229.3547027
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten