{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T14:42:42Z","timestamp":1762094562750,"version":"build-2065373602"},"reference-count":56,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T00:00:00Z","timestamp":1697673600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T00:00:00Z","timestamp":1697673600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2024,8]]},"DOI":"10.1007\/s10270-023-01129-x","type":"journal-article","created":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T09:02:15Z","timestamp":1697706135000},"page":"973-1002","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["DEPS: a model- and property-based language for system synthesis problems"],"prefix":"10.1007","volume":"23","author":[{"given":"Pierre-Alain","family":"Yvars","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Zimmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,10,19]]},"reference":[{"issue":"6","key":"1129_CR1","doi-asserted-by":"publisher","first-page":"3265","DOI":"10.1007\/s10270-019-00717-0","volume":"18","author":"P Leserf","year":"2019","unstructured":"Leserf, P., de Saqui-Sannes, P., Hugues, J.: Trade-off analysis for SysML models using decision points and CSPs. Softw. Syst. Model. 18(6), 3265\u20133281 (2019)","journal-title":"Softw. Syst. Model."},{"unstructured":"Object Management Group (OMG), Unified Modeling Language, Version 2.5.1, formal\/17\u201312\u201305 (https:\/\/www.omg.org\/spec\/UML\/)","key":"1129_CR2"},{"unstructured":"Object Management Group (OMG). OMG Systems Modeling Language (OMG SysML), Version 1.6. OMG Document Number formal\/19\u201311\u2013011 (https:\/\/www.omg.org\/spec\/SysML\/), (2019)","key":"1129_CR3"},{"unstructured":"Society of Automotive Engineers. SAE Standards: Architecture Analysis & Design Language (AADL), AS5506d, April 2022. (https:\/\/www.sae.org\/standards\/content\/as5506d\/), (2022)","key":"1129_CR4"},{"unstructured":"Modelica Association. Modelica: A unified object-oriented language for systems modelling\u2014Language specifications. March 2023. https:\/\/specification.modelica.org\/maint\/3.6\/MLS.html, (2023)","key":"1129_CR5"},{"issue":"44113","key":"1129_CR6","first-page":"1231","volume":"1","author":"AA Shah","year":"2012","unstructured":"Shah, A.A., Paredis, C.J.J., Burkhart, R., Schaefer, D.: Combining mathematical programming and SysML for automated component sizing of hydraulic systems. J. Comput. Inform. Sci. Eng. 1(44113), 1231\u20131245 (2012)","journal-title":"J. Comput. Inform. Sci. Eng."},{"unstructured":"Parasolver. Artisan Studio Para SolverTM 7.2 R1 Tutorials. www.InterCax.com. (2013)","key":"1129_CR7"},{"doi-asserted-by":"crossref","unstructured":"Creff, S., Le Noir, J., Lenormand, E., & Madel\u00e9nat, S.: Towards Facilities for Modeling and Synthesis of Architectures for Resource Allocation Problem in Systems Engineering. Proc of 24th Systems and Software Product Line Conference. Montreal. (2020)","key":"1129_CR8","DOI":"10.1145\/3382025.3414963"},{"unstructured":"OCL. OCL 2.4. https:\/\/www.omg.org\/spec\/OCL\/2.4\/PDF. (2014)","key":"1129_CR9"},{"unstructured":"IEEE Standard for Application and Management of the Systems Engineering Process, IEEE Std 1220\u20132005, pp c1\u201366, 2007. https:\/\/standards.ieee.org\/standard\/1220-2005.html (2007)","key":"1129_CR10"},{"unstructured":"Technical Committee ISO\/IECJTC1\/SC7. Iso\/iec\/ieee 42020:2019\u2014software, systems and enterprise\u2014architecture processes. ISO\/IEC\/IEEE 42020:2019, pp. 110,07 2019. (2019)","key":"1129_CR11"},{"unstructured":"INCOSE, Systems Engeneering vision 2035, online (https:\/\/violin-strawberry-9kms.squarespace.com\/) (2023)","key":"1129_CR12"},{"unstructured":"SysML V2, 2017, https:\/\/www.omgsysml.org\/SysML-2.htm (2017)","key":"1129_CR13"},{"unstructured":"Zeigler, B., Kim, T., Praehofer, H.: Theory of modeling and simulation, Academic Press, (2000)","key":"1129_CR14"},{"doi-asserted-by":"crossref","unstructured":"Abrial, J.: Modeling in Event-B: System and Software Engineering, Cambridge Press, (2010)","key":"1129_CR15","DOI":"10.1017\/CBO9781139195881"},{"unstructured":"Batteux, M., Prosvirnova, T., Rauzy, A.: System Structure Modeling Language (S2ML) (2015).URL https:\/\/hal.science\/hal-01234903\/document (2015)","key":"1129_CR16"},{"key":"1129_CR17","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/j.procir.2022.05.248","volume":"109C","author":"PA Yvars","year":"2022","unstructured":"Yvars, P.A., Zimmer, L.: Towards a correct by construction design of complex systems: the MBSS approach. Proced. Proced. CIRP 109C, 269\u2013274 (2022)","journal-title":"Proced. Proced. CIRP"},{"unstructured":"Zimmer, L., and Zablit, P.: Global aircraft predesign based on constraint propagation and interval analysis. CEAS Conference on Multidisciplinary Aircraft Design and Optimization, K\u00f6ln, Allemagne. (2001)","key":"1129_CR18"},{"key":"1129_CR19","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1007\/s10270-014-0441-1","volume":"15","author":"K B\u0105k","year":"2014","unstructured":"B\u0105k, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., W\u0105sowski, A.: Clafer: Unifying class and feature modeling. Softw. Syst. Model. 15, 811\u2013845 (2014)","journal-title":"Softw. Syst. Model."},{"doi-asserted-by":"crossref","unstructured":"Eugene, A., Thao, D., Oded, M., and Romain, T.: Using redundant constraints for refinement. In Ahmed Bouajjani and Wei-Ngan Chin, editors, Automated Technology for Verification and Analysis, pp. 37\u201351, Berlin, Heidelberg, (2010). Springer Berlin Heidelberg","key":"1129_CR20","DOI":"10.1007\/978-3-642-15643-4_5"},{"doi-asserted-by":"crossref","unstructured":"Famelis, M., Salay, R., Chechik, M.: Partial models: Towards modeling and reasoning with uncertainty. ICSE pp. 573\u2013583 (2012)","key":"1129_CR21","DOI":"10.1109\/ICSE.2012.6227159"},{"unstructured":"OPL manual. https:\/\/www.ibm.com\/docs\/en\/icos\/12.8.0.0?topic=manual-opl-modeling-language","key":"1129_CR22"},{"unstructured":"Fourer, R., Gay, D.M., & Kerdighan, D.W.: AMPL A language for mathematical programming. Duxbury & Thomson. 2003. https:\/\/ampl.github.io\/ampl-book.pdf (2003)","key":"1129_CR23"},{"doi-asserted-by":"crossref","unstructured":"Nethercote, N., Stuckey, P.J., Becket, R., Brand, S. Duck, G.J. and Tack, G.: MiniZinc: Towards a standard CP modelling language. In C. Bessiere, editor, Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming, volume 4741 of LNCS, pages 529\u2013543. Springer, (2007)","key":"1129_CR24","DOI":"10.1007\/978-3-540-74970-7_38"},{"key":"1129_CR25","volume-title":"GAMS a users\u2019s guide","author":"RE Rosenthal","year":"2007","unstructured":"Rosenthal, R.E.: GAMS a users\u2019s guide. GAMS Development Corporation, Washington (2007)"},{"unstructured":"Borning, A.: ThingLab\u2014An Object-Oriented System for Building Simulations Using Constraints. 5th International Joint Conference on Artificial Intelligence (IJCAI 1977), Cambridge, MA, USA, vol. 1, pp. 497\u2013498. (1977)","key":"1129_CR26"},{"issue":"1","key":"1129_CR27","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/0954-1810(96)00016-7","volume":"11","author":"I Shvetsov","year":"1997","unstructured":"Shvetsov, I., Semenov, A., Telerman, V.: Application of subdefinite models in engineering. Artif. Intell. Eng. 11(1), 15\u201324 (1997)","journal-title":"Artif. Intell. Eng."},{"unstructured":"Bensana, E., and Mulyanto, T.: A generic approach for conceptual design based on object oriented and constraint logic programming. EDA 2000. (2000)","key":"1129_CR28"},{"unstructured":"Mulyanto, T.: Utilisation des techniques de programmation par contraintes pour la conception d\u2019avions. Th\u00e8se de l'Ecole Nationale Sup\u00e9rieure de l'A\u00e9ronautique et de l'Espace, France. (2002)","key":"1129_CR29"},{"key":"1129_CR30","first-page":"28","volume":"2257","author":"B Jayaraman","year":"2002","unstructured":"Jayaraman, B., Tambay, P.: Modeling engineering structures with constrained objects PADL 2002. LNCS 2257, 28\u201346 (2002)","journal-title":"LNCS"},{"unstructured":"Tambay, P., and Jayaraman, B. The Cob Programmer\u2019s Manual.http:\/\/ www.cse.buffalo.edu\/tech-reports\/2003-01.pdf (2003)","key":"1129_CR31"},{"unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press. ISBN\u00a0978\u20130\u2013262\u201310114\u20131. (2006)","key":"1129_CR32"},{"key":"1129_CR33","volume-title":"Langage et transformation de mod\u00e8les en programmation par contraintes","author":"R Soto","year":"2009","unstructured":"Soto, R.: Langage et transformation de mod\u00e8les en programmation par contraintes. Th\u00e8se de Doctorat de l\u2019Universit\u00e9 de Nantes, France (2009)"},{"unstructured":"Soto, R. and Granvilliers, L. s-COMMA User\u2019s Manual. http:\/\/www.inf.ucv.cl\/~rsoto\/s-comma\/ (2007)","key":"1129_CR34"},{"issue":"1\u20132","key":"1129_CR35","first-page":"113","volume":"10","author":"C Vargas","year":"1995","unstructured":"Vargas, C., Saucier, A., Yvars, P.A.: Ing\u00e9nierie d\u2019aide \u00e0 la conception: un environnement pour la r\u00e9alisation d\u2019un syst\u00e8me d\u2019aide \u00e0 la conception d\u2019organes m\u00e9caniques. Revue Int. de CFAO et d\u2019Infographie 10(1\u20132), 113\u2013128 (1995)","journal-title":"Revue Int. de CFAO et d'Infographie"},{"unstructured":"Sellini, F., and Yvars, P.A.: Mod\u00e8les objet et repr\u00e9sentation d\u00e9clarative du produit en conception m\u00e9canique. Revue L'Objet, Num\u00e9ro sp\u00e9cial: les repr\u00e9sentations par objet en conception, 4(2) (1998)","key":"1129_CR36"},{"unstructured":"Albarello, N., Welcomme, J.B., and Reyterou, C.: A formal design synthesis and optimization for systems architectures. 9th International Conference of Modeling, Optimization and Simulation (MOSIM\u201912), Bordeaux, France. (2012)","key":"1129_CR37"},{"key":"1129_CR38","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/j.infsof.2019.05.006","volume":"113","author":"L Burgueno","year":"2019","unstructured":"Burgueno, L., Mayerhofer, T., Wimmer, M., Vallecillo, A.: Specifying quantities in software models. Inform. Softw. Technol. 113, 82\u201397 (2019)","journal-title":"Inform. Softw. Technol."},{"unstructured":"OMG SysMl QUDV. https:\/\/www.omgwiki.org\/OMGSysML\/doku.php?id=sysml-qudv:quantities_units_dimensions_values_qudv","key":"1129_CR39"},{"unstructured":"QUDT Ontology. https:\/\/www.qudt.org\/","key":"1129_CR40"},{"unstructured":"Modelica units. https:\/\/doc.modelica.org\/Modelica%204.0.0\/Resources\/helpDymola\/Modelica_Units.html","key":"1129_CR41"},{"unstructured":"Taylor, B.N, and Thomson, A. The International System of Units (SI). NIST, http:\/\/www.nist.gov\/pml\/pubs\/sp811\/. (2008)","key":"1129_CR42"},{"unstructured":"International Vocabulary of Metrology\u2014Basic and general concepts and associated terms, 3rd edition, (https:\/\/www.bipm.org\/documents\/20126\/2071204\/JCGM_200_2012.pdf\/f0e1ad45-d337-bbeb-53a6-15fe649d0ff1), (2008)","key":"1129_CR43"},{"doi-asserted-by":"crossref","unstructured":"Gibbings, J.C.: Dimensional Analysis, Springer, ISBN\u00a0978\u20131\u201384996\u2013316\u20139 (2011)","key":"1129_CR44","DOI":"10.1007\/978-1-84996-317-6_1"},{"unstructured":"Yvars, P.A., Zimmer, L. Integration of Constraint Programming and Model-Based Approach for System Synthesis, proc of the IEEE International Systems Conference, SYSCON, Vancouver, Canada. (2021)","key":"1129_CR45"},{"unstructured":"DEPS link nonprofit organization. https:\/\/www.depslink.com","key":"1129_CR46"},{"key":"1129_CR47","volume-title":"Foundations of Constraint Satisfaction","author":"E Tsang","year":"1993","unstructured":"Tsang, E.: Foundations of Constraint Satisfaction. Academic Press, London and San Diego (1993)"},{"unstructured":"Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.F.: Revising Hull and Box consistency,16th International Conference on Logic Programming, (1993)","key":"1129_CR48"},{"key":"1129_CR49","volume-title":"Models of requirements for avionics architecture synthesis: safety, capacity and security, Proc of the 11th Complex System Design and Management (CSDM) conference","author":"L Zimmer","year":"2020","unstructured":"Zimmer, L., Yvars, P.A., Lafaye, M.: Models of requirements for avionics architecture synthesis: safety, capacity and security, Proc of the 11th Complex System Design and Management (CSDM) conference. France, Paris (2020)"},{"unstructured":"Yvars, P.A., Zimmer, L.: Synthesis of software architecture for the control of embedded electrical generation and distribution system for aircraft under safety constraints: The case of simple failures, proc of the 14th International Conference of Industrial Engineering, CIGI-QUALITA 2021, Grenoble, France, (2021)","key":"1129_CR50"},{"doi-asserted-by":"crossref","unstructured":"Diampovesa, S., Hubert, A., Yvars, P.A.: Designing physical systems through a model-based synthesis approach. Example of a Li-ion Battery for Electrical Vehicles, Computers In Industry, Vol. 129, (2021)","key":"1129_CR51","DOI":"10.1016\/j.compind.2021.103440"},{"doi-asserted-by":"crossref","unstructured":"Hubert, A., Forgez, C., Yvars, P.A.: Designing the architecture of electrochemical energy storage systems. A model-based system synthesis approach, Journal of Energy Storage, Vol 54, Elsevier, (2022)","key":"1129_CR52","DOI":"10.1016\/j.est.2022.105351"},{"doi-asserted-by":"crossref","unstructured":"Yvars, P.A., Zimmer, L.: A Model-based Synthesis approach to system design correct by construction under environmental impact requirements, Procedia CIRP, Vol 103, Elsevier, (2021)","key":"1129_CR53","DOI":"10.1016\/j.procir.2021.10.013"},{"issue":"4","key":"1129_CR54","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1017\/S0263574700000485","volume":"8","author":"D McCloy","year":"1990","unstructured":"McCloy, D.: Some comparisons of serial-driven and parallel driven manipulators. Robotica 8(4), 355\u2013362 (1990)","journal-title":"Robotica"},{"key":"1129_CR55","volume-title":"Modeling, identification and control of robots","author":"W Khalil","year":"2002","unstructured":"Khalil, W., Dombre, E.: Modeling, identification and control of robots. Taylor Francis, New York (2002)"},{"unstructured":"Leserf, P.: Optimisation de l\u2019architecture de syst\u00e8mes embarqu\u00e9s par une approche bas\u00e9e mod\u00e8le, Phd Thesis, Toulouse University (2017)","key":"1129_CR56"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-023-01129-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-023-01129-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-023-01129-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T11:03:55Z","timestamp":1725188635000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-023-01129-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,19]]},"references-count":56,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,8]]}},"alternative-id":["1129"],"URL":"https:\/\/doi.org\/10.1007\/s10270-023-01129-x","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2023,10,19]]},"assertion":[{"value":"7 November 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 September 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 September 2023","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 October 2023","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}