Detecting feature interactions in SPL requirements analysis models

ACM International Conference Proceeding Series

Volumn , Issue , 2009, Pages 117-133

  Alférez, Mauricio ^a   Moreira, Ana ^a   Kulesza, Uirá ^b   Araújo, João ^a   Mateus, Ricardo ^a   Amaral, Vasco ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b FEDERAL UNIVERSITY OF RIO GRANDE DO NORTE   (Brazil)

Author keywords

Feature interactions; Software product lines requirements

Indexed keywords

ACTIVITY MODELS; COMPLEX MODEL; COMPLEX SYSTEMS; CORRECTIVE ACTIONS; CRITICAL SOFTWARE; EARLY DETECTION; END-USER VIEWS; FEATURE INTERACTIONS; HIGHER-LEVEL ABSTRACTION; HOME AUTOMATION; MODEL-BASED; NON-TRIVIAL TASKS; POTENTIAL FEATURES; REQUIREMENTS ANALYSIS; REQUIREMENTS MODELS; SOFTWARE PRODUCT LINES; SOFTWARE PRODUCT LINES REQUIREMENTS; STRUCTURAL COMPONENT; USE CASE MODEL; USE CASE SCENARIO;

NETWORK ARCHITECTURE; OBJECT ORIENTED PROGRAMMING; SHEAR DEFORMATION; SOFTWARE DESIGN;

COMPUTER SOFTWARE;

EID: 70350675549     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1629716.1629738     Document Type: Conference Paper

References (15)

1. Metzger, A. Feature Interactions in Embedded Control Systems. Comput. Netw., 45 (5): 625-644, 2004.
2. Combes, P. and Pickin, S. Formalisation of a User View of Network and Services for Feature Interaction Detection. In Feature Interactions in Telecomunications Systems, pages 120-135, Amsterdam, The Netherlands, 1994. IOS Press.
3. Classen, A. Problem Oriented Modelling and Verification of Software Product Lines. Masters Thesis, University of Namur (FUNDP), Namur, Belgium, 2007.
4. Nhlabatsi, A., Laney, R. and Nuseibeh, B. Feature Interaction as a Context Sharing Problem. In 10 Int. Conf. on Feature Interactions, Lisbon, Portugal, 2009. IOS Press.
5. Jayaraman, P., Whittle, J., Elkhodary, A. and Gomaa, H. Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis. In 10 Int. Conf. on Model-Driven Languages and Systems, volume 4735, pages 151-165, Nashville, USA, 2007. Springer.
6. Xuan, H. and Xu, J. Web Services Feature Interaction Detection Based on Graph Transformation - A New Interaction Detection Method. In Feature Interactions in Software and Comunication Systems X, Lisbon, Portugal, 2009. IOS Press.
7. Mehner, K., Monga, M. and Taentzer, G. Analysis of Aspect-Oriented Model Weaving. Transactions on Aspect-Oriented Software Development V, 5490: 235-263, 2009.
8. Apel, S., Janda, F., Trujillo, S. and Kästner, C. Model Superimposition in Software Product Lines. In Int. Conf. on Model Transformation, Zurich, Switzerland, 2009.
9. AMPLE. Ample Project, 2009. http://www.ample-project.net.
10. Morganho, H., et al. Requirement Specifications for Industrial Case Studies. AMPLE Project, D5.2, 2008.
11. Siemens AG - Research & Development, 2009. http://w1.siemens.com/ innovation/en/index.php.
12. nd Int. Conf. on Software Language Engineering, Denver, USA, 2009.
13. Khakpour, N., Sirjani, M. and Jalili, S. Formal Analysis of Smart Home Policies Using Compositional Verification. In Feature Interactions in Software and Communication Systems X, Lisbon, Portugal, 2009.
14. Nakamura, M., Igaki, H., Yoshimura, Y. and Ikegami, K. Considering Online Feature Interaction Detection and Resolution for Integrated Services in Home Network Systems. In Feature Interactions in Software and Communication Systems X, Lisbon, Portugal, 2009.
15. Taentzer, G. AGG: A Graph Transformation Environment for Modeling and Validation of Software. In AGTIVE, Virginia, USA, 2003.