{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T21:49:07Z","timestamp":1771710547612,"version":"3.50.1"},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,2,22]],"date-time":"2014-02-22T00:00:00Z","timestamp":1393027200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2016,2]]},"DOI":"10.1007\/s10270-014-0402-8","type":"journal-article","created":{"date-parts":[[2014,2,21]],"date-time":"2014-02-21T10:14:14Z","timestamp":1392977654000},"page":"257-279","source":"Crossref","is-referenced-by-count":32,"title":["Goal-oriented modeling and verification of feature-oriented product lines"],"prefix":"10.1007","volume":"15","author":[{"given":"Mohsen","family":"Asadi","sequence":"first","affiliation":[]},{"given":"Gerd","family":"Gr\u00f6ner","sequence":"additional","affiliation":[]},{"given":"Bardia","family":"Mohabbati","sequence":"additional","affiliation":[]},{"given":"Dragan","family":"Ga\u0161evi\u0107","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,2,22]]},"reference":[{"key":"402_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Berlin (2005)"},{"key":"402_CR2","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Sofware Engineerin Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU\/SEI-90-TR-021. http:\/\/resources.seicmu.edu\/library\/asset-view.cfm?AssetID=11231 (1990)","DOI":"10.21236\/ADA235785"},{"key":"402_CR3","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/1183236.1183264","volume":"49","author":"D Batory","year":"2006","unstructured":"Batory, D., Benavides, D., Ruiz-Cortes, A.: Automated analysis of feature models: challenges ahead. Commun. ACM 49, 45\u201347 (2006)","journal-title":"Commun. ACM"},{"key":"402_CR4","unstructured":"Clarke, D., Proen\u00e7a, J.: Towards a theory of views for feature models. In: SPLC Workshops, pp. 91\u201398 (2010)"},{"key":"402_CR5","doi-asserted-by":"crossref","unstructured":"Acher, M., Collet, P., Lahire, P., France, R.B.: Separation of concerns in feature modeling: support and applications. In: Proceedings of the 11th Annual International Conference on Aspect-Oriented Software Development, pp. 1\u201312. AOSD \u201912, ACM, New York, NY, USA (2012)","DOI":"10.1145\/2162049.2162051"},{"key":"402_CR6","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/291469.293165","volume":"42","author":"J Mylopoulos","year":"1999","unstructured":"Mylopoulos, J., Chung, L., Yu, E.: From object-oriented to goal-oriented requirements analysis. Commun. ACM 42, 31\u201337 (1999)","journal-title":"Commun. ACM"},{"key":"402_CR7","doi-asserted-by":"crossref","unstructured":"Yu, Y., do Prado Leite, J.C.S., Lapouchnian, A., Mylopoulos, J.: Configuring features with stakeholder goals. In: Proceedings of the 2008 ACM Symposium on Applied Computing, pp. 645\u2013649. SAC \u201908, ACM. New York, NY, USA (2008)","DOI":"10.1145\/1363686.1363840"},{"key":"402_CR8","doi-asserted-by":"crossref","unstructured":"Yu, Y., Lapouchnian, A., Liaskos, S., Mylopoulos, J., Leite, J.: From goals to high-variability software design. In: Foundations of Intelligent Systems. Volume 4994 of LCNS, pp. 1\u201316. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-68123-6_1"},{"key":"402_CR9","doi-asserted-by":"crossref","unstructured":"Lapouchnian, A., Yu, Y., Mylopoulos, J.: Requirements-driven design and configuration management of business processes. In: 5th International Conference on Business Process Management, BPM, pp. 246\u2013261. LNCS, Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-75183-0_18"},{"key":"402_CR10","doi-asserted-by":"crossref","unstructured":"Asadi, M., Bagheri, E., Gasevic, D., Hatala, M.: Goal-driven software product line engineering. In: 26th ACM Symposium on Applied Computing (2011)","DOI":"10.1145\/1982185.1982336"},{"key":"402_CR11","doi-asserted-by":"crossref","unstructured":"Metzger, A., Heymans, P., Pohl, K., Schobbens, P.Y., Saval, G.: Disambiguating the documentation of variability in software product lines: a separation of concerns, formalization and automated analysis. In: 15th IEEE International Requirements Engineering Conference, pp. 243\u2013253. RE, IEEE (2007)","DOI":"10.1109\/RE.2007.61"},{"key":"402_CR12","unstructured":"Mendonca, M.: Software product lines online tools (splot). http:\/\/www.splot-research.org\/ (2012)"},{"key":"402_CR13","volume-title":"Social Modeling for Requirements Engineering","year":"2011","unstructured":"Yu, E., Giorgin, P., Maiden, N., Mylopoulos, J. (eds.): Social Modeling for Requirements Engineering. MIT, Cambridge, MA (2011)"},{"key":"402_CR14","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/j.engappai.2004.11.017","volume":"18","author":"P Giorgini","year":"2005","unstructured":"Giorgini, P., Mylopoulos, J., Sebastiani, R.: Goal-oriented requirements analysis and reasoning in the TROPOS methodology. Eng. Appl. Artif. Intell. 18, 159\u2013171 (2005)","journal-title":"Eng. Appl. Artif. Intell."},{"key":"402_CR15","volume-title":"Non-Functional Requirements in Software Engineering","author":"L Chung","year":"1999","unstructured":"Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering, vol. 5, 1st edn. Springer, Berlin (1999)","edition":"1"},{"key":"402_CR16","volume-title":"Requirements Engineering: From System Goals to UML Models to Software Specifications","author":"A Lamsweerde van","year":"2009","unstructured":"van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley, New York (2009)"},{"key":"402_CR17","unstructured":"ITU-T: Recommendation Z.151 (10\/12): User Requirements Notation (URN) Language Definition, Geneva (2008)"},{"key":"402_CR18","doi-asserted-by":"crossref","unstructured":"Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Reasoning with goal models. In: 21st International Conference on Conceptual Modeling (ER). Volume 2503 of LNCS, pp. 167\u2013181. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45816-6_22"},{"key":"402_CR19","doi-asserted-by":"crossref","unstructured":"Sebastiani, R., Giorgini, P., Mylopoulos, J.: Simple and minimum-cost satisfiability for goal models. In: CAiSE. Volume 3084 of LNCS, pp. 20\u201335, Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-25975-6_4"},{"key":"402_CR20","doi-asserted-by":"crossref","unstructured":"Ant\u00f3nio, S., Ara\u00fajo, J.A., Silva, C.: Adapting the i* framework for software product lines. In: Proceedings of the ER 2009 Workshops on Advances in Conceptual Modeling\u2014Challenging Perspectives, pp. 286\u2013295. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-04947-7_34"},{"key":"402_CR21","doi-asserted-by":"crossref","unstructured":"Liaskos, S., Lapouchnian, A., Wang, Y., Yu, Y., Easterbrook, S.: Configuring common personal software: a requirements-driven approach. In: 13th IEEE International Conference Requirements Engineering, pp. 9\u201318 (2005)","DOI":"10.1109\/RE.2005.19"},{"key":"402_CR22","unstructured":"Weiss, D.M., Lai, C.T.R.: Software Product-line Engineering: A Family-based Software Development Process. Addison-Wesley Longman (1999)"},{"key":"402_CR23","doi-asserted-by":"crossref","unstructured":"Liaskos, S., Litoiu, M., Jungblut, M.D., Mylopoulos, J.: Goal-based behavioral customization of information systems. In: Proceedings of the 23rd International Conference on Advanced Information Systems Engineering. CAiSE\u201911, pp. 77\u201392. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21640-4_8"},{"key":"402_CR24","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1023\/A:1018980625587","volume":"5","author":"KC Kang","year":"1998","unstructured":"Kang, K.C., Kim, S., Lee, J., Kim, K., Shin, E., Huh, M.: Form: A feature-oriented reuse method with domain-specific reference architectures. Ann. Softw. Eng. 5, 143\u2013168 (1998)","journal-title":"Ann. Softw. Eng."},{"key":"402_CR25","doi-asserted-by":"crossref","unstructured":"Schobbens, P.Y., Heymans, P., Trigaux, J.C.: Feature diagrams: a survey and a formal semantics. In: Requirements Engineering, 14th IEEE International Conference, pp. 139\u2013148 (2006)","DOI":"10.1109\/RE.2006.23"},{"key":"402_CR26","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1023\/A:1018980625587","volume":"5","author":"KC Kang","year":"1998","unstructured":"Kang, K.C., Kim, S., Lee, J., Kim, K., Kim, G.J., Shin, E.: Form: A feature-oriented reuse method with domain-specific reference architectures. Ann. Softw. Eng. 5, 143\u2013168 (1998)","journal-title":"Ann. Softw. Eng."},{"key":"402_CR27","doi-asserted-by":"crossref","unstructured":"Liaskos, S., Lapouchnian, A., Yu, Y., Yu, E., Mylopoulos, J.: On goal-based variability acquisition and analysis. In: Requirements Engineering, 14th IEEE International Conference, pp. 79\u201388 (2006)","DOI":"10.1109\/RE.2006.45"},{"key":"402_CR28","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Antkiewicz, M.: Mapping features to models: a template approach based on superimposed variants. In: GPCE\u201905. Volume 3676 of LNCS, pp. 422\u2013437. Springer (2005)","DOI":"10.1007\/11561347_28"},{"key":"402_CR29","doi-asserted-by":"crossref","unstructured":"Heidenreich, F., Kopcsek, J., Wende, C.: FeatureMapper: mapping features to models. In: Companion Proceedings of the 30th International Conference on Software Engineering (ICSE\u201908), pp. 943\u2013944. ACM (2008)","DOI":"10.1145\/1370175.1370199"},{"key":"402_CR30","doi-asserted-by":"crossref","unstructured":"Gr\u00f6ner, G., Asadi, M., Mohabbati, B., Gasevic, D., Parreiras, F.S., Boskovic, M.: Validation of user intentions in process models. In: 24th International Conference on Advanced Information Systems Engineering (CAiSE), pp. 366\u2013381. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-31095-9_24"},{"key":"402_CR31","volume-title":"The Description Logic Handbook","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook, 2nd edn. Cambridge University Press, Cambridge, MA (2007)","edition":"2"},{"issue":"2","key":"402_CR32","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/j.websem.2006.11.006","volume":"5","author":"H Wang","year":"2007","unstructured":"Wang, H., Li, Y., Sun, J., Zhang, H., Pan, J.: Verifying feature models using OWL. J. Web Semant. 5(2), 117\u2013129 (2007)","journal-title":"J. Web Semant."},{"key":"402_CR33","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/S0164-1212(99)00003-5","volume":"46","author":"MI Kellner","year":"1999","unstructured":"Kellner, M.I., Madachy, R.J., Raffo, D.M.: Software process simulation modeling: Why? what. J. Syst. Softw. 46, 91\u2013105 (1999)","journal-title":"J. Syst. Softw."},{"issue":"5","key":"402_CR34","doi-asserted-by":"crossref","first-page":"4987","DOI":"10.1016\/j.eswa.2011.10.014","volume":"39","author":"J Guo","year":"2012","unstructured":"Guo, J., Wang, Y., Trinidad, P., Benavides, D.: Consistency maintenance for evolving feature models. Expert Syst. Appl. 39(5), 4987\u20134998 (2012)","journal-title":"Expert Syst. Appl."},{"issue":"7","key":"402_CR35","doi-asserted-by":"crossref","first-page":"1094","DOI":"10.1016\/j.jss.2010.02.017","volume":"83","author":"J White","year":"2010","unstructured":"White, J., Benavides, D., Schmidt, D.C., Trinidad, P., Dougherty, B., Cort\u00e9s, A.R.: Automated diagnosis of feature model configurations. J. Syst. Softw. 83(7), 1094\u20131107 (2010)","journal-title":"J. Syst. Softw."},{"issue":"3","key":"402_CR36","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s00766-011-0129-9","volume":"16","author":"S Liaskos","year":"2011","unstructured":"Liaskos, S., McIlraith, S.A., Sohrabi, S., Mylopoulos, J.: Representing and reasoning about preferences in requirements engineering. Requir. Eng. 16(3), 227\u2013249 (2011)","journal-title":"Requir. Eng."},{"key":"402_CR37","doi-asserted-by":"crossref","unstructured":"Mussbacher, G., Amyot, D., Ara\u00fajo, J.a., Moreira, A.: Transactions on Aspect-Oriented Software Development vii. Springer, Berlin, pp. 23\u201368 (2010)","DOI":"10.1007\/978-3-642-16086-8_2"},{"key":"402_CR38","unstructured":"Silva, C.T.L.L., Alencar, F.M.R., Ara\u00fajo, J., Moreira, A., de Castro, J.B.: Tailoring an aspectual goal-oriented approach to model features. In: SEKE, pp. 472\u2013477 (2008)"},{"key":"402_CR39","doi-asserted-by":"crossref","unstructured":"Borba, C., Silva, C.: A comparison of goal-oriented approaches to model software product lines variability. In: Proceedings of the ER 2009 Workshops on Advances in Conceptual Modeling-Challenging Perspectives, pp. 244\u2013253. Springer (2009)","DOI":"10.1007\/978-3-642-04947-7_30"},{"key":"402_CR40","doi-asserted-by":"crossref","unstructured":"Santos, L., Silva, L., Batista, T.: On the integration of the feature model and PL-AOVGraph. In: Proceedings of the 2011 International Workshop on Early Aspects, pp. 31\u201336 (2011)","DOI":"10.1145\/1960502.1960509"},{"key":"402_CR41","doi-asserted-by":"crossref","unstructured":"Mussbacher, G., Arajo, J., Moreira, A., Amyot, D.: Aourn-based modeling and analysis of software product lines. Softw. Qual. J., 20(3\u20134), 1\u201343. doi: 10.1007\/s11219-011-9153-8","DOI":"10.1007\/s11219-011-9153-8"},{"key":"402_CR42","unstructured":"Jureta, I., Borgida, A., Ernst, N., Mylopoulos, J.: Techne: Towards a new generation of requirements modeling languages with goals, preferences, and inconsistency handling. In: Requirements Engineering Conference (RE), 2010 18th IEEE International, pp. 115\u2013124 (2010)"},{"key":"402_CR43","doi-asserted-by":"crossref","unstructured":"Ernst, N.A., Borgida, A., Mylopoulos, J., Jureta, I.J.: Agile requirements evolution via paraconsistent reasoning. In: Proceedings of the 24th International Conference on Advanced Information Systems Engineering. CAiSE\u201912, pp. 382\u2013397. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-31095-9_25"},{"issue":"4","key":"402_CR44","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/s00766-010-0110-z","volume":"15","author":"R Ali","year":"2010","unstructured":"Ali, R., Dalpiaz, F., Giorgini, P.: A goal-based framework for contextual requirements modeling and analysis. Requir. Eng. 15(4), 439\u2013458 (2010)","journal-title":"Requir. Eng."},{"key":"402_CR45","doi-asserted-by":"crossref","unstructured":"Ali, R., Dalpiaz, F., Giorgini, P.: Reasoning with contextual requirements: Detecting inconsistency and conflicts. Inf. Softw. Technol. 55(1), 35\u201357 (2013) (Special section: Best papers from the 2nd International Symposium on Search Based Software Engineering 2010)","DOI":"10.1016\/j.infsof.2012.06.013"},{"key":"402_CR46","doi-asserted-by":"crossref","unstructured":"Varela, P., Ara\u00fajo, J.a., Brito, I., Moreira, A.: Aspect-oriented analysis for software product lines requirements engineering. In: Proceedings of the 2011 ACM Symposium on Applied Computing, pp. 667\u2013674. SAC \u201911, New York, NY, USA, ACM (2011)","DOI":"10.1145\/1982185.1982333"},{"key":"402_CR47","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness OCL constraints. In: GPCE, pp. 211\u2013220 (2006)","DOI":"10.1145\/1173706.1173738"},{"key":"402_CR48","doi-asserted-by":"crossref","unstructured":"Thaker, S., Batory, D.S., Kitchin, D., Cook, W.R.: Safe composition of product lines. In: Proceedings of the GPCE \u201906, pp. 95\u2013104 (2007)","DOI":"10.1145\/1289971.1289989"},{"key":"402_CR49","doi-asserted-by":"crossref","unstructured":"Janota, M., Botterweck, G.: Formal approach to integrating feature and architecture models. In: FASE. Volume 4961 of LNCS, pp. 31\u201345 (2008)","DOI":"10.1007\/978-3-540-78743-3_3"},{"key":"402_CR50","doi-asserted-by":"crossref","unstructured":"Van Der Storm, T.: Generic feature-based software composition. In: 6th International Conference on Software Composition. Volume 4829 of LNCS, pp. 66\u201380 (2007)","DOI":"10.1007\/978-3-540-77351-1_6"},{"key":"402_CR51","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1002\/int.20433","volume":"25","author":"D Amyot","year":"2010","unstructured":"Amyot, D., Ghanavati, S., Horkoff, J., Mussbacher, G., Peyton, L., Yu, E.: Evaluating goal models within the goal-oriented requirement language. Int. J. Intell. Syst. 25, 841\u2013877 (2010)","journal-title":"Int. J. Intell. Syst."},{"key":"402_CR52","unstructured":"Czarnecki, K., Eisenecker, U.W.: Generative Programming: Methods, Tools, and Applications. ACM Press\/Addison-Wesley Publishing Co. New York, NY, USA (2000)"},{"issue":"3","key":"402_CR53","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/MS.2010.74","volume":"27","author":"J McGregor","year":"2010","unstructured":"McGregor, J., Muthig, D., Yoshimura, K., Jensen, P.: Successful software product line practices. Softw. IEEE 27(3), 16\u201321 (2010)","journal-title":"Softw. IEEE"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0402-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-014-0402-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0402-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T20:55:55Z","timestamp":1565211355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-014-0402-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2,22]]},"references-count":53,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,2]]}},"alternative-id":["402"],"URL":"https:\/\/doi.org\/10.1007\/s10270-014-0402-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,2,22]]}}}