{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T02:47:04Z","timestamp":1761965224154,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T00:00:00Z","timestamp":1603065600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,19]]},"DOI":"10.1145\/3382025.3414963","type":"proceedings-article","created":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T19:22:18Z","timestamp":1602876138000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards facilities for modeling and synthesis of architectures for resource allocation problem in systems engineering"],"prefix":"10.1145","author":[{"given":"Stephen","family":"Creff","sequence":"first","affiliation":[{"name":"IRT SystemX, Palaiseau, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00f4me Le","family":"Noir","sequence":"additional","affiliation":[{"name":"Thales Research & Technology, Palaiseau, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Lenormand","sequence":"additional","affiliation":[{"name":"Thales Research & Technology, Palaiseau, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"Madel\u00e9nat","sequence":"additional","affiliation":[{"name":"Thales Research & Technology, Palaiseau, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Parts A and B of International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, 08","author":"Integration Process","year":"2011","unstructured":"Process Integration and Design Optimization for Model-Based Systems Engineering With SysML, volume Volume 2 : 31st Computers and Information in Engineering Conference , Parts A and B of International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, 08 2011 . Process Integration and Design Optimization for Model-Based Systems Engineering With SysML, volume Volume 2: 31st Computers and Information in Engineering Conference, Parts A and B of International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, 08 2011."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2012.64"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2499779"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15643-4_5"},{"key":"e_1_3_2_1_5_1","volume-title":"SoSyM","author":"B\u0105k Kacper","year":"2014","unstructured":"Kacper B\u0105k , Zinovy Diskin , Micha\u0142 Antkiewicz , Krzysztof Czarnecki , and Andrzej W\u0105sowski . Clafer : Unifying class and feature modeling . SoSyM , 2014 . Kacper B\u0105k, Zinovy Diskin, Micha\u0142 Antkiewicz, Krzysztof Czarnecki, and Andrzej W\u0105sowski. Clafer: Unifying class and feature modeling. SoSyM, 2014."},{"issue":"79","key":"e_1_3_2_1_6_1","first-page":"88","article-title":"Supporting multidisciplinary vehicle analysis using a vehicle reference architecture model in sysml","volume":"16","author":"Branscomb Jaclyn M.","year":"2013","unstructured":"Jaclyn M. Branscomb , Christiaan J.J. Paredis , Judy Che , and Mark J. Jennings . Supporting multidisciplinary vehicle analysis using a vehicle reference architecture model in sysml . Procedia Computer Science , 16 : 79 -- 88 , 2013 . 2013 Conference on Systems Engineering Research. Jaclyn M. Branscomb, Christiaan J.J. Paredis, Judy Che, and Mark J. Jennings. Supporting multidisciplinary vehicle analysis using a vehicle reference architecture model in sysml. Procedia Computer Science, 16:79 -- 88, 2013. 2013 Conference on Systems Engineering Research.","journal-title":"Procedia Computer Science"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2014.29"},{"key":"e_1_3_2_1_8_1","volume-title":"COSLING S.A.S.","author":"Charles Prud'homme Xavier Lorca","year":"2014","unstructured":"Xavier Lorca Charles Prud'homme , Jean-Guillaume Fages . Choco3 Documentation. TASC, INRIA Rennes , LINA CNRS UMR 6241 , COSLING S.A.S. , 2014 . Xavier Lorca Charles Prud'homme, Jean-Guillaume Fages. Choco3 Documentation. TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING S.A.S., 2014."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/NORTHC.1998.731522"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2014.22"},{"key":"e_1_3_2_1_11_1","volume-title":"A Practical Guide to SysML","author":"Friedenthal Sanford","year":"2015","unstructured":"Sanford Friedenthal , Alan Moore , and Rick Steiner , editors. A Practical Guide to SysML . The MK\/OMG Press. Morgan Kaufmann , Boston, third edition, 2015 . Sanford Friedenthal, Alan Moore, and Rick Steiner, editors. A Practical Guide to SysML. The MK\/OMG Press. Morgan Kaufmann, Boston, third edition, 2015."},{"key":"e_1_3_2_1_12_1","first-page":"188","volume-title":"An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems","author":"Grunske Lars","year":"2007","unstructured":"Lars Grunske , Peter Lindsay , Egor Bondarev , Yiannis Papadopoulos , and David Parker . An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems , pages 188 -- 209 . Springer Berlin Heidelberg , Berlin, Heidelberg , 2007 . Lars Grunske, Peter Lindsay, Egor Bondarev, Yiannis Papadopoulos, and David Parker. An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems, pages 188--209. Springer Berlin Heidelberg, Berlin, Heidelberg, 2007."},{"key":"e_1_3_2_1_13_1","volume-title":"University of Waterloo. The Language clafer. BNF-converter (https:\/\/github.com\/gsdlab\/clafer\/raw\/master\/doc\/clafer.pdf)","author":"Lab GSD","year":"2015","unstructured":"GSD Lab , University of Waterloo. The Language clafer. BNF-converter (https:\/\/github.com\/gsdlab\/clafer\/raw\/master\/doc\/clafer.pdf) , 2015 . GSD Lab, University of Waterloo. The Language clafer. BNF-converter (https:\/\/github.com\/gsdlab\/clafer\/raw\/master\/doc\/clafer.pdf), 2015."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2013.10.003"},{"key":"e_1_3_2_1_15_1","first-page":"110","article-title":"Software, systems and enterprise --- architecture processes","volume":"42020","author":"Technical Committee ISO\/IECJTC1\/SC7","year":"2019","unstructured":"Technical Committee ISO\/IECJTC1\/SC7 . Software, systems and enterprise --- architecture processes . ISO\/IEC\/IEEE 42020 :2019, page 110 , 07 2019 . Technical Committee ISO\/IECJTC1\/SC7. Software, systems and enterprise --- architecture processes. ISO\/IEC\/IEEE 42020:2019, page 110, 07 2019.","journal-title":"ISO\/IEC\/IEEE"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-642-21292-5_3","volume-title":"Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems","author":"Kang Eunsuk","year":"2011","unstructured":"Eunsuk Kang , Ethan Jackson , and Wolfram Schulte . An approach for effective design space exploration . In Radu Calinescu and Ethan Jackson, editors, Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems , pages 33 -- 54 , Berlin, Heidelberg , 2011 . Springer Berlin Heidelberg . Eunsuk Kang, Ethan Jackson, and Wolfram Schulte. An approach for effective design space exploration. In Radu Calinescu and Ethan Jackson, editors, Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, pages 33--54, Berlin, Heidelberg, 2011. Springer Berlin Heidelberg."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","DOI":"10.21236\/ADA235785","volume-title":"Feature-oriented domain analysis (foda) feasibility study. 01","author":"Kang Kyo","year":"1990","unstructured":"Kyo Kang , Sholom Cohen , James Hess , William Novak , and A. Peterson . Feature-oriented domain analysis (foda) feasibility study. 01 1990 . Kyo Kang, Sholom Cohen, James Hess, William Novak, and A. Peterson. Feature-oriented domain analysis (foda) feasibility study. 01 1990."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/978-3-319-47169-3_37","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"Khalilov Eldar","year":"2016","unstructured":"Eldar Khalilov , Jordan Ross , Micha\u0142 Antkiewicz , Markus V\u00f6lter , and Krzysztof Czarnecki . Modeling and optimizing automotive electric\/electronic (e\/e) architectures: Towards making clafer accessible to practitioners . In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications , pages 447 -- 464 , Cham, 2016 . Springer International Publishing . Eldar Khalilov, Jordan Ross, Micha\u0142 Antkiewicz, Markus V\u00f6lter, and Krzysztof Czarnecki. Modeling and optimizing automotive electric\/electronic (e\/e) architectures: Towards making clafer accessible to practitioners. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, pages 447--464, Cham, 2016. Springer International Publishing."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00092"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167354"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-019-00717-0"},{"volume-title":"Automotive electronic\/electric architecture modeling, design exploration and optimization using clafer","year":"2014","key":"e_1_3_2_1_22_1","unstructured":"Murashkin, Alexandr. Automotive electronic\/electric architecture modeling, design exploration and optimization using clafer , 2014 . Murashkin, Alexandr. Automotive electronic\/electric architecture modeling, design exploration and optimization using clafer, 2014."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2420942.2420944"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.22"},{"key":"e_1_3_2_1_25_1","volume-title":"Case studies on e\/e architectures for power window and central door locks systems","author":"Ross Jordan A.","year":"2016","unstructured":"Jordan A. Ross , Micha\u0142 Antkiewicz , and Krzysztof Czarnecki . Case studies on e\/e architectures for power window and central door locks systems , 2016 . Jordan A. Ross, Micha\u0142 Antkiewicz, and Krzysztof Czarnecki. Case studies on e\/e architectures for power window and central door locks systems, 2016."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0592-y"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9152-9"},{"key":"e_1_3_2_1_28_1","volume-title":"Optimisation et Simulation- MOSIM'14","author":"Yvars Pierre-Alain","year":"2014","unstructured":"Pierre-Alain Yvars and Laurent Zimmer . [deps : A language for the specification of system design problems] deps : Un langage pour le sp\u00e9cicification de probl\u00e8mes de conception de syst\u00e8mes. In 10\u00e8me Conf\u00e9rence Francophone de Mod\u00e9lisation , Optimisation et Simulation- MOSIM'14 , 11 2014 . Pierre-Alain Yvars and Laurent Zimmer. [deps: A language for the specification of system design problems] deps : Un langage pour le sp\u00e9cicification de probl\u00e8mes de conception de syst\u00e8mes. In 10\u00e8me Conf\u00e9rence Francophone de Mod\u00e9lisation, Optimisation et Simulation- MOSIM'14, 11 2014."},{"key":"e_1_3_2_1_29_1","first-page":"341","volume-title":"Proceedings of the ITI 2013 35th International Conference on Information Technology Interfaces","author":"\u0160vogor I.","year":"2013","unstructured":"I. \u0160vogor , I. Crnkovi\u0107 , and N. Vr\u010dek . Multi-criteria software component allocation on a heterogeneous platform . In Proceedings of the ITI 2013 35th International Conference on Information Technology Interfaces , pages 341 -- 346 , 2013 . I. \u0160vogor, I. Crnkovi\u0107, and N. Vr\u010dek. Multi-criteria software component allocation on a heterogeneous platform. In Proceedings of the ITI 2013 35th International Conference on Information Technology Interfaces, pages 341--346, 2013."}],"event":{"name":"SPLC '20: 24th ACM International Systems and Software Product Line Conference","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Montreal Quebec Canada","acronym":"SPLC '20"},"container-title":["Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3382025.3414963","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3382025.3414963","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:07Z","timestamp":1750197727000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3382025.3414963"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,19]]},"references-count":29,"alternative-id":["10.1145\/3382025.3414963","10.1145\/3382025"],"URL":"https:\/\/doi.org\/10.1145\/3382025.3414963","relation":{},"subject":[],"published":{"date-parts":[[2020,10,19]]},"assertion":[{"value":"2020-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}