Top

Published in:

2013 | OriginalPaper | Chapter

12. Automated Verification of Variability Model Using First-Order Logic

Author : A. O. Elfaki

Published in: Managing Requirements Knowledge

Publisher: Springer Berlin Heidelberg

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Resolving Inconsistency and Incompleteness Issues in Software Requirements

next chapter Model-Based Requirements Engineering Framework for Systems Life-Cycle Support

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

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

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

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

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

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

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

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

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

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

11.

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

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

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

14.

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

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

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

17.

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

18.

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

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

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

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

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

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

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

25.

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

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

Title: Automated Verification of Variability Model Using First-Order Logic
Author: A. O. Elfaki
Publisher: Springer Berlin Heidelberg
Book: Managing Requirements Knowledge
Print ISBN: 978-3-642-34418-3

Electronic ISBN: 978-3-642-34419-0

Copyright Year: 2013
DOI: https://doi.org/10.1007/978-3-642-34419-0_12

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner