{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T02:58:05Z","timestamp":1760151485878,"version":"build-2065373602"},"reference-count":40,"publisher":"MDPI AG","issue":"3","license":[{"start":{"date-parts":[[2022,3,11]],"date-time":"2022-03-11T00:00:00Z","timestamp":1646956800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information"],"abstract":"<jats:p>Software Product Line (SPL) developments include Variability Management (VA) as a core activity aiming at minimizing the inherent complexity in commonality and variability manipulation. Particularly, the (automated) analysis of variability models refers to the activities, methods and techniques involved in the definition, design, and instantiation of variabilities modeled during SPL development. Steps of this analysis are defined as a variability analysis process (VA process), which is focused on assisting variability model designers in avoiding anomalies and\/or inconsistencies, and minimizing problems when products are implemented and derived. Previously, we have proposed an approach for analyzing variability models through a well-defined VA process (named SeVaTax). This process includes a comprehensive set of scenarios, which allows a designer to detect (and even correct in some cases) different incompatibilities. In this work, we extend SeVaTax by classifying the scenarios according to their dependencies, and by assessing the use of these scenarios. This assessment introduces two experiments to evaluate accuracy and coverage. The former addresses responses when variability models are analyzed, and the latter the completeness of our process with respect to other proposals. Findings show that a more extensive set of scenarios might improve the possibilities of current practices in variability analysis.<\/jats:p>","DOI":"10.3390\/info13030149","type":"journal-article","created":{"date-parts":[[2022,3,11]],"date-time":"2022-03-11T12:58:36Z","timestamp":1647003516000},"page":"149","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Improving Variabilty Analysis through Scenario-Based Incompatibility Detection"],"prefix":"10.3390","volume":"13","author":[{"given":"Agustina","family":"Buccella","sequence":"first","affiliation":[{"name":"GIISCO Research Group, Departamento de Ingenier\u00eda de Sistemas, Facultad de Inform\u00e1tica, Universidad Nacional del Comahue, Neuquen Q8300, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mat\u00edas","family":"Pol\u2019la","sequence":"additional","affiliation":[{"name":"GIISCO Research Group, Departamento de Ingenier\u00eda de Sistemas, Facultad de Inform\u00e1tica, Universidad Nacional del Comahue, Neuquen Q8300, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4804-6270","authenticated-orcid":false,"given":"Alejandra","family":"Cechich","sequence":"additional","affiliation":[{"name":"GIISCO Research Group, Departamento de Ingenier\u00eda de Sistemas, Facultad de Inform\u00e1tica, Universidad Nacional del Comahue, Neuquen Q8300, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2022,3,11]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","unstructured":"Mazo, R., Munoz-Fernandez, J.C., Rincon, L., Salinesi, C., and Tamura, G. (2015, January 20\u201324). VariaMos: An extensible tool for engineering (dynamic) product lines. Proceedings of the 19th International Software Product Line Conference, Nashville, TN, USA.","DOI":"10.1145\/2791060.2791103"},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/j.websem.2006.11.006","article-title":"Verifying feature models using OWL","volume":"5","author":"Wang","year":"2007","journal-title":"Web Semant. Sci. Serv. Agents World Wide Web"},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","article-title":"Automated Analysis of Feature Models 20 Years Later: A Literature Review","volume":"35","author":"Benavides","year":"2010","journal-title":"Inf. Syst."},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Nowak, W., and Peterson, S. (1990). Feature-Oriented Domain Analysis (FODA) Feasibility Study, Software Engineering Institute, Carnegie Mellon University. Technical Report CMU\/SEI-90-TR-21.","DOI":"10.21236\/ADA235785"},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"Pohl, K., B\u00f6ckle, G., and Linden, F.J.v.d. (2005). Software Product Line Engineering: Foundations, Principles and Techniques, Springer.","DOI":"10.1007\/3-540-28901-1"},{"key":"ref_6","doi-asserted-by":"crossref","unstructured":"Haugen, O., M\u00f8ller-Pedersen, B., Oldevik, J., Olsen, G.K., and Svendsen, A. (2008, January 8\u201312). Adding Standardized Variability to Domain Specific Languages. Proceedings of the 2008 12th International Software Product Line Conference, 2008, Limerick, Ireland.","DOI":"10.1109\/SPLC.2008.25"},{"key":"ref_7","first-page":"1043","article-title":"Analysis of variability models: A systematic literature review","volume":"20","author":"Buccella","year":"2020","journal-title":"Softw. Syst. Model."},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Pol\u2019la, M., Buccella, A., and Cechich, A. (2018, January 2\u20135). Automated Analysis of Variability Models: The SeVaTax Process. Proceedings of the Computational Science and Its Applications\u2014ICCSA 2018\u201418th International Conference, Melbourne, Australia. Part IV.","DOI":"10.1007\/978-3-319-95171-3_29"},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Pol\u2019la, M., Buccella, A., and Cechich, A. (2019, January 1\u20134). Using Scope Scenarios to Verify Multiple Variability Models. Proceedings of the Computational Science and Its Applications\u2014ICCSA 2019\u201419th International Conference, Saint Petersburg, Russia. Lecture Notes in Computer Science, Part V.","DOI":"10.1007\/978-3-030-24308-1_32"},{"key":"ref_10","unstructured":"Braun, G.A., Pol\u2019la, M., Cecchi, L.A., Buccella, A., Fillottrani, P.R., and Cechich, A. (2017, January 18\u201321). A DL Semantics for Reasoning over OVM-based Variability Models. Proceedings of the 30th International Workshop on Description Logics, Montpellier, France. CEUR Workshop Proceedings."},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Buccella, A., Pol\u2019la, M., de Galarreta, E.R., and Cechich, A. (2018, January 2\u20135). Combining Automatic Variability Analysis Tools: An SPL Approach for Building a Framework for Composition. Proceedings of the Computational Science and Its Applications\u2014ICCSA 2018\u201418th International Conference, Melbourne, Australia. Lecture Notes in Computer Science.","DOI":"10.1007\/978-3-319-95171-3_34"},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Eichelberger, H., and Schmid, K. (2013). A Systematic Analysis of Textual Variability Modeling Languages. Proceedings of the 17th International Software Product Line Conference, ACM. SPLC\u201913.","DOI":"10.1145\/2491627.2491652"},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.infsof.2009.05.001","article-title":"A systematic review of domain analysis tools","volume":"52","author":"Lisboa","year":"2010","journal-title":"Inf. Softw. Technol."},{"key":"ref_14","unstructured":"Sree-Kumar, A., Planas, E., and Clariso, R. (2016, January 3). Analysis of Feature Models Using Alloy: A Survey. Proceedings of the 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, FMSPLE@ETAPS 2016, Eindhoven, The Netherlands."},{"key":"ref_15","unstructured":"Jackson, D. (2006). Software Abstractions: Logic, Language, and Analysis, The MIT Press."},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Trinidad, P., Benavides, D., Cort\u00e9s, A.R., Segura, S., and Jimenez, A. (2008, January 8\u201312). FAMA Framework. Proceedings of the International Software Product Line Conference, Washington, DC, USA.","DOI":"10.1109\/SPLC.2008.50"},{"key":"ref_17","doi-asserted-by":"crossref","unstructured":"Krieter, S., Pinnecke, M., Kr\u00fcger, J., Sprey, J., Sontag, C., Th\u00fcm, T., Leich, T., and Saake, G. (2017, January 25\u201329). FeatureIDE: Empowering Third-Party Developers. Proceedings of the 21st International Systems and Software Product Line Conference\u2014Volume B, Sevilla, Spain. SPLC \u201917.","DOI":"10.1145\/3109729.3109751"},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Mendonca, M., Branco, M., and Cowan, D. (2009, January 25\u201329). S.P.L.O.T.: Software Product Lines Online Tools. Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, Orlando, FL, USA.","DOI":"10.1145\/1639950.1640002"},{"key":"ref_19","unstructured":"Roos-Frantz, F., Galindo, J.A., Benavides, D., and Ruiz-Cort\u00e9s, A. (2021, January 6\u201311). FaMa-OVM: A tool for the automated analysis of OVMs. Proceedings of the 6th International Software Product Line Conference\u2014Volume 2, Leicester, UK."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"584","DOI":"10.1016\/j.jss.2007.06.002","article-title":"Industrial validation of COVAMOF","volume":"81","author":"Sinnema","year":"2008","journal-title":"J. Syst. Softw."},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Dhungana, D., Tang, C., Weidenbach, C., and Wischnewski, P. (2013, January 11\u201315). Automated Verification of Interactive Rule-based Configuration Systems. Proceedings of the 28th IEEE\/ACM International Conference on Automated Software Engineering, Silicon Valley, CA, USA. ASE\u201913.","DOI":"10.1109\/ASE.2013.6693112"},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"1130","DOI":"10.1016\/j.scico.2010.10.005","article-title":"A text-based approach to feature modelling: Syntax and semantics of TVL","volume":"76","author":"Classen","year":"2011","journal-title":"Sci. Comput. Program."},{"key":"ref_23","doi-asserted-by":"crossref","unstructured":"Metzger, A., Pohl, K., Heymans, P., Schobbens, P., and Saval, G. (2007, January 15\u201319). Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis. Proceedings of the 15th IEEE International Requirements Engineering Conference (RE 2007), New Delhi, India.","DOI":"10.1109\/RE.2007.61"},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","article-title":"OWL 2: The Next Step for OWL","volume":"6","author":"Cuenca","year":"2008","journal-title":"Web Semant."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/j.entcs.2014.01.023","article-title":"An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models","volume":"302","author":"Giraldo","year":"2014","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"ref_26","doi-asserted-by":"crossref","unstructured":"Lomuscio, A., Nepal, S., Patrizi, F., Benatallah, B., and Brandi\u0107, I. (2014). Management of Variability in Modular Ontology Development. Service-Oriented Computing\u2014ICSOC Workshops, Springer International Publishing.","DOI":"10.1007\/978-3-319-06859-6"},{"key":"ref_27","unstructured":"Afriyanti, I., Falakh, F., Azurat, A., and Takwa, B. (2017). Feature Model-to-Ontology for SPL Application Realisation. arXiv."},{"key":"ref_28","unstructured":"Von Der Massen, T., and Lichter, H. (2021, December 21). Deficiencies in Feature Models. Available online: http:\/\/www.soberit.hut.fi\/SPLC-WS\/AcceptedPapers\/Massen.pdf."},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Nakajima, S. (2010, January 22\u201326). Semi-automated Diagnosis of FODA Feature Diagram. Proceedings of the 2010 ACM Symposium on Applied Computing, Sierre, Switzerland. SAC \u201910.","DOI":"10.1145\/1774088.1774550"},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"724","DOI":"10.1007\/s11390-014-1462-5","article-title":"Interactive Inconsistency Fixing in Feature Modeling","volume":"29","author":"Wang","year":"2014","journal-title":"J. Comput. Sci. Technol."},{"key":"ref_31","doi-asserted-by":"crossref","unstructured":"Bilic, D., Carlson, J., Sundmark, D., Afzal, W., and Wallin, P. (2020, January 19\u201323). Detecting Inconsistencies in Annotated Product Line Models. Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A, SPLC \u201920, Montreal, QC, Canada.","DOI":"10.1145\/3382025.3414969"},{"key":"ref_32","doi-asserted-by":"crossref","unstructured":"Horcas, J.M., Galindo, J.A., Heradio, R., Fernandez-Amoros, D., and Benavides, D. (2021, January 6\u201311). Monte Carlo Tree Search for Feature Model Analyses: A General Framework for Decision-Making. Proceedings of the 25th ACM International Systems and Software Product Line Conference\u2014Volume A, Leicester, UK.","DOI":"10.1145\/3461001.3471146"},{"key":"ref_33","doi-asserted-by":"crossref","unstructured":"Beek, M.H.t., Mazzanti, F., Damiani, F., Paolini, L., Scarso, G., and Lienhardt, M. (2021, January 6\u201311). Static Analysis and Family-Based Model Checking with VMC. Proceedings of the 25th ACM International Systems and Software Product Line Conference\u2014Volume A, Leicester, UK.","DOI":"10.1145\/3461001.3472732"},{"key":"ref_34","doi-asserted-by":"crossref","unstructured":"Fu, M.C. (2018, January 9\u201312). Monte Carlo tree search: A tutorial. Proceedings of the 2018 Winter Simulation Conference (WSC), Gothenburg, Sweden.","DOI":"10.1109\/WSC.2018.8632344"},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/j.cageo.2012.11.014","article-title":"Towards systematic software reuse of GIS: Insights from a case study","volume":"54","author":"Buccella","year":"2013","journal-title":"Comput. Geosci."},{"key":"ref_36","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1016\/j.cageo.2014.09.004","article-title":"Marine Ecology Service Reuse through Taxonomy-Oriented SPL Development","volume":"73","author":"Buccella","year":"2014","journal-title":"Comput. Geosci."},{"key":"ref_37","doi-asserted-by":"crossref","unstructured":"Bellatreche, L., and Manolopoulos, Y. (2015). A Reusable Software Architecture for Geographic Information Systems Based on Software Product Line Engineering. Model and Data Engineering, Springer International Publishing.","DOI":"10.1007\/978-3-319-23781-7"},{"key":"ref_38","doi-asserted-by":"crossref","unstructured":"Buccella, A., Cechich, A., Porfiri, J., and Diniz Dos Santos, D. (2019). Taxonomy-Oriented Domain Analysis of GIS: A Case Study for Paleontological Software Systems. ISPRS Int. J. Geo-Inf., 8.","DOI":"10.3390\/ijgi8060270"},{"key":"ref_39","doi-asserted-by":"crossref","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., and Wessl\u00e9n, A. (2000). Experimentation in Software Engineering: An Introduction, Kluwer Academic Publishers.","DOI":"10.1007\/978-1-4615-4625-2"},{"key":"ref_40","doi-asserted-by":"crossref","unstructured":"Wohlin, C., Runeson, P., Hst, M., Ohlsson, M.C., Regnell, B., and Wessln, A. (2012). Experimentation in Software Engineering, Springer International Publishing.","DOI":"10.1007\/978-3-642-29044-2"}],"container-title":["Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2078-2489\/13\/3\/149\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T22:35:19Z","timestamp":1760135719000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2078-2489\/13\/3\/149"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,11]]},"references-count":40,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2022,3]]}},"alternative-id":["info13030149"],"URL":"https:\/\/doi.org\/10.3390\/info13030149","relation":{},"ISSN":["2078-2489"],"issn-type":[{"type":"electronic","value":"2078-2489"}],"subject":[],"published":{"date-parts":[[2022,3,11]]}}}