{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T18:59:26Z","timestamp":1784573966977,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642415326","type":"print"},{"value":"9783642415333","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41533-3_23","type":"book-chapter","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T11:40:59Z","timestamp":1379590859000},"page":"370-387","source":"Crossref","is-referenced-by-count":25,"title":["Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Kunming","family":"Nie","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tao","family":"Yue","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shaukat","family":"Ali","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Li","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhiqiang","family":"Fan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1109\/TSE.2005.85","volume":"31","author":"W.B. Frakes","year":"2005","unstructured":"Frakes, W.B., Kang, K.: Software reuse research: Status and future. IEEE Transactions on Software Engineering\u00a031, 529\u2013536 (2005)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"726","DOI":"10.1007\/978-3-642-33666-9_46","volume-title":"Model Driven Engineering Languages and Systems","author":"S. Ali","year":"2012","unstructured":"Ali, S., Yue, T., Briand, L., Walawege, S.: A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol.\u00a07590, pp. 726\u2013742. Springer, Heidelberg (2012)"},{"key":"23_CR3","unstructured":"Cyber-Physical Systems, \n                    \n                      http:\/\/cyberphysicalsystems.org\/"},{"key":"23_CR4","first-page":"143","volume-title":"Proceedings of the 16th International Software Product Line Conference","author":"\u00d3. Ortiz","year":"2012","unstructured":"Ortiz, \u00d3., Garc\u00eda, A.B., Capilla, R., Bosch, J., Hinchey, M.: Runtime variability for dynamic reconfiguration in wireless sensor network product lines. In: Proceedings of the 16th International Software Product Line Conference, vol.\u00a02, pp. 143\u2013150. ACM, New York (2012)"},{"key":"23_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-34059-8_10","volume-title":"Large-Scale Complex IT Systems. Development, Operation and Management","author":"A. Haber","year":"2012","unstructured":"Haber, A., Rendel, H., Rumpe, B., Schaefer, I.: Evolving delta-oriented software product line architectures. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol.\u00a07539, pp. 183\u2013208. Springer, Heidelberg (2012)"},{"key":"23_CR6","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/1370731.1370743","volume-title":"Proceedings of the 2008 International Workshop on Models in Software Engineering","author":"A.L. Juarez-Dominguez","year":"2008","unstructured":"Juarez-Dominguez, A.L., Day, N.A., Joyce, J.J.: Modelling feature interactions in the automotive domain. In: Proceedings of the 2008 International Workshop on Models in Software Engineering, pp. 45\u201350. ACM, New York (2008)"},{"key":"23_CR7","unstructured":"Object Constraint Language (OCL), \n                    \n                      http:\/\/www.omg.org\/spec\/OCL\/2.2\/"},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1109\/APSEC.2012.127","volume-title":"Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference","author":"S. Creff","year":"2012","unstructured":"Creff, S., Champeau, J., Mon\u00e9gier, A., J\u00e9z\u00e9quel, J.-M.: Relationships Formalization for Model-Based Product Lines. In: Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference, vol.\u00a01, pp. 158\u2013163. IEEE Press, Washington, DC (2012)"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-45652-X_15","volume-title":"Software Product Lines","author":"S. Ferber","year":"2002","unstructured":"Ferber, S., Haag, J., Savolainen, J.: Feature interaction and dependencies: Modeling features for reengineering a legacy product line. In: Chastek, G.J. (ed.) SPLC 2002. LNCS, vol.\u00a02379, pp. 235\u2013256. Springer, Heidelberg (2002)"},{"key":"23_CR10","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/s10270-006-0004-1","volume":"5","author":"H. Mei","year":"2006","unstructured":"Mei, H., Zhang, W., Zhao, H.: A metamodel for modeling system features and their refinement, constraint and interaction relationships. Software and Systems Modeling\u00a05, 172\u2013186 (2006)","journal-title":"Software and Systems Modeling"},{"key":"23_CR11","first-page":"356","volume-title":"Proceedings of the 28th Annual International Computer Software and Applications Conference","author":"M. Jaring","year":"2004","unstructured":"Jaring, M., Bosch, J.: A taxonomy and hierarchy of variability dependencies in software product family engineering. In: Proceedings of the 28th Annual International Computer Software and Applications Conference, vol.\u00a01, pp. 356\u2013361. IEEE, Washington, DC (2004)"},{"key":"23_CR12","first-page":"200","volume-title":"OOPSLA 2005 Companion","author":"K. Czarnecki","year":"2005","unstructured":"Czarnecki, K., Antkiewicz, M., Kim, C.H.P., Lau, S., Pietroszek, K.: fmp and fmp2rsm: eclipse plug-ins for modeling features using model templates. In: OOPSLA 2005 Companion, pp. 200\u2013201. ACM, New York (2005)"},{"key":"23_CR13","unstructured":"DOPLER, Decision Oriented Product Line Engineering for effective Reuse, \n                    \n                      http:\/\/ase.jku.at\/dopler\/"},{"key":"23_CR14","first-page":"308","volume":"18","author":"K. Wan","year":"2010","unstructured":"Wan, K., Man, K., Hughes, D.: Specification, analyzing challenges and approaches for cyber-physical systems (CPS). Engineering Letters\u00a018, 308 (2010)","journal-title":"Engineering Letters"},{"key":"23_CR15","unstructured":"Pure Systems website, \n                    \n                      http:\/\/www.pure-systems.com"},{"key":"23_CR16","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1016\/j.infsof.2012.09.006","volume":"55","author":"R. Behjati","year":"2013","unstructured":"Behjati, R., Yue, T., Briand, L., Selic, B.: SimPL: A Product-Line Modeling Methodology for Families of Integrated Control Systems. Information and Software Technology\u00a055, 607\u2013629 (2013)","journal-title":"Information and Software Technology"},{"key":"23_CR17","unstructured":"Visualizing Consistency Checking in Software Product Lines, \n                    \n                      http:\/\/www.jku.at\/sea\/content\/e104861\/e170007\/e177920\/"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-540-28630-1_12","volume-title":"Software Product Lines","author":"M. Sinnema","year":"2004","unstructured":"Sinnema, M., Deelstra, S., Nijhuis, J., Bosch, J.: COVAMOF: A framework for modeling variability in software product families. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol.\u00a03154, pp. 197\u2013213. Springer, Heidelberg (2004)"},{"key":"23_CR19","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1145\/1639950.1640002","volume-title":"Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications","author":"M. Mendonca","year":"2009","unstructured":"Mendonca, M., Branco, M., Cowan, D.: SPLOT: software product lines online tools. In: Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, pp. 761\u2013762. ACM, New York (2009)"},{"key":"23_CR20","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10270-008-0090-3","volume":"8","author":"M. Rosa La","year":"2009","unstructured":"La Rosa, M., van der Aalst, W.M., Dumas, M., ter Hofstede, A.H.: Questionnaire-based variability modeling for system configuration. Software & Systems Modeling\u00a08, 251\u2013274 (2009)","journal-title":"Software & Systems Modeling"},{"key":"23_CR21","first-page":"119","volume-title":"Proceedings of the 16th International Software Product Line Conference","author":"S. El-Sharkawy","year":"2012","unstructured":"El-Sharkawy, S., Schmid, K.: Supporting the effective configuration of software product lines. In: Proceedings of the 16th International Software Product Line Conference, pp. 119\u2013126. ACM, New York (2012)"},{"key":"23_CR22","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1007\/s10270-011-0206-z","volume":"11","author":"S. Ali","year":"2012","unstructured":"Ali, S., Briand, L.C., Hemmati, H.: Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems. Software & Systems Modeling\u00a011, 633\u2013670 (2012)","journal-title":"Software & Systems Modeling"},{"key":"23_CR23","first-page":"51","volume-title":"19th International Joint Conference on Artificial Intelligence","author":"V. Myll\u00e4rniemi","year":"2005","unstructured":"Myll\u00e4rniemi, V., Asikainen, T., M\u00e4nnist\u00f6, T., Soininen, T.: Kumbang configurator\u2013a configuration tool for software product families. In: 19th International Joint Conference on Artificial Intelligence, pp. 51\u201357. Citeseer, Edinburgh-Scotland (2005)"},{"key":"23_CR24","first-page":"120","volume-title":"15th International Software Product Line Conference","author":"D. Dhungana","year":"2011","unstructured":"Dhungana, D., Seichter, D., Botterweck, G., Rabiser, R., Grunbacher, P., Benavides, D., Galindo, J.A.: Configuration of multi product lines by bridging heterogeneous variability modeling approaches. In: 15th International Software Product Line Conference, pp. 120\u2013129. IEEE, New York (2011)"},{"key":"23_CR25","unstructured":"Silva Filho, R.S., Redmiles, D.F.: Managing Feature Interaction by Documenting and Enforcing Dependencies in Software Product Lines. Feature Interactions in Software and Communication Systems IX\u00a033 (2008)"},{"key":"23_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-540-24667-1_10","volume-title":"Software Product-Family Engineering","author":"T. Ziadi","year":"2004","unstructured":"Ziadi, T., H\u00eblou\u00ebt, L., J\u00e9z\u00e9quel, J.-M.: Towards a UML profile for software product lines. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol.\u00a03014, pp. 129\u2013139. Springer, Heidelberg (2004)"},{"key":"23_CR27","unstructured":"Silva Filho, R.S., Redmiles, D.F.: Towards the Use of Dependencies to Manage Variability in Software Product Lines. Variability Management\u2013Working with Variability Mechanisms\u00a04 (2006)"},{"key":"23_CR28","first-page":"101","volume-title":"IEE Software Proceedings","author":"H. Ye","year":"2005","unstructured":"Ye, H., Liu, H.: Approach to modelling feature variability and dependencies in software product lines. In: IEE Software Proceedings, vol.\u00a0152, pp. 101\u2013109. IET, UK (2005)"},{"key":"23_CR29","first-page":"297","volume-title":"10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems","author":"D. Streitferdt","year":"2003","unstructured":"Streitferdt, D., Riebisch, M., Philippow, K.: Details of formalized relations in feature models using OCL. In: 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, pp. 297\u2013304. IEEE, New York (2003)"},{"key":"23_CR30","unstructured":"Oster, S.: Feature Model-based Software Product Line Testing. PH.D Thesis. University of Namur, Belgium (2012)"},{"key":"23_CR31","doi-asserted-by":"crossref","unstructured":"Lee, Y., Yang, C., Zhu, C., Zhao, W.: An approach to managing feature dependencies for product releasing in software product lines. Reuse of Off-the-Shelf Components, 127-141 (2006)","DOI":"10.1007\/11763864_10"},{"key":"23_CR32","first-page":"25","volume-title":"15th International Software Product Line Conference","author":"A. Nohrer","year":"2011","unstructured":"Nohrer, A., Egyed, A.: Optimizing user guidance during decision-making. In: 15th International Software Product Line Conference, pp. 25\u201334. IEEE, Washington, DC (2011)"},{"key":"23_CR33","doi-asserted-by":"publisher","first-page":"1249","DOI":"10.1016\/j.jss.2009.01.039","volume":"82","author":"O. Zimmermann","year":"2009","unstructured":"Zimmermann, O., Koehler, J., Leymann, F., Polley, R., Schuster, N.: Managing architectural decision models with dependency relations, integrity constraints, and production rules. Journal of Systems and Software\u00a082, 1249\u20131267 (2009)","journal-title":"Journal of Systems and Software"},{"key":"23_CR34","unstructured":"N\u00f6hrer, A., Egyed, A.: Conflict resolution strategies during product configuration. In: International Workshop on Variability Modelling of Software-intensive Systems, vol.\u00a037, pp. 107\u2013114 (2010)"},{"key":"23_CR35","unstructured":"Rosenm\u00fcller, M., Siegmund, N., K\u00e4stner, C., Ur Rahman, S.S.: Modeling dependent software product lines. In: GPCE Workshop on Modularization, Composition and Generative Techniques for Product Line Engineering (McGPLE), pp. 13\u201318 (2008)"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41533-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:55:12Z","timestamp":1558079712000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41533-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415326","9783642415333"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41533-3_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}