Skip to main content

Automated Verification of Variability Model Using First-Order Logic

  • Chapter
  • First Online:
Managing Requirements Knowledge

Abstract

Verification of the domain engineering is motivated by two reasons: (1) the huge size of the software assets and (2) the possibility of changes in business rules or in stakeholders’ needs which affect the structure of the domain engineering. To solve this problem of verifying software product line (SPL), we propose set of rules to verify four operations: inconsistency detection, inconsistency prevention, dead feature detection, and false-optional feature detection. Scalability is a key factor in measuring the applicability of the methods dealing with the domain engineering. We generated experiments for testing the scalability of our approach. Our experiments results show that our approach is scalable.

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

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Benavides D, Ruiz-Cortés A, Batory D, Heymans P (2008) Opining introduction. In: First international workshop on analyses of software product lines (ASPL’08), Limerick

    Google Scholar 

  2. Benavides D, Metzger A, Eisenecker U (2009) Opining introduction. In: Third international workshop on variability modelling of software-intensive systems, ICB-research report No. 29, University of Duisburg Essen, Duisburg

    Google Scholar 

  3. Benavides D, Batory D, Grünbacher P (2010) Opining introduction. In: Fourth international workshop on variability modelling of software-intensive systems, ICB-research report No. 37, University of Duisburg Essen, Duisburg

    Google Scholar 

  4. Eisenecke U, Apel S, Gnesi S (2012) Opining introduction. In: Sixth international workshop on variability modelling of software-intensive systems, ACM, Leipzig

    Google Scholar 

  5. Heymans P, Czarnecki K, Eisenecker U (2011) Opining introduction. In: Fifth international workshop on variability modelling of software-intensive systems, Namur

    Google Scholar 

  6. Mannion M (2002) Using first-order logic for product line model validation. In: the second software product line conference SPLC2, San Diego

    Google Scholar 

  7. Lan Q, Liu S, Li B, ChenY, Pang S, Yin J (2006) Research on variability metamodeling method. In: The first international symposium on pervasive computing and applications (SPCA06), Urumchi

    Google Scholar 

  8. Batory D, Benavides D, Ruiz-Cortés A (2006) Automated analysis of feature models: challenges ahead. Commun ACM 49(12): 45–47

    Google Scholar 

  9. Massen T von der, Litcher H (2004) Deficiencies in feature models, workshop on software variability management for product derivation- towards tool support, collocated with SPLC 2004, Boston

    Google Scholar 

  10. Massen T von der, Litcher H (2005) Determining the variation degree of feature models. In: Software product lines conference, Lecturer notes in computer science, vol 3714. Rennes, pp 82–88

    Google Scholar 

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

    Google Scholar 

  12. Elfaki A, Phon-Amnuaisuk S, Ho CK (2009) Modeling variability in software product line using first order logic. In: Proceedings of 7th the international conference on software engineering research, management and applications (SERA2009), Haikou

    Google Scholar 

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

    Google Scholar 

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

    MATH  Google Scholar 

  15. Czarnecki K, Kim C (2005) Cardinality-based feature modeling and constraints: a progress report. In: Proceedings of the international workshop on software factories at OOPSLA05, San Diego California

    Google Scholar 

  16. Benavides D, Segura S, Ruiz-Cort´es A (2010) Automated analysis of feature models 20 years later: a literature review. Inform Syst j 35(6), Elsevier: 615–636

    Google Scholar 

  17. Kasikci BC, Bilgen S (2009) Scalable modeling of software product line variability. In: 13th international software product line conference, SPLC 2009, San Francisco

    Google Scholar 

  18. Wang H, Li YF, Sun J, Zhang H, Pan J (2007) Verifying feature models using OWL. J Web Semantics 5(2):117–129, Elsevier

    Article  Google Scholar 

  19. Trinidad P, Benavides D, Dur´an A,Ruiz-Cort´es A, Toro M (2008) Automated error analysis for the agilization of feature modeling. J Syst Softw 81(6): 883–896

    Google Scholar 

  20. White J, Dougherty B, Schmidt D, Benavides D (2009) Automated reasoning for multi-step feature model configuration problems. In: 13th international software product line conference table of contents San Francisco, California, pp 11–20

    Google Scholar 

  21. Hemakumar A (2008) Finding contradictions in feature models. In: First international workshop on analyses of software product lines (ASPL’08)’, collocated with SPLC08. Limerick

    Google Scholar 

  22. Trinidad P, Benavides D, Ruiz-Cort´es A (2006) Isolated features detection in feature models. In: Advanced information systems engineering, 18th international conference, CAiSE2006,short paper proceedings, Luxembourg

    Google Scholar 

  23. Trinidad P, Benavides D, Ruiz-Cort´es A (2006) Explanations for agile feature modeling. In the first workshop on agile product line engineering (APLE’06), Baltimore

    Google Scholar 

  24. Trinidad P, Ruiz Cort´es A (2009) Abductive reasoning and automated analysis of feature models: how are they connected? In: Third international workshop on variability modelling of software-intensive systems. Proceedings, pp 145–153

    Google Scholar 

  25. Thurimella AK, Janzen D (2011) on the metadoc feature modeler. In: SPLC2011 proceedings

    Google Scholar 

  26. Segura S (2008) Automated analysis of feature models using atomic sets. In: Proceedings of first international workshop on analyses of software product lines (ASPL’08)’, collocated with SPLC08, Limerick

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to A. O. Elfaki .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Elfaki, A.O. (2013). Automated Verification of Variability Model Using First-Order Logic. In: Maalej, W., Thurimella, A. (eds) Managing Requirements Knowledge. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34419-0_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34419-0_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34418-3

  • Online ISBN: 978-3-642-34419-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics