{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T09:33:14Z","timestamp":1770283994716,"version":"3.49.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2019,1,20]],"date-time":"2019-01-20T00:00:00Z","timestamp":1547942400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1007\/s10270-019-00717-0","type":"journal-article","created":{"date-parts":[[2019,1,20]],"date-time":"2019-01-20T01:18:54Z","timestamp":1547947134000},"page":"3265-3281","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":32,"title":["Trade-off analysis for SysML models using decision points and CSPs"],"prefix":"10.1007","volume":"18","author":[{"given":"Patrick","family":"Leserf","sequence":"first","affiliation":[]},{"given":"Pierre","family":"de Saqui-Sannes","sequence":"additional","affiliation":[]},{"given":"J\u00e9r\u00f4me","family":"Hugues","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,1,20]]},"reference":[{"key":"717_CR1","unstructured":"INCOSE, Systems Engineering Handbook: A Guide for System Life Cycle Processes and Activities V3.1, Cecilia Haskins, CSEP (2007)"},{"key":"717_CR2","volume-title":"Model-Based Systems Engineering","author":"AW Wymore","year":"1993","unstructured":"Wymore, A.W.: Model-Based Systems Engineering. CRC Press, Boca Raton (1993)"},{"key":"717_CR3","unstructured":"SysML, OMG Systems Modeling Language (OMG SysML\u2122) V1.5 (2017). \n                    http:\/\/www.omg.org\/spec\/SysML\/1.5\/\n                    \n                  . Accessed 15 Jan\u00a02019"},{"key":"717_CR4","volume-title":"A practical guide to SysML: the system modeling language","author":"S Friedenthal","year":"2014","unstructured":"Friedenthal, S., Moore, A., Steiner, R.: A practical guide to SysML: the system modeling language. Morgan Kaufman, Burlington (2014)"},{"issue":"15","key":"717_CR5","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/0167-6377(92)90008-Q","volume":"11","author":"MS Chern","year":"1992","unstructured":"Chern, M.S.: On the computational complexity of reliability redundancy allocation in a series system. Oper. Res. Lett. 11(15), 309\u2013315 (1992)","journal-title":"Oper. Res. Lett."},{"key":"717_CR6","unstructured":"Coit, D.W., Smith, A.E.: Optimization approaches to the redundancy allocation problem for series-parallel systems. In: Proceedings of Fourth Industrial Engineering Research Conference Proceedings, pp. 342\u2013349 (1995)"},{"key":"717_CR7","doi-asserted-by":"crossref","unstructured":"Haugen, \u00d8., M\u00f8ller-Pedersen, B., Oldevik, J., Olsen, G.K., Svendsen, A.: Adding standardized variability to domain specific languages. In: Proceedings of Software Product Line Conference, pp. 139\u2013148 (2008)","DOI":"10.1109\/SPLC.2008.25"},{"issue":"11","key":"717_CR8","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/BF01210689","volume":"18","author":"I Das","year":"1999","unstructured":"Das, I.: A preference ordering among various Pareto optimal alternatives. Struct Optim 18(11), 30\u201335 (1999)","journal-title":"Struct Optim"},{"key":"717_CR9","unstructured":"CHOCO, Choco solver, EMN (2016). \n                    http:\/\/choco-solver.org\/\n                    \n                  . Accessed 2016"},{"issue":"11","key":"717_CR10","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s00158-011-0666-3","volume":"45","author":"RE Perez","year":"2012","unstructured":"Perez, R.E., Jansen, P.W., Martins, J.R.: pyOpt: a Python-based object-oriented framework for nonlinear constrained optimization. Struct. Multidiscip. Optim. 45(11), 101\u2013118 (2012)","journal-title":"Struct. Multidiscip. Optim."},{"key":"717_CR11","unstructured":"UML2, OMG. OMG Unified Modeling Language (OMG UML\u2122) V2.5 (2007). \n                    http:\/\/www.omg.org\/spec\/UML\/2.5\n                    \n                  . Accessed 15 Jan\u00a02019"},{"issue":"16","key":"717_CR12","doi-asserted-by":"publisher","first-page":"815","DOI":"10.1016\/j.ress.2007.03.032","volume":"93","author":"P Limbourg","year":"2008","unstructured":"Limbourg, P., Kochs, H.D.: Multi-objective optimization of generalized reliability design problems using feature models: a concept for early design stages. Reliab. Eng. Syst. Saf. 93(16), 815\u2013828 (2008)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"717_CR13","doi-asserted-by":"publisher","first-page":"658","DOI":"10.1109\/TSE.2012.64","volume":"39","author":"A Aleti","year":"2013","unstructured":"Aleti, A., Buhnova, B., Grunske, L., Koziolek, A., Meedeniya, I.: Software architecture optimization methods: a systematic literature review. IEEE Trans. Softw. Eng. 39, 658\u2013683 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"717_CR14","volume-title":"Handbook of Constraint Programming","author":"F Rossi","year":"2006","unstructured":"Rossi, F., Van Beek, P., Walsh, T.: Handbook of Constraint Programming. Elsevier, Amsterdam (2006)"},{"key":"717_CR15","unstructured":"Jussien, N., Rochart, G., Lorca, X.: Choco: an open source java constraint programming library. In: CPAIOR\u201908 Workshop on Open-Source Software for Integer and Constraint Programming (OSSICP\u201908), pp. 1\u201310 (2008)"},{"issue":"18","key":"717_CR16","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1002\/spe.652","volume":"35","author":"M Svahnberg","year":"2005","unstructured":"Svahnberg, M., Van Gurp, J., Bosch, J.: A taxonomy of variability realization techniques. Softw. Pract. Exp. 35(18), 705\u2013754 (2005)","journal-title":"Softw. Pract. Exp."},{"key":"717_CR17","doi-asserted-by":"publisher","DOI":"10.21236\/ADA235785","volume-title":"Feature-Oriented Domain Analysis (FODA) Feasibility Study","author":"KC Kang","year":"1990","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Software Engineering Institute, Carnegie Mellon University, Pittsburgh (1990)"},{"key":"717_CR18","doi-asserted-by":"crossref","unstructured":"Reinhartz-Berger, I., Figl, K.: Comprehensibility of orthogonal variability modeling languages: the cases of CVL and OVM. In: Proceedings of the 18th International Software Product Line Conference, vol. 1, pp. 42\u201351 (2014)","DOI":"10.1145\/2648511.2648516"},{"key":"717_CR19","volume-title":"The Architecture Analysis and Design Language (AADL): An Introduction","author":"PH Feiler","year":"2006","unstructured":"Feiler, P.H., Gluch, D.P., Hudak, J.J.: The Architecture Analysis and Design Language (AADL): An Introduction. Software Engineering Institute, Carnegie Mellon University, Pittsburgh (2006)"},{"key":"717_CR20","volume-title":"Modeling and Analysis of Real-time and Embedded Systems with UML and MARTE","author":"B Selic","year":"2014","unstructured":"Selic, B., G\u00e9rard, S.: Modeling and Analysis of Real-time and Embedded Systems with UML and MARTE. Morgan Kaufmann, Burlington (2014)"},{"key":"717_CR21","unstructured":"Eclipse, Eclipse modeling framework (2016). \n                    http:\/\/www.eclipse.org\/modeling\/emf\/\n                    \n                  . Accessed 15 Jan\u00a02019"},{"key":"717_CR22","unstructured":"Papyrus, Outil Papyrus, CEA (2015). \n                    https:\/\/eclipse.org\/papyrus\/\n                    \n                  . Accessed 15 Jan\u00a02019"},{"key":"717_CR23","unstructured":"Gent, I.P., Jefferson, C., Miguel, I.: Minion: a fast scalable constraint solver. In: ECAI (2006)"},{"issue":"11","key":"717_CR24","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1145\/1132973.1132980","volume":"32","author":"L Granvilliers","year":"2006","unstructured":"Granvilliers, L., Benhamou, F.: Algorithm 852: Realpaver: an interval solver using constraint satisfaction techniques. ACM Trans. Math. Softw. (TOMS) 32(11), 138\u2013156 (2006)","journal-title":"ACM Trans. Math. Softw. (TOMS)"},{"key":"717_CR25","unstructured":"Niemeyer, G.: Constraint solving problem resolver for Python. (2016). \n                    https:\/\/labix.org\/python-constraint\n                    \n                  . Accessed 15 Jan 2019"},{"key":"717_CR26","volume-title":"Logic Programming Using ECLiPSe","author":"KR Apt","year":"2006","unstructured":"Apt, K.R., Wallace, M.: Logic Programming Using ECLiPSe. Cambridge University Press, Cambridge (2006)"},{"issue":"12","key":"717_CR27","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/MRA.2009.932530","volume":"16","author":"JP How","year":"2009","unstructured":"How, J.P., Fraser, C., Kulling, K.C., Bertuccelli, L.F., Toupet, O., Brunet, L., Bachrach, A., Roy, N.: Increasing autonomy of UAVs. Robot. Autom. Mag. 16(12), 43\u201351 (2009)","journal-title":"Robot. Autom. Mag."},{"key":"717_CR28","unstructured":"Weatherington, D., Deputy, U.: Unmanned aircraft systems roadmap, 2005-2030, Deputy, UAV Planning Task Force, OUSD (AT&L) (2005)"},{"key":"717_CR29","doi-asserted-by":"crossref","unstructured":"Leserf, P., de Saqui-Sannes, P., Hugues, J.: Multi-domain optimization with SysML modeling. In: Proceedings of ETFA 20th IEEE Conference, Luxembourg, pp. 1\u20138. IEEE (2015)","DOI":"10.1109\/ETFA.2015.7301406"},{"key":"717_CR30","volume-title":"Implementing Domain-Specific Languages with Xtext and Xtend","author":"L Bettini","year":"2013","unstructured":"Bettini, L.: Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing Ltd., Birmingham (2013)"},{"key":"717_CR31","doi-asserted-by":"crossref","unstructured":"Leserf, P., de Saqui-Sannes, P., Hugues, J., Chaaban, K.: Architecture optimization with SysML modeling a case study using variability. In: MDE and Software Developement-CCIS, vol. 580. Springer (2015)","DOI":"10.1007\/978-3-319-27869-8_18"},{"key":"717_CR32","doi-asserted-by":"crossref","unstructured":"Min, B.I., Kerzhner, A.A., Paredis, C.J.: Process integration and design optimization for model-based systems engineering with SysML. In: ASME 2011 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, pp. 1361\u20131369 American Society of Mechanical Engineers (2011)","DOI":"10.1115\/DETC2011-48453"},{"key":"717_CR33","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.sysarc.2013.10.003","volume":"60","author":"F Herrera","year":"2014","unstructured":"Herrera, F., Posadas, H., Penil, P., Villar, E., Ferrero, F., Valencia, R., Palermo, G.: The COMPLEX methodology for UML\/MARTE modeling and design space exploration of embedded systems. J. Syst. Arch. 60, 55\u201378 (2014)","journal-title":"J. Syst. Arch."},{"key":"717_CR34","unstructured":"MARTE, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems V1.1 (2011). \n                    http:\/\/www.omg.org\/spec\/MARTE\/1.1\n                    \n                  . Accessed 15 Jan\u00a02019"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-019-00717-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-019-00717-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-019-00717-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,19]],"date-time":"2020-01-19T19:06:38Z","timestamp":1579460798000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-019-00717-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,20]]},"references-count":34,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["717"],"URL":"https:\/\/doi.org\/10.1007\/s10270-019-00717-0","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,1,20]]},"assertion":[{"value":"16 February 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 January 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 January 2019","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 January 2019","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}