Skip to main content
SpringerLink
Log in

Variability Management

  • Chapter
  • First Online:
Concurrent Engineering in the 21st Century

Abstract

The global market, different and changing environmental laws, the customer wish for individualization, time-to-market, product costs, and the pressure on manufacturers to discover new product niches, to name only a few variability drivers, result in an ever increasing number of product variants in nearly all engineering disciplines as, for example, in car manufacturing. Mastering the related increasing product complexity throughout the whole product lifecycle is and remains one of the key advantages in competition for the future. Currently for a manufacturer, as for any other discipline, it is no option not to invest in an efficient and effective variability handling machinery able to cope with the arising challenges. Not only the task to invent, develop, introduce and manage new variants is important but also to decide which variant to develop, which to remove and which to not develop at all. The consequences of such decisions with respect to product-line variability have to be computed based on formalized bases such that an optimized product variability can assure on the one hand customer satisfaction and on the other hand cost reduction within the variability-related engineering processes. This chapter presents current research in the field of product variability configuration, analysis and visualisation. It presents solution sketches based on formal logic that were illustrated by some real world examples.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Hüttenrauch M, Baum T (2008) Effiziente Vielfalt Die dritte Revolution in der Automobilindustrie. Springer, Berlin

    Google Scholar 

  2. Elgh F (2014) Automated engineer-to-order systems. A task oriented approach to enable traceability of design rationale. Int J Agile Syst Manag 7(3–4):324–347

    Article  Google Scholar 

  3. McLay A (2014) Re-reengineering the dream: agility as competitive adaptability. Int J Agile Syst Manag 7(2):101–115

    Article  MathSciNet  Google Scholar 

  4. Alguezaui S, Filieri R (2014) A knowledge-based view of the extending enterprise for enhancing a collaborative innovation advantage. Int J Agile Syst Manag 7(2):116–131

    Article  Google Scholar 

  5. Chang D, Chen CH (2014) Understanding the influence of customers on product innovation Int J Agile Syst Manag 7(3–4):348–364

    Google Scholar 

  6. Hu S, Ko J, Weyand L, ElMaraghy H, Lien T, Koren Y, Bley H, Chryssolouris G, Nasr N, Shpitalni M (2011) Assembly system design and operations for product variety. CIRP Ann Manuf Technol 60(2):715–733

    Article  Google Scholar 

  7. Wallis R, Stjepandić J, Rulhoff S, Stromberger F, Deuse J (2014) Intelligent utilization of digital manufacturing data in modern product emergence processes. In: Cha J et al (eds) Moving integrated product development to service clouds in global economy. Proceedings of the 21st ISPE Inc. international conference on concurrent engineering. IOS Press, Amsterdam, 2014, pp 261–270

    Google Scholar 

  8. Kretschmer R, Rulhoff S, Stjepandić J (2014) Design for assembly in series production by using data mining methods. In: Cha J et al. (eds.) Moving integrated product development to service clouds in global economy. Proceedings of the 21st ISPE Inc. international conference on concurrent engineering. IOS Press, Amsterdam, 2014, pp 379–388

    Google Scholar 

  9. ElMaraghy H, Schuh G, ElMaraghy W, Piller F, Schönsleben P, Tseng M, Bernard A (2013) Product variety management. CIRP Ann Manuf Technol 62(2):629–652

    Article  Google Scholar 

  10. ElMaraghy H, Azab A, Schuh G, Pulz C (2009) Managing variations in products, processes and manufacturing systems. CIRP Ann Manuf Technol 58(1):441–446

    Article  Google Scholar 

  11. ElMaraghy W, ElMaraghy H, Tomiyama T, Monostori L (2012) Complexity in engineering design and manufacturing. CIRP Ann Manuf Technol 61(2):793–814

    Article  Google Scholar 

  12. Kang KC, Cohen SG, Hess JA, Novak WE, Peterson AS (1990) Feature-oriented domain analysis (foda) feasibility study. Technical report, DTIC Document

    Google Scholar 

  13. Pohl K, Böckle G, van der Linden F (2005) Software product line engineering—foundations, principles, and techniques. Springer, Berlin

    MATH  Google Scholar 

  14. Haugen Ø, Wasowski A, Czarnecki K (2013) Cvl: common variability language. In: Kishi T, Jarzabek S, Gnesi S (eds) Proceedings of the 17th international software product line conference. ACM, New York, p 277

    Chapter  Google Scholar 

  15. Nestor D, O’Malley L, Quigley AJ, Sikora E, Thiel S (2007) Visualisation of variability in software product line engineering. In: Pohl K, Heymans P, Kang KC, Metzger A (eds) 1st International workshop on variability modelling of software-intensive systems (VAMOS 2007). http://www.sse.uni-due.de/vamos/2007/files/vamos07_0038_paper_7.pdf. Accessed 20 Aug 2014

  16. Heuer A, Lauenroth K, Müller M, Scheele JN (2010) Towards effective visual modeling of complex software product lines. In: Botterweck G, Jarzabek S, Kishi T, Lee J, Livengood S (eds.) Software product lines: going beyond: Proceedings of the 14th international software product line conference, pp 229–238, SPLC 2010. Jeju Island, Sep 13–17 2010, Springer, Berlin

    Google Scholar 

  17. Botterweck G, Thiel S, Nestor D, bin Abid S, Cawley C (2008) Visual tool support for configuring and understanding software product lines. In: Geppert B, Pohl K (eds) Proceedings of the 12th international software product line conference, SPLC 2008. IEEE Computer Society, Los Alamitos, pp 77–86

    Chapter  Google Scholar 

  18. Cawley C, Nestor D, Preußner A, Botterweck G, Thiel S (2008) Interactive visualisation to support product configuration in software product lines. In: Heymans P, Kang KC, Metzger A, Pohl K (eds.) 2nd international workshop on variability modelling of software-intensive systems (VAMOS 2008). http://www.sse.uni-due.de/vamos/2008/papers/VAMOS08_01.pdf. Accessed 20 Aug 2014

  19. Schneeweiss D, Botterweck G (2010) Using flow maps to visualize product attributes during feature configuration. In: Botterweck G, Jarzabek S, Kishi T, Lee J, Livengood S (eds) Software product lines: going beyond. Proceedings of the 14th international software product line conference, pp 219–228, SPLC 2010. Jeju Island, 13–17 Sep 2010, Springer, Berlin

    Google Scholar 

  20. Czarnecki RK, Helsen S, Eisenecker UW (2004) Staged configuration using feature models. In: Nord RL (ed) Software product lines: 3rd international conference, SPLC 2004, 30 Aug–2 Sep 2004, Boston. vol 3154 LNCS, pp 266–283, Springer, Berlin. http://www.ece.uwaterloo.ca/~kczarnec/splc04.pdf. Accessed 20 Aug 2014

  21. Mendonca M, Wasowski A, Czarnecki K (2009) SAT-based analysis of feature models is easy. In: Muthig D, McGregor JD (eds) 13th international software product line conference, SPLC 2009, 24–28 Aug 2009. San Francisco, ACM international conference proceeding series, 446:231–240, ACM. http://gsd.uwaterloo.ca:8088/SPLOT/articles/mendonca_sat_analysis_splc_2009.pdf. Accessed 20 Aug 2014

  22. Antkiewicz M, Czarnecki K (2004) FeaturePlugin: feature modeling plug-in for eclipse. In: Burke G (ed.) Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange. pp 67–72, ACM. http://gp.uwaterloo.ca/sites/default/files/2004-antkiewicz-feature-modeling-plugin_0.pdf. Accessed 20 Aug 2014

  23. Capilla R, Bosch J, Kang KC (2013) Systems and software variability management: concepts, tools and experiences. Springer, Berlin

    Book  Google Scholar 

  24. Biere A, Heule M, van Maaren H, Walsh T (2009) Handbook of satisfiability. Frontiers in artificial intelligence and applications, vol. 185. IOS Press, Amsterdam

    Google Scholar 

  25. Kang KC, Kim S, Lee J, Kim K, Shin E, Huh M (1998) FORM: a feature-oriented reuse method with domain-specific reference architectures. Ann Softw Eng 5:143–168

    Article  Google Scholar 

  26. Benavides D, Segura S, Ruiz-Cortes A (2010) Automated analysis of feature models 20 years later: a literature review. Inf Syst 35(6):615–636. http://www.researchgate.net/publication/223760542_Automated_analysis_of_feature_models_20_years_later_A_literature_review/links/0046352bd57ee8f1c9000000. Accessed 20 Aug 2014

  27. Davis M, Putnam H (1960) A computing procedure for quantification theory. J ACM 7(3):201–215

    Article  MATH  MathSciNet  Google Scholar 

  28. Nelson G, Oppen D (1979) Simplification by cooperating decision procedures. ACM Trans Program Lang Syst 1(2):245–257

    Article  MATH  Google Scholar 

  29. Ganzinger H, Sofronie-Stokkermans V, Waldmann U (2006) Modular proof systems for partial functions with Evans equality. Inf Comput 204(10):1453–1492

    Article  MATH  MathSciNet  Google Scholar 

  30. Nieuwenhuis R, Oliveras A, Tinelli C (2006) Solving sat and sat modulo theories: From an abstract davis–putnam–logemann–loveland procedure to dpll(t). J ACM 53:937–977, Nov 2006. http://www.divms.uiowa.edu/ftp/tinelli/papers/NieOT-JACM-06.pdf. Accessed 20 Aug 2014

  31. Ihlemann C, Jacobs S, Sofronie-Stokkermans V (2008) On local reasoning in verification. In: Ramakrishnan CR, Rehof J (eds) Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint european conferences on theory and practice of software, pp 265–281, ETAPS 2008, Budapest, March 29–April 6 2008. LNCS vol 4963, Springer, Berlin

    Google Scholar 

  32. Althaus E, Kruglov E, Weidenbach C (2009) Superposition modulo linear arithmetic sup(la). In: Ghilardi S, Sebastiani R (eds.) Frontiers of combining systems, Proceedings of 7th international symposium, pp 84–99, FroCoS 2009, Trento, September 16–18, 2009. LNCS vol 5749, Springer, Berlin

    Google Scholar 

  33. Waldmann U (2001). Superposition and chaining for totally ordered divisible abelian groups (Extended abstract). In: Gore R, Leitsch A, Nipkow T (eds) Automated reasoning : first international joint conference, pp 226–241, IJCAR 2001, LNAI, vol 2083, Siena, 2001. Springer, Berlin

    Google Scholar 

  34. Korovin K, Voronkov A (2007) Integrating linear arithmetic into superposition calculus. In: Duparc J, Henzinger TA (eds.) 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, 11–15 Sept 2007, vol 4646 LNCS, pp 223–237. Springer, Berlin. http://pdf.aminer.org/000/563/602/a_precedence_based_total_ac_compatible_ordering.pdf. Accessed 20 Aug 2014

  35. Weidenbach C, Dimova D, Fietzke A, Kumar R, Suda M, Wischnewski P (2009) SPASS Version 3.5. In: Schmidt R (ed) CADE—22, 22nd international conference on automated deduction, pp 140–145, Montreal, 2–7 Aug 2009, LNCS, vol 5663. Springer, Berlin

    Google Scholar 

  36. Suda M, Christoph W, Patrick W (2010) On the saturation of YAGO. IJCAR, pp 441–456

    Google Scholar 

  37. Sutcliffe Geoff, Suttner Christian B (2006) The state of CASC. AI Commun 19(1):35–48

    MATH  MathSciNet  Google Scholar 

  38. Larrosa J, Nieuwenhuis R, Oliveras A, Rodriguez-Carbonell E (2009) Branch and bound for boolean optimization and the generation of optimality certificates. In: Kullmann O (ed.) Theory and applications of satisfiability testing—SAT 2009, 12th international conference pp 453–466, SAT 2009, Swansea, 30 Jun–3 Jul 2009, vol 5584 of LNC, Springer, Berlin. http://www.researchgate.net/publication/220944553_Branch_and_Bound_for_Boolean_Optimization_and_the_Generation_of_Optimality_Certificates. Accessed 20 Aug 2014

  39. Logic4Business GmbH: www.logic4business.com

  40. BigLever Software, Inc.: www.biglever.com

  41. Pure systems GmbH. www.pure-systems.com

  42. Object Management Group. http://www.omgsysml.org/

  43. Bontemps Y, Heymans P, Schobbens PY, Trigaux JC (2004) Semantics of FODA feature diagrams. In: Männistö T, Bosch J (eds.) Proceedings SPLC 2004 workshop on software variability management for product derivation—towards tool support, pp 48–58. http://www.researchgate.net/publication/234080947_Semantics_of_FODA_feature_diagrams/links/00b4952691aadd1ab6000000. Accessed 20 Aug 2014

  44. Nieuwenhuis R, Oliveras A, Tinelli C (2004) Abstract DPLL and Abstract DPLL Modulo Theories. LPAR 2004:36–50

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Trier University of Applied Sciences, 54293, Trier, Germany

    Georg Rock

  2. PROSTEP AG, Dolivostr. 11, 64293, Darmstadt, Germany

    Karsten Theis

  3. Logic4Business GmbH, 66123, Saarbrücken, Germany

    Patrick Wischnewski

Authors
  1. Georg Rock
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Karsten Theis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Patrick Wischnewski
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Georg Rock .

Editor information

Editors and Affiliations

  1. 3D Product Creation, PROSTEP AG, Darmstadt, Germany

    Josip Stjepandić

  2. Social Sciences Department Management Studies Group, Wageningen University, Wageningen, The Netherlands

    Nel Wognum

  3. TU Delft, Delft, The Netherlands

    Wim J.C. Verhagen

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Rock, G., Theis, K., Wischnewski, P. (2015). Variability Management. In: Stjepandić, J., Wognum, N., J.C. Verhagen, W. (eds) Concurrent Engineering in the 21st Century. Springer, Cham. https://doi.org/10.1007/978-3-319-13776-6_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-13776-6_17

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-13775-9

  • Online ISBN: 978-3-319-13776-6

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation