Skip to main content
SpringerLink
Log in

Cognitive Insights into Feature Diagram Notation and Beyond

  • Chapter
  • First Online:
Meta-Programming and Model-Driven Meta-Program Development

Part of the book series: Advanced Information and Knowledge Processing ((AI&KP,volume 5))

  • 1101 Accesses

Abstract

Variability is the ability of a software system or artefact to be extended, changed, customized or configured for the use in a particular context [GBS01]. Implementation of variability allows delaying design decisions concerning a supported functionality to later stages of the software development process. Rather than deciding on specific features, a product will have, at early design stages, software architecture and set of components which are defined to allow the configuration of features to match user requirements, at a late design stage.

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 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.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. Asikainen T (2004) Modelling methods for managing variability of configurable software product families. Licentiate thesis of science in technology at Helsinki University of Technology

    Google Scholar 

  2. Asikainen T, Soininen T, Männistö T (2004) A Koala-based approach for modelling and deploying configurable software product families. In: 5th Workshop on product family engineering (PFE-5), Sienna, 4–6 November. Springer, Berlin

    Google Scholar 

  3. Batory D (2005) Feature models, grammars, and propositional formulas. In: Obbink H, Pohl K (eds) 9th international software product line conference (SPLC 2005), Rennes, 26–29 September 2005. LNCS, vol 3714. Springer, Berlin/Heidelberg, pp 7–20

    Google Scholar 

  4. Bühne S, Chastek G, Kakola T, Knauber P, Northrop L, Thiel S (2004) Exploring the context of product line adoption. In: Proceedings of the product family engineering workshop PFE-5. Sienna, Italy, 4–6 November 2003. Springer, Berlin

    Google Scholar 

  5. Burbaitė R, Damaševičius R, Štuikys V, Bespalova K, Paškevičius P (2011) Product variation modelling using feature diagrams and modal logic. In: Proceedings of the 12th IEEE international symposium on computational intelligence and informatics, Budapest, Hungary, 21–22 November 2011, pp 74–77

    Google Scholar 

  6. Becker M (2003) Towards a general model of variability in product families. In: 1st workshop on software variability management, Groningen, February 2003

    Google Scholar 

  7. Bontemps Y, Heymans P, Schobbens P-Y, Trigaux J-Ch (2005) Generic semantics of feature diagrams variants. In: Feature interaction workshop (FIW), Leicester, 28–30 June 2005, pp 58–77

    Google Scholar 

  8. Bosch J (2000) Design and Use of software architectures, adopting and evolving a product-line approach. Addison-Wesley, Reading

    Google Scholar 

  9. Beuche D, Papajewski H, Schröder-Preikschat W (2004) Variability management with feature models. Sci Comput Program 53(3):333–352

    Article  MATH  Google Scholar 

  10. De Baud J-M, Schmid K (1999) A systematic approach to derive the scope of software product lines. In: Proceedings of the International Conference on Software Engineering, ICSE, Los Angeles, 1CA, USA, May 16–22, 1999. ACM 1999, pp 34–43

    Google Scholar 

  11. Benavides D, Trinidad P, Ruiz-Cortés A (2005) Automated reasoning on feature models. In: Proceedings of the 17th international conference on advanced information systems engineering, CAiSE. Porto, 13–17 June 2005. LNCS, vol 3520. Springer, Berlin/Heidelberg, pp 491–503

    Google Scholar 

  12. Czarnecki K, Eisenecker U (2001) Generative programming: methods, tools and applications. Addison-Wesley, Boston

    Google Scholar 

  13. Czarnecki K, Helsen S, Eisenecker U (2005) Staged configuration through specialization and multi-level configuration of feature models. Softw Process Improv Pract 10:143–169

    Article  Google Scholar 

  14. Czarnecki K, Helsen S, Eisenecker U (2005) Formalizing cardinality-based feature models and their specialization. Softw Process Improv Pract 10(1):7–29

    Article  Google Scholar 

  15. Chellas BF (1995) Modal logic: an introduction. Cambridge University Press, Cambridge

    Google Scholar 

  16. Coplien J, Hoffman D, Weiss D (1998) Commonality and variability in software engineering. IEEE Softw 15:37–45

    Article  Google Scholar 

  17. Czarnecki K, Kim CHP, Kalleberg KT (2006) Feature models are views on ontologies. In: Proceedings of the 10th international software product line conference, Baltimore, MD, 21–24 August 2006. IEEE Computer Society, Los Alamitos, pp 41–51

    Google Scholar 

  18. Czarnecki K, Wasowski A (2007) Feature diagrams and logics: there and back again. In: 11th international software product line conference, SPLC 2007, Kyoto, Japan, 10–14 September 2007, pp 23–34

    Google Scholar 

  19. Djebbi O, Salinesi C (2006) Criteria for comparing requirements variability modeling notations for product lines. In: CERE workshop at RE’06 conference, Minneapolis, 2006, pp 20–35

    Google Scholar 

  20. Damasevicius R, Stuikys V (2009) Specification and generation of learning object sequences for E-learning using sequence feature diagrams and metaprogramming techniques. In: Ninth IEEE international conference on advanced learning technologies, Riga, Latvia, 2009, pp 572–576

    Google Scholar 

  21. Deelstra S, Sinnema M, Nijhuis J, Bosch J (2004) COSVAM: a technique for assessing software variability in software product families. In: Proceedings of the 20th international conference on software maintenance (ICSM 2004), Chicago, 11–17 September 2004, pp 458–462

    Google Scholar 

  22. Etxeberria L, Sagardui G, Belategi L (2007) Modelling variation in quality attributes. In: Proceedings of the first international workshop on variability of software-intensive systems VaMos 2007, Lero, 2007, pp 51–60

    Google Scholar 

  23. Firesmith D (2003) Using quality models to engineer quality requirements. J Obj Technol 2(5):67–75

    Article  Google Scholar 

  24. Van Gurp J, Bosch J, Svahnberg M (2001) On the notion of variability in software product lines. In: Working IEEE/IFIP conference on software architecture (WICSA 2001), Amsterdam, 28–31 August 2001, pp 45–54

    Google Scholar 

  25. Griss L, Favaro J, D’Alessandro M (1998) Integrating feature modeling with the RSEB, Victoria, BC, Canada. In: Proceedings of the fifth international conference on software reuse. Victoria, BC, 2–5 June 1998. IEEE Computer Society Press, Los Alamitos, pp 76–85

    Google Scholar 

  26. Gruber T (1994) Toward principles for the design of ontologies used for knowledge sharing. IJHCS 43(5/6):907–928

    Google Scholar 

  27. Guarino N (1998) Formal ontology in information systems. In: Proceedings of FOIS’98, Trento, Italy, 6–8 June 1998. Ios Press, Amsterdam, pp 3–15

    Google Scholar 

  28. Hotz L, Krebs T, Wolter K, Nijhuis J, Deelstra S, Sinnema M, Macgregor J (2006) Configuration in industrial product families – the ConIPF methodology. Ios Press, Berlin

    Google Scholar 

  29. IEEE Std. 1061–1992 (1992) Standard for a software quality metrics methodology. IEEE, New York

    Google Scholar 

  30. Jaring M (2005) Variability engineering as an integral part of the software product family development process. PhD thesis, University of Groningen

    Google Scholar 

  31. Jaring M, Bosch J (2004) A taxonomy and hierarchy of variability dependencies in software product family engineering. In: Proceedings of the 28th international computer software and applications conference (COMPSAC 2004), Hong Kong, 27–30 September 2004, pp 356–361

    Google Scholar 

  32. Kang K, Cohen S, Hess J, Novak W, Peterson S (1990) Feature-oriented domain analysis (FODA) feasibility study. TR CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, November 1990

    Google Scholar 

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

    Article  Google Scholar 

  34. Krueger C (2002) Variation management for software production lines. In: Proceedings of the 2nd international software product line conference. LNCS, vol 2379. ACM Press, San Diego, pp 37–48

    Google Scholar 

  35. Kaci S, van der Torre LWN (2005) Algorithms for a nonmonotonic logic of preferences. In: Proceedings of the 8th European conference on symbolic and quantitative approaches to reasoning with uncertainty, ECSQARU 2005, Barcelona, Spain, 6–8 July 2005. LNCS, vol 3571. Springer, Heidelberg, pp 281–292

    Google Scholar 

  36. Liu J, Basu S, Lutz R (2008) Generating variation-point obligations for compositional model checking of software product lines. Technical report 08–04, Computer Science, Iowa State University

    Google Scholar 

  37. Lee S-B, Kim J-W, Song C-Y, Baik D-K (2007) An approach to analyzing commonality and variability of features using ontology in a software product line engineering. In: Proceedings of the 5th ACIS international conference on software engineering research, management & applications, Busan, 2007, pp 727–734

    Google Scholar 

  38. Mannion M (2002) Using first-order logic for product line model validation. In: Chastek GJ (ed) Proceedings of the second international conference on software product lines, SPLC 2, San Diego, CA, USA, 19–22 August 2002. LNCS, vol 2379. Springer, Berlin, pp 176–187

    Google Scholar 

  39. Masuhara H, Kiczales G (2003) Modeling cross-cutting in aspect-oriented mechanisms. In: Cardelli L (ed) Proceedings of the 17th European conference on object-oriented programming, ECOOP 2003, Darmstadt, Germany, 21–25 July 2003. LNCS, vol 2743. Springer, Heidelberg, pp 2–28

    Google Scholar 

  40. Myllärniemi V, Männistö T, Raatikainen M (2006) Quality attribute variability within a software product family architecture. In: Proceedings of the 2nd international conference on quality of software architecture QoSA, Vasteras, 2006

    Google Scholar 

  41. Niemelä E (2005) Architecture centric software family engineering. Product family engineering seminar. In: Tutorial in 5th working IEEE/IFIP conference on software architecture (WICSA), Pittsburgh, 2005

    Google Scholar 

  42. Pohl K, Bockle G, van der Linden F (2005) Software product line engineering. Springer, Berlin/Heidelberg/New York

    MATH  Google Scholar 

  43. RiebischM, Bollert K, Streitferdt D, Philippow I (2002) Extending feature diagrams with UML multiplicities. In: 6th conference on integrated design & process technology (IDPT 2002), Pasadena, 2002, pp 2–7

    Google Scholar 

  44. Robak S, Pieczyński A (2003) Employment of fuzzy logic in feature diagrams to model variability in software families. Trans SDPS J Integr Des Process Sci 7(3):79–94

    Google Scholar 

  45. Svahnberg M, Bosch J (2000) Issues concerning variability in software product lines. In: van der Linden F (ed) Proceedings of the international workshop on software architectures for product families, IW-SAPF-3, Las Palmas, Spain, 15–17 March 2000. LNCS, vol 1951. Springer, Berlin/Heidelberg, pp 146–157

    Google Scholar 

  46. Sinnema M, Deelstra S, Nijhuis J, Bosch J (2004) Covamof: a framework for modeling variability in software product families. In: Proceedings of 3rd international conference on software product lines, SPLC, Boston, 30 August–2 September 2004. LNCS, vol 3154. Springer, Berlin/Heidelberg, pp 197–213

    Google Scholar 

  47. Schobbens P-Y, Heymans P, Trigaux J-Ch (2006) Feature diagrams: a survey and a formal semantics. In: Proceedings of the 14th IEEE international requirements engineering conference, Minneapolis/St.Paul, 11–15 September 2006. IEEE CS Washington, DC, pp 136–145

    Google Scholar 

  48. Sipka M (2005) Exploring the commonality in feature modeling notations. In: Bieliková M (ed) IIT.SRC 2005, Slovak University of Technology, 27 April 2005, pp 139–144

    Google Scholar 

  49. Snelting G (1996) Reengineering of configurations based on mathematical concept analysis. ACM Trans Softw Eng Methodol 5(2):146–189

    Article  Google Scholar 

  50. Streitferdt D, Riebisch M, Philippow I (2003) Details of formalized relations in feature models using OCL. In: Proceedings of the 10th IEEE international conference on engineering of computer-based systems (ECBS 2003), Huntsville, 7–10 April 2003, pp 297–304

    Google Scholar 

  51. Sinnema M, Van Der Ven JS, Deelstra S (2006) Using variability modeling principles to capture architectural knowledge. ACM SIGSOFT Softw Eng Notes (SIGSOFT) 31(5):1–6

    Google Scholar 

  52. Trigaux J-C, Heymans P, Schobbens P-Y, Classen A (2006) Comparative semantics of feature diagrams: FFD vs. vDFD. In: Fourth international workshop on comparative evaluation in requirements engineering, 2006. CERE’06, Minneapolis/St. Paul, September 2006, pp 36–47

    Google Scholar 

  53. Veldhuizen T (1995) Using C++ template metaprograms. C++ Rep 7(4):36–43

    Google Scholar 

  54. Webber DL, Gomaa H (2004) Modeling variability in software product lines with the variation point model. Sci Comput Program (SCP) 53(3):305–331

    Article  MathSciNet  MATH  Google Scholar 

  55. Weiss DM, Lai CTR (1999) Software product-line engineering: a family based software development process. Addison-Wesley, Reading

    Google Scholar 

  56. Zhang H, Jarzabek S, Yang B (2003) Quality prediction and assessment for product lines. In: Proceedings of 15th international conference on advanced information systems engineering, CAiSE 2003, Klagenfurt, 16–18 June 2003. LNCS, vol 2681. Springer, Berlin/Heidelberg, pp 681–695

    Google Scholar 

  57. Zhang W, Zhao H, Mei H (2004) A propositional logic-based method for verification of feature models. In: Davies J, Schulte W, Barnett M (eds) Formal methods and software engineering, 6th international conference on formal engineering methods, Seattle, WA, USA, 8–12 November 2004. LNCS, vol 3308. Springer, Berlin/Heidelberg

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Engineering Department, Kaunas University of Technology, Kaunas, Lithuania

    Prof. Vytautas Štuikys & Robertas Damaševičius

Authors
  1. Prof. Vytautas Štuikys
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Robertas Damaševičius
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Vytautas Štuikys .

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag London

About this chapter

Cite this chapter

Štuikys, V., Damaševičius, R. (2013). Cognitive Insights into Feature Diagram Notation and Beyond. In: Meta-Programming and Model-Driven Meta-Program Development. Advanced Information and Knowledge Processing, vol 5. Springer, London. https://doi.org/10.1007/978-1-4471-4126-6_9

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-4126-6_9

  • Published:

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-4471-4125-9

  • Online ISBN: 978-1-4471-4126-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation