Abstract
Software product Line (SPL) is an emerging methodology for developing software products. A successful software product is highly dependent on the validity of a SPL. Therefore, validation is a significant process within SPL. In this paper, inconsistency detection is investigated as operation for validating SPL. Intelligent rules are formulated detecting inconsistency based on deducing the results from predefined cases. First, variability is modeled using First Order Logic (FOL) predicates as a prerequisite for inconsistency detection. Later, inconsistency is categorized in three groups. For each group a general form is formulated that can coffer all possible cases. Finally, an intelligent rule (based on FOL) is illustrated for implementing each possibility. As results, all cases of inconsistency in the domain-engineering process are defined.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Meyer, M.H., Lopez, L.: Technology Strategy in a Software Products Company. In: Product Innovation Management, vol. 12, pp. 294–306. Blackwell Publishing, Malden (1995)
Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, S.: Feature Oriented Domain Analysis (FODA) Feasibility Study. Technical Report No. CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University (1990)
Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering Foundations Principles and Techniques. Springer, Heidelberg (2005)
Benavides, D., Ruiz-Cortés, A., Batory, D., Heymans, P.: First International Workshop on Analyses of Software Product Lines (ASPL 2008), Limerick, Ireland (2008)
Benavides, D., Metzger, A., Eisenecker, U.: Third International Workshop on Variability Modelling of Software-intensive Systems, ICB-Research Report No. 29, University of Duisburg Essen, Duisburg, Germany (2009)
Wang, H.H., Li, Y.F., Sun, J., Zhang, H., Pan, J.: Verifying feature models using OWL. Journal of Web Semantics: Science, Services and Agents on the World Wide Web 5(2) (2007)
Batory, D., Benavides, D., Ruiz-Cortés, A.: Automated Analyses of Feature Models: Challenges Ahead. Communications of the ACM (Special Section on Software Produc Lines) (2006)
Elfaki, A., Phon-Amnuaisuk, S., Ho, C.K.: Knowledge Based Method to Validate Feature Models. In: First International Workshop on Analyses of Software Product Lines (ASPL 2008), collocated with SPLC 2008, Limerick, Ireland (2008)
Elfaki, A., Phon-Amnuaisuk, S., Ho, C.K.: Using First Order Logic to Validate Feature Model. In: Third International Workshop on variability modeling of Software-intensive Systems, Sevilla, Spain (2009)
Von der Massen, T., Lichter, H.: Deficiencies in Feature Models. In: Workshop on Software Variability Management for Product Derivation- Towards Tool Support. Co-located with Third International Conference, SPLC 2004, Boston, MA, USA (2004)
Mannion, M.: Using first-order logic for product line model validation. In: The Second Software Product Line Conference SPLC2, San Diego CA, USA (2002)
Zhang, W., Zhao, H., Mei, H.: A propositional logic-based method for verification of feature models. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol. 3308, pp. 115–130. Springer, Heidelberg (2004)
Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7–20. Springer, Heidelberg (2005)
Sun, J., Zhang, H.: Formal Semantics and Verification for Feature Modeling. In: Proc. of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2005), Shanghai, China (2005)
Hotez, L., Krebs, T.: Supporting the Product Derivation Process with A Knowledge Base Approach. In: Proc. of the 25th International Conference on Software Engineering ICSE 2003, Portland, Oregon, USA (2003)
Hotez, L., Krebs, T.: A Knowledge Based Product Derivation Process and Some Idea How toIntegrate Product Development. In: Proc. of the oftware Variability Management Workshop, Groningen, The Netherlands (2003)
Asikainen, T., Männistö, T., Soininen, T.: Using a Configurator for Modeling and Configuring Software Product Lines Based on Feature Models. In: Proc. of the Workshop on Software Variability Management for Product Derivation, Co located with Software Product Line Conference (SPLC3), Boston (2004)
Hemakumar, A.: Finding Contradictions in Feature Models. In: Proc. of the First International Workshop on Analyses of Software Product Lines (ASPL 2008), collocated with SPLC 2008, Limerick, Ireland (2008)
Roos-Frantz, F.: A preliminary comparison of formal properties on orthogonal variability model and feature models. In: The third International Workshop on variability modeling of Software-intensive Systems, Sevilla Spain (2009)
Williams, M., Dennis, A.R., Stam, A., Aronson, J.: The Impact of DSS Use and Information Load on Errors and Decision Quality, Working Papers on Information Systems, Indiana University, USA,Sprouts: Working Papers on Information Systems 4(22) (2004), http://sprouts.aisnet.org/4-22
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Elfaki, A.O., Phon-Amnuaisuk, S., Ho, C.K. (2009). Investigating Inconsistency Detection as a Validation Operation in Software Product Line. In: Lee, R., Ishii, N. (eds) Software Engineering Research, Management and Applications 2009. Studies in Computational Intelligence, vol 253. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-05441-9_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-05441-9_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05440-2
Online ISBN: 978-3-642-05441-9
eBook Packages: EngineeringEngineering (R0)