Configuring software product line feature models based on stakeholders' soft and hard requirements

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6287 LNCS, Issue , 2010, Pages 16-31

  Bagheri, Ebrahim ^a   Di Noia, Tommaso ^a   Ragone, Azzurra ^a   Gasevic, Dragan ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMMONALITY AND VARIABILITY; CONCRETE DOMAINS; CONFIGURATION SPACE; CONFIGURING SOFTWARE; DOMAIN REQUIREMENTS; FEATURE MODELING; FEATURE MODELS; HARD CONSTRAINTS; HOLISTIC APPROACH; INTEGRITY CONSTRAINTS; MODEL CONFIGURATION; PROPOSITIONAL LOGIC; SEMI-AUTOMATED; SOFT CONSTRAINT; SOUNDNESS AND COMPLETENESS;

FORMAL LOGIC; NETWORK ARCHITECTURE;

SOFTWARE DESIGN;

EID: 78049389967     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15579-6_2     Document Type: Conference Paper

References (23)

1. Pohl, K., Böckle, G., Van der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg (2005)
2. Czarnecki, K., Helsen, S., Eisenecker, U.: Staged configuration using feature models. In: Nord, R. L. (ed.) SPLC 2004. LNCS, vol. 3154, pp. 266-283. Springer, Heidelberg (2004)
3. Kang, K., Lee, J., Donohoe, P.: Feature-oriented product line engineering. IEEE Software 19, 58-65 (2002)
4. Lopez-Herrejon, R., Batory, D.: A standard problem for evaluating product-line methodologies. In: Bosch, J. (ed.) GCSE 2001. LNCS, vol. 2186, pp. 10-24. Springer, Heidelberg (2001)
5. Mendonca, M., Wasowski, A., Czarnecki, K., Cowan, D.: Efficient compilation techniques for large scale feature models. In: International Conference on GPCE, pp. 13-22 (2008)
6. Wang, H., Li, Y., Sun, J., Zhang, H., Pan, J.: Verifying feature models using OWL. Web Semantics: Science, Services and Agents on the World Wide Web 5, 117-129 (2007)
7. Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7-20. Springer, Heidelberg (2005)
8. Ragone, A., Noia, T. D., Sciascio, E. D., Donini, F. M.: Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces. JAAMAS 16, 249-270 (2008)
9. Sommerville, I., Sawyer, P.: Viewpoints: principles, problems and a practical approach to requirements engineering. Annals of Software Engineering 3, 101-130 (1997)
10. Ausiello, G., Crescenzi, P., Kann, V., Marchetti-Sp, Gambosi, G., Spaccamela, A. M.: Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties (2003)
11. Papadimitriou, C., Steiglitz, K.: Combinatorial Optimization: algorithms and Complexity. Prentice-Hall, Inc., Englewood Cliffs (1982)
12. Mamdani, E.: Application of fuzzy logic to approximate reasoning using linguistic synthesis. In: Sixth International Symposium on Multiple-Valued Logic, pp. 196-202 (1976)
13. Yager, R., Filev, D.: Essentials of fuzzy modeling and control. John Wiley, Chichester (1994)
14. Schobbens, P., Heymans, P., Trigaux, J.: Feature diagrams: A survey and a formal semantics. In: 14th IEEE International Conference Requirements Engineering, pp. 139-148 (2006)
15. Janota, M., Kiniry, J.: Reasoning about feature models in higher-order logic. In: Software Product Line Conference 2007, pp. 13-22 (2007)
16. Benavides, D., Segura, S., Trinidad, P., Ruiz-Cortes, A.: FAMA: Tooling a framework for the automated analysis of feature models. In: VAMOS Workshop, pp. 129-134 (2007)
17. Benavides, D., Trinidad, P., Ruiz-Cortes, A.: Automated reasoning on feature models. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491-503. Springer, Heidelberg (2005)
18. Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7-20. Springer, Heidelberg (2005)
19. Benavides, D., Segura, S., Trinidad, P., Ruiz-Cortés, A.: A first step towards a framework for the automated analysis of feature models. Technical Report (2006)
20. Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. 11, 256-290 (2002) (Pubitemid 44159313)
21. Gheyi, R., Massoni, T., Borba, P.: A theory for feature models in alloy. In: First Alloy Workshop, pp. 71-80 (2006)
22. Czarnecki, K., She, S., Wasowski, A.: Sample spaces and feature models: There and back again. In: SPLC 2008, pp. 22-31. IEEE Computer Society, Washington (2008)
23. Robak, S., Pieczynski, A.: Employing fuzzy logic in feature diagrams to model variability in software product-lines. In: ECBS 2003, pp. 305-311 (2003)