Software product Line (SPL) is an emerging methodology for developing software products. Stage-configuration is one the important processes applying to the SPL. In stage-configuration, different groups and different people make configuration choices in different stages. Therefore, a successful software product is highly dependent on the validity of stage-configuration process. In this paper, a rule-based method is proposed for validating stage-configuration in SPL. A logical representation of variability using First Order Logic (FOL) is provided. Five operations: validation rules, explanation and corrective explanation, propagation and delete-cascade, filtering and cardinality test are studied as proposed operations for validating stage-configuration. The relevant contributions of this paper are: implementing automated consistency checking among constraints during stage-configuration process based on three levels (Variant- to-variant, variant-to-variation point, and variation point-to-variation point), define interactive explanation and corrective explanation, define a filtering operation to guide the user within stage-configuration, and define (explicitly) delete-cascade validation.
J. Bosch, “Maturity and Evolution in Software Product Lines,” Proceedings of the Second International Software Product Line Conference, Springer LNCS, San Diego, Vol. 2379, 19-22 August 2002, pp. 257-271.
P. Clements and L. Northrop, “Software Product Lines: Practices and Patterns,” Addison Wesley, Boston, 2001.
K. Kang, J. Hess, W. Novak and S. Peterson, “Feature Oriented Domain Analysis (FODA) Feasibility Study,” Technical Report No. CMU/SEI-90-TR-21, Software En-gineering Institute, Carnegie Mellon University, 1990.
K. Kang, J. Lee and P. Donohoe, “Feature-Oriented Product Line Engineering, IEEE Software, Vol. 19, No. 4, 2002, pp. 58-65.
K. Pohl, G. Böckle and F. van der Linden, “Software Product Line Engineering Foundations Principles and Techniques,” Springer, Verlag Heidelberg Germany, 2005.
D. Benavides, A. Ruiz-Cort´es, D. Batory and P. Heymans, First International Workshop on Analyses of Software Product Lines (ASPL’08), Limerick, Ireland, 2008.
D. Benavides, A. Metzger and U. Eisenecker, “Third International Workshop on Variability Modelling of Soft- ware-intensive Systems,” ICB-Research Report No. 29, University of Duisburg Essen, Duisburg, 2009.
H. Wang, H. Li, J. Sun, H. Zhang and J. Pan, “Verifying Feature Models Using OWL,” Journal of Web Semantics: Science, Services and Agents on the World Wide Web, Vol. 5, No. 2, 2007, pp. 117-129.
D. Batory, D. Benavides and A. Ruiz-Cortés, “Automated Analyses of Feature Models: Challenges Ahead,” Com-munications of the ACM (Special Section on Software Product Lines), 2006.
K. Czarnecki and U. Eisenecker, “Generative Programming: Methds, Tools, and Applications,” Addison-Wesley, Bos-ton, 2002.
T. Massen and H. Litcher, “Determining the Variation Degree of Feature Models,” Software Product Lines Con- ference, LNCS 3714, Rennes, 2005, pp. 82-88.
T. Asikainen, T. Männistö and T. Soininen, “Using a Configurator for Modelling and Configuring Software Product Lines Based on Feature Models,” Proceedings of the Workshop on Software Variability Management for Product Derivation, Software Product Line Conference (SPLC3), Boston, 2004.
K. Czarnecki, S. Helsen and U. Eisenecker, “Staged Con-figuration Using Feature Models,” Proceedings of Third International Conference of Software Product Lines SPLC2004, Boston, 2004.
H. Meyer and H. Lopez, “Technology Strategy in a Software Products Company, Product Innovation Management,” Blackwell Publishing, Vol. 12, No. 4, 1995, pp. 294-306.
T. Asikainen, T. Mnnistand and T. Soininen, “Representing Feature Models of Software Product Families Using a Configuration Ontology,” Proceedings of the General European Conference on Artificial Intelligence (ECAI) Workshop on Configuration, Berlin, 2004.
M. Schlick and A. Hein, “Knowledge Engineering in Software Product Lines,” Proceedings of the 14th European Conference on Artificial Intelligent Workshop on Knowledge-Based Systems for Model-Based Engineering, Berlin, 2000.
L. Hotez and T. Krebs, “Supporting the Product Derivation Process with a Knowledge Base Approach,” Proceedings of the 25th International Conference on Software Engineering ICSE2003, Oregon, 2003.
L. Hotez and T. Krebs, “A Knowledge Based Product Derivation Process and Some Idea How to Integrate Product Development,” Proceedings of the Software Variability Management Workshop, Groningen, The Netherlands, 2003.
M. Mannion, “Using First-Order Logic for Product Line Model Validation,” Proceedings of the Second Software Product Line Conference SPLC2, San Diego, 2002.
W. Zhang, H. Zhao and H. Mei, “A Propositional Logic- Based Method for Verification of Feature Models,” The 6th International Conference on Formal Engineering Methods ICFEM04, LNCS 3308, 2004, pp. 115-130.
D. Batory, “Feature Models, Grammars, and Propositional Formulas,” Proceedings of the 9th International Software Product Lines Conference SPLC05, Rennes France, 2005.
J. Sun and H. Zhang, “Formal Semantics and Verification for Feature Modeling,” Proceedings of the 10th IEEE In-ternational Conference on Engineering of Complex Computer Systems (ICECCS05), Shanghai, 2005.
H. Wang, H. Li, J. Sun, H. Zhang and J. Pan, “A Semantic Web Approach to Feature Modeling and Verification,” Proceedings of Workshop on Semantic Web Enabled Software Engineering (SWESE’05), Galway, 2005.
R. Falbo, G. Guizzardi and K. Duarte, “An Ontological Approach to Domain Engineering,” Proceedings of 14th International Conference on Software Engineering and Knowledge Engineering, Ischia, 2002.
V. Dedeban, “Ontology-Driven and Rules-Based System for Management and Pricing of Family of Product,” Master Thesis, Norwegian University of Science and Technology Department of Computer and Information Science, Norway, 2007.
F. Shaofeng and N. Zhang, “Feature Model Based on Description Logics,” Proceedings of 10th International Conference on Knowledge-Based and Intelligent Infor-mation and Engineering Systems KES2006, Springer- Verlag Berlin Heidelberg, 2006, pp. 1144-1151.
M. Clauss, “Modeling Variability with UML,” GCSE 2000 -Young Researchers Workshop, 3rd GCSE, Erfurt, 2001.
B. Korherr and B. List, “A UML 2 Profile for Variability Models and their Dependency to Business Processes,” 18th International Workshop on Database and Expert Systems Applications, IEEE, Regensburg, 2007.
T. Ziadi, J. Jezequel and F. Fondement, “Product Line Derivation with UML,” Software Variability Management Workshop, Groningen, Netherlands, 2003, pp. 94-102.
T. Ziadi and J. Jézéquel, “Product Line Engineering with the UML: Deriving Products,” Chapter in Software Product Lines, Springer, 2006, pp. 557-586.
E. Oliveira, I. Gimenes, E. Huzita and J. Maldonado, “A Variability Management Process for Software Product Lines,” The 2005 Conference of the Centre for Advanced Studies on Collaborative Research, IBM Centre for Ad-vanced Studies Conference, Toranto, Ontario, 2005, pp. 225-241.
S. Robak, B. Franczyk and K. Politowicz, “Extending the UML for Modelling Variability for System Families,” In-ternational Journal of Applied Mathematics and Computer Science, Vol.12, No. 2, 2002, pp. 285-298.
A. Schnieders, “Modeling and Implementing Variability in State Machine Based Process Family Architectures for Automotive Systems,” The 3rd International Workshop on Software Engineering for Automotive Systems ICSE06, Shanghai, 2006.
H. Gomaa and E. Shin, “Automated Software Product Line Engineering and Product Derivation,” The 40th Annual Hawaii International Conference on System Sciences, Big Island, Hawaii, 2007.
I. Philippow, M. Riebisch and K. Boell, “The Hyper/UML Approach for Feature Based Software Design,” The 4th AOSD Modeling with UML Workshop Collocated 6th In-ternational Conference on the Unified Modeling Language UML, San Francisco, 2003.
M. Riebisch, K. B¨ollert, D. Streitferdt and I. Philippow, “Extending Feature Diagrams with UML Multiplicities, 6th World Conference on Integrated Design & Process Technology (IDPT2002), California, 2002.
D. Streitferdt, M. Riebisch and I. Philippow, “Details of Formalized Relations in Feature Models Using OCL,” 10th IEEE International Conference on Engineering of Computer–Based Systems (ECBS 2003), Huntsville, IEEE Computer Society, 2003, pp. 45-54.
K. Czarnecki and M. Antkiewicz, “Mapping Features to Models: A Template Approach Based on Superimposed Variants, Proceedings of the 4th International Conference on Generative Programming and Component Engineering GPCE’05, Tallinn, Estonia, 2005.
K. Czarnecki and K. Pietroszek, “Verifying Feature-Based Model Templates against Well-Formedness OCL Con-straints,” Proceedings of the 5th International Conference on Generative Programming and Component Engineering GPCE’06, Oregon, 2006.
D. Benavides, A. Ruiz-Cort´es and P. Trinidad, “Automated Reasoning on Feature Models,” 17th International Conference (CAiSE05), Porto, 2005, pp. 491-503.
D. Benavides, S. Segura, P. Trinidad and A. Ruiz-Cort´es, “Using Java CSP Solvers in the Automated Analyses of Feature Models,” Post-Proceedings of the Summer School on Generative and Transformational Techniques in Soft-ware Engineering (GTTSE), LNCS 4143, 2006.
D. Benavides, “On the Automated Analysis of Software Product Line Using Feature Models, A Framework for Developing Automated Tool Support,” Ph.D. Dissertation, University of Sevilla, Sevilla, 2007.
J. White, D. Schmidt, D. Benvides, P. Trinidad and A. Ruiz-Cortes, “Automated Diagnosis of Product Line Configuration Errors on Feature Models,” Proceedings of 12th International Conference of Software Product Line, Limerick Irland, 2008.
F. Cao, B. Bryant and C. Carol, “Automating Fea-ture-Oriented Domain Analysis,” Proceedings of Interna-tional Conference on Software Engineering Research and Practice (SERP’03), 2003, pp. 944-949.
A. Deursen and P. Klint, “Domain-Specific Language Design Requires Feature Descriptions,” Journal of Com-puting and Information Technology, Vol. 10, No. 1, 2002, pp. 1-17.
M. Janota and J. Kiniry, “Reasoning about Feature Models in Higher-Order Logic,” Proceedings of the 11th Interna-tional Software Product Line Conference (SPLC07), Kyoto, 2007.
V. Cechticky, A. Pasetti, O. Rohlik and W. Schaufelberger, “XML-Based Feature Modeling,” Proceedings of the 8th International Conference on Software Reuse (ICSR-8), Madrid, 2004.
S. Jarzabek and H. Zhang, “XML-Based Method and Tool for Handling Variant Requirements in Domain Models,” 5th IEEE International Symposium on Requirements En-gineering RE01, IEEE Press, Toronto, 2001. pp. 116-173.
L. Lengyel, T. Levendovszky and H. Charaf, “Constraint Handling in Feature Models,” Proceedings of 5th Inter-national Symposium of Hungarian Researchers on Com-putational Intelligence, Budapest, 2004.
F. Roos-Frantz, “A Preliminary Comparison of Formal Properties on Orthogonal Variability Model and Feature Models,” Proceedings of the 3rd International Workshop on Variability Modeling of Software-Intensive Systems, Sevilla, 2009.
S. Segura, “Automated Analysis of Feature Models Using Atomic Sets,” The 1st International Workshop on Analyses of Software Product Lines (ASPL’08), Collocated with SPLC08, Limerick Ireland, 12-15 September 2008.
P. Trinidad, D. Benavides, A. Dura´n, A. Ruiz-Cortes and M. Toro, “Automated Error Analysis for the Agilization of Feature Modeling,” Systems and Software, Vol. 81, No. 6, 2008, pp. 883-896.
P. Trinidad, D. Benavides, A. Ruiz-Cort´es, S. Segura and A. Jimenez, “FAMA Framework,” 12th Software Product Lines Conference (SPLC), Limerick, 2008.
H. Yan, W. Zhang, H. Zhao and H. Mei, “An Optimization Strategy to Feature Models’ Verification by Eliminating Verification-Irrelevant Features and Constraints,” Book Chapter in Formal Foundations of Reuse and Domain Engineering, Springer Berlin/Heidelberg, 2007, pp. 65-75.