Questionnaire-based variability modeling for system configuration

Software and Systems Modeling

Volumn 8, Issue 2, 2009, Pages 251-274

  La Rosa, Marcello ^a   van der Aalst, Wil M P ^a,b   Dumas, Marlon ^a,c   ter Hofstede, Arthur H M ^a  

^a QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^c UNIVERSITY OF TARTU   (Estonia)

Author keywords

Questionnaire; Software product family; System configuration; Variability modeling

Indexed keywords

ANALYSIS TECHNIQUES; CAPTURE SYSTEMS; CONFIGURABLE; DOMAIN CONSTRAINTS; ENTERPRISE SYSTEMS; INDIVIDUAL CUSTOMERS; POST PRODUCTIONS; PROCESS MODELS; QUESTIONNAIRE; REFERENCE MODELS; SOFTWARE PRODUCT FAMILY; SYSTEM CONFIGURATION; TOOLSET; VARIABILITY MANAGEMENTS; VARIABILITY MODELING;

SYSTEMS ENGINEERING;

EID: 64549140132     PISSN: 16191366     EISSN: 16191374     Source Type: Journal    
DOI: 10.1007/s10270-008-0090-3     Document Type: Article

References (36)

1. Yan der Aalst W.M.P., ter Hofstede A.H.M.: YAWL: yet another workflow language. Inf. Sys. 30(4), 245-275 (2005)
2. Alter S.L.: Decision Support Systems: Current Practice and Continuing Challenges. Addison-Wesley, Reading (1980)
3. AntkiewicF M., Czarnecki K.: FeaturePlugin: feature modeling plug-in for eclipse. In: Proceeings of the 5th Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'04), Eclipse technology eXchange (ETX) Workshop (2004)
4. Atkinson C., Bayer J., Muthig D.: Component-based product line development: The KobrA approach. In: Proceedings of the 1st Software Product Line Conference, pp. 289-309. Kluwer, Denver (2000)
5. Batory D.: Feature models, grammars, and propositional formulas. In: Obbink J.H., Pohl K. (eds) Software Product Line Conference. Lecture Notes in Computer Science, vol. 3714, pp. 7-20. Springer, Heidelberg (2005)
6. Batory D.: AHEAD Tool Suite, http://www.cs.utexas.edu/users/schwartz/ ATS.html. Accessed January (2008)
7. Batory D., Geraci B.J.: Composition validation and subjectivity in GenVoca generators. IEEE Trans. Softw. Eng. 23(2), 67-84 (1997)
8. Bayer J., Gerard S., Haugen O., Mansell J., Moller-Pedersen B., Oldevig J., Tessier P., Thibault J.-P., Widen T.: Consolidated product line variability modeling. In: Käkölä, T., Dueñas, J.C. (eds) Software Product Lines - Research Issues in Engineering and Management, pp. 195-241. Springer, Heidelberg (2006)
9. Bednasch T., Endler C., Lang M.: CaptainFeature. http://sourceforge.net/ project/captainfeature. Accessed January (2008)
10. Big Lever Software Inc. Gears. http://www.biglever.com. Accessed January (2008)
11. Bryant R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. 35(8), 677-691 (1986)
12. Clements P.C.: Managing variability for sofWware product lines: working with variability mechanisms. In: Proceedings of the 10th International Conference on Software Product Lines (SPLC'06), Baltimore, August 21-24, pp. 207-208. IEEE Computer Society, Washington (2006)
13. Czarnecki K., Antkiewicz M. Mapping features to models: A template approach based on superimposed variants. In: Glück R., Lowry M.R. (eds) GPCE. Lecture Notes in Computer Science, vol. 3676, pp. 422-437. Springer, Heidelberg (2005)
14. Czarnecki K., EiseMecker U.: Generative programming: methods, tools, and applications. Addison-Wesley, Reading (2000)
15. Czarnecki K., Helsen S., Eisenecker U.W.: Formalizing cardinality-based feature models and their specialization. Softw. Process Improv. Pract. 10(1), 7-29 (2005)
16. Estublier J., Casallas R.: The Adele software configuration manager. In: Configuration Management, pp. 99-139. Wiley, London (1994)
17. Hammouda I., Hautamäki J., Pussinen M., Koskimies K.: Managing variability using heterogeneous feature variation patterns. In: Fundamental Approaches to Software Engineering (FASE'05), pp. 145-159 (2005)
18. Kang K.C., Cohen S., Hess J., Novak W., Peterson A.: Feature-Oriented Domain Analysis (FODA) feasibility study. Technical Report CMU/ SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, Pittsburgh. http://www.sei.cmu.edu/publications/documents/ 90.reports/90.tr.021.html (1990)
19. La Rosa M., Lux J., Seidel S., Dumas M., ter Hofstede A.H.M.: Questionnaire-driven configuration of reference process models. In: Proceedings of the 19th International Conference on Advanced Information Systems Engineering (CAiSE'07), Trondheim, pp. 11-15 (2007)
20. Mannion M.: Using first-order logic for product line model validation. In: Software Product Lines, 2nd International Conference. Lecture Notes in Computer Science, vol. 2379, pp. 176-187. Springer, Heidelberg (2002)
21. Minato S., Ishiura N., Yajima S.: Shared binary decision diagram with attributed edges for efficient Boolean function manipulation. In: Proceedings of the 27th ACM/IEEE Conference on Design Automation (DAC'90), pp. 52-57 (1990)
22. Pohl K., Böckle G., van der Linden F.: Software Product-line Engineering - Foundations, Principles and Techniques. Springer, Berlin (2005)
23. Pohl K., Metzger A.: Variability management in software product-line engineering. In: Proceedings of the 28th International Conference on Software Engineering (ICSE'06), Shanghai, May 20-28, 2006, pp. 1049-1050 (2006)
24. Pressman R.S.: Software Engineering: A Practitioner's Approach Higher Education, 6th edn. Mc Graw Hill, New York (2005)
25. Vure-Systems: Pure: variants, http://www.pure-systems.com. Accessed January (2008)
26. Raymond E.S.: The CML2 language. http://catb.org/esr/cml2/ cml2-paper.html. 2000. Accessed January (2008)
27. Raymond P.: BDDC v2 - a basic bdd-based logical calculator, user manual. http://www-verimag.imag.fr/~raymond/tools/bddc-manual, 2000. Accessed: April (2008)
28. Recker J., Mendling J., van der Aalst W.M.P., Rosemann M.: Model-Driven Enterprise Systems Configuration. In: Proceedings of the 18th International Conference on Advanced Information Systems Engineering (CAiSE'06), pp. 369-383. Springer, Luxembourg (2006)
29. Rosemann M., van der Aalst W.M.P.: A configurable reference modelling language. Inf. Syst. 32 (1), 1-23 (2007)
30. Schnieders A., Puhlmann F.: Variability mechanisms in E-business process families. In: Proceedings of the 9th International Conference on Business Information Systems (BIS'06), Klagenfurt, pp. 583-601 (2006)
31. Schobbens P.AY., Heymans P., Trigaux J.-C.: Feature diagrams: a survey and a formal semantics. In: Proceedings of the 14th IEEE International Conference on Requirements Engineering, Minneapolis, September 11-15, pp. 136-145. IEEE Computer Society, Washington (2006)
32. Svahnberg M., van Gurp J., Bosch J.: A taxonomy of variability realization techniques. Softw. Pract. Exp. 35, 705-754 (2005)
33. Tryggeseth E., Gulla B., Conradi R.: Modelling systems with variability using the PROTEUS configuration language. In: Software Configuration Management, ICSE SCM-4 and SCM-5 Workshops, pp. 216-240. Springer, Heidelberg (1995)
34. Turkay E., Gokhale A.S., Natarajan B.: Addressing the Middleware Configuration challenges using model-based techniques. In: Proceedings of the 42nd ACM Southeast Regional Conference, Huntsville, pp. 166-170. ACM, New York (2004)
35. Vanguard Software Co.: Vista, http://www.vista-survey.com. Accessed January (2008)
36. Voluntary Inter-industry Commerce Standard (VICS): EDI Framework. http:// www.vics.org. Accessed January 2008.