{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:15:46Z","timestamp":1742962546824,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031663383"},{"type":"electronic","value":"9783031663390"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-66339-0_8","type":"book-chapter","created":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:02:10Z","timestamp":1725562930000},"page":"158-178","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Improving Requirements in\u00a0Model-Based Systems Engineering Through Multi-layer Goal Models"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5027-2114","authenticated-orcid":false,"given":"Christophe","family":"Ponsard","sequence":"first","affiliation":[]},{"given":"Robert","family":"Darimont","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,9,6]]},"reference":[{"key":"8_CR1","unstructured":"ACWG: Goal Structuring Notation Community Standard, Version 2. The Assurance Case Working Group (2018). https:\/\/scsc.uk\/r141B:1?t=1"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Bonnet, S., Voirin, J.L., Exertier, D., Normand, V.: Not (strictly) relying on SysML for MBSE: language, tooling and development perspectives: the Arcadia\/Capella rationale. In: Annual IEEE Systems Conference (SysCon), pp.\u00a01\u20136. IEEE (2016)","DOI":"10.1109\/SYSCON.2016.7490559"},{"key":"8_CR3","unstructured":"B\u00f6hm, W., et\u00a0al.: Model-based system engineering with SysML and SPES methodology (2023). https:\/\/spesml.github.io"},{"key":"8_CR4","unstructured":"Dalpiaz, F., Franch, X., Horkoff, J.: iStar 2.0 language guide (2016). CoRR abs\/1605.07767"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Darimont, R., van Lamsweerde, A.: Formal refinement patterns for goal-driven requirements elaboration. In: Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT1996, San Francisco, California, USA, 16\u201318 October. ACM (1996)","DOI":"10.1145\/239098.239131"},{"key":"8_CR6","unstructured":"DOE: Systems Engineering Methodology, Version 3. US Department of Energy DOE G 200.1-1A (2002)"},{"key":"8_CR7","unstructured":"Ferrogalini, M., Bastard, J.L.: Return of experience on the implementation of the system engineering approach at ALSTOM. In: Complex System and Design Management International Conference, Paris (France) (2012)"},{"issue":"3","key":"8_CR8","first-page":"593","volume":"44","author":"JE Field","year":"1969","unstructured":"Field, J.E.: Toward a multi-level, multi-goal information system. Account. Rev. 44(3), 593\u2013599 (1969)","journal-title":"Account. Rev."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Giorgini, P., Kolp, M., Mylopoulos, J., Pistore, M.: The Tropos Methodology, pp. 89\u2013106. Springer, Boston (2004)","DOI":"10.1007\/1-4020-8058-1_7"},{"key":"8_CR10","unstructured":"Gupta, K., Garg, I.: Defining \u201cfour C\u2019s\u201d on smart city: concept, components, challenges, and clarifications. Karnika Gupta Ishu Garg Int. J. Res. 7, 40\u201349 (2017)"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-030-93585-6_12","volume-title":"Managing Smart Cities","author":"S Heng","year":"2022","unstructured":"Heng, S., Cheng, D., Tsilionis, K., Wautelet, Y.: Stakeholder-based management of smart cities: the case of brussels. In: Visvizi, A., Troisi, O. (eds.) Managing Smart Cities, pp. 213\u2013229. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-93585-6_12"},{"key":"8_CR12","series-title":"SpringerBriefs in Information Systems","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23000-9","volume-title":"Success and Failure of IS\/IT Projects: A State of the Art Analysis and Future Directions","author":"D Hughes","year":"2015","unstructured":"Hughes, D., et al.: Success and Failure of IS\/IT Projects: A State of the Art Analysis and Future Directions. SpringerBriefs in Information Systems, Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23000-9"},{"key":"8_CR13","unstructured":"ICAM: ICAM Architecture Part II-Volume IV - Function Modeling Manual (IDEF0). AFWAL-TR-81-4023, Materials Laboratory, Air Force Wright Aeronautical Laboratories, Air Force Systems Command, Wright-Patterson Air Force Base, Ohio 45433 (1981)"},{"key":"8_CR14","unstructured":"INCOSE: SYSTEMS ENGINEERING VISION 2020 (2007). http:\/\/www.ccose.org\/media\/upload\/SEVision2020_20071003_v2_03.pdf"},{"key":"8_CR15","unstructured":"INCOSE: Guide for writing requirements. INCOSE-TP-2010-006-02.1 (2010). https:\/\/connect.incose.org\/Pages\/Product-Details.aspx?ProductCode=TechGuideWR2019Soft"},{"key":"8_CR16","unstructured":"ITU: Recommendation Z.151 (10\/12), User Requirements Notation - Language Def. (2012). https:\/\/www.itu.int\/rec\/T-REC-Z.151"},{"key":"8_CR17","volume-title":"Problem Frames: Analyzing and Structuring Software Development Problems","author":"M Jackson","year":"2001","unstructured":"Jackson, M.: Problem Frames: Analyzing and Structuring Software Development Problems. Addison-Wesley Longman Publishing Co. Inc, Boston (2001)"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Lavazza, L., Coen-Porisini, A., Colombo, P., del Bianco, V.: A meta-model supporting the decomposition of problem descriptions. In: Proceedings of the 5th International Conference on Software Engineering Advances, ICSEA 2010, pp. 50\u201357, August 2010","DOI":"10.1109\/ICSEA.2010.15"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Lom, M., Pribyl, O.: Smart city model based on systems theory. Int. J. Inf. Manag. 56(C), 102092 (2021)","DOI":"10.1016\/j.ijinfomgt.2020.102092"},{"issue":"1","key":"8_CR20","doi-asserted-by":"publisher","first-page":"12","DOI":"10.3390\/systems7010012","volume":"7","author":"AM Madni","year":"2019","unstructured":"Madni, A.M., Purohit, S.: Economic analysis of model-based systems engineering. Systems 7(1), 12 (2019)","journal-title":"Systems"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Michot, A., Ponsard, C., Boucher, Q.: Towards better document to model synchronisation: experimentations with a proposed architecture. In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, 22\u201324 January (2018)","DOI":"10.5220\/0006687505670574"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Morkevicius, A., Aleksandraviciene, A., Mazeika, D., Bisikirskiene, L., Strolia, Z.: MBSE grid: a simplified SysML-based approach for modeling complex systems. In: INCOSE International Symposium, vol. 27, no. 1, pp. 136\u2013150 (2017)","DOI":"10.1002\/j.2334-5837.2017.00350.x"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Morkevicius, A., Bisikirskiene, L., Jankevicius, N.: We Choose MBSE: What\u2019s Next? Complex Systems Design & Management (2016)","DOI":"10.1007\/978-3-319-26109-6_36"},{"key":"8_CR24","unstructured":"No\u00a0Magic: Model Based Systems Engineering with MagicGrid (2016). https:\/\/www.omgwiki.org\/MBSE\/lib\/exe\/fetch.php?media=mbse:magicgrid.pdf"},{"key":"8_CR25","unstructured":"OMG: Unified modeling language (1997). http:\/\/www.omg.org\/spec\/UML"},{"key":"8_CR26","unstructured":"OMG: System modeling language (2005). http:\/\/www.omg.org\/spec\/SysML"},{"key":"8_CR27","unstructured":"OMG: MBSE Methodologies and Metrics (2018)"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Penzenstadler, B.: Exactly the information your subcontractor needs: Desyre - decomposing system requirements. In: 1st International Workshop on Requirements Patterns, RePa 2011, August 2011","DOI":"10.1109\/RePa.2011.6046720"},{"key":"8_CR29","unstructured":"Pimentel, J.: piStar tool for i* 2.0 (2018). https:\/\/www.cin.ufpe.br\/~jhcp\/pistar"},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Ponsard, C., Darimont, R.: Towards multi-level structuring of goal-oriented models for improved model-based systems engineering. In: Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, MODELSWARD, Lisbon, Portugal, 19\u201321 February, pp. 269\u2013274 (2023)","DOI":"10.5220\/0011866200003402"},{"key":"8_CR31","unstructured":"Respect-IT: The Objectiver Requirements Engineering Tool (2005). http:\/\/www.respect-it.com"},{"key":"8_CR32","unstructured":"Roques, P.: MBSE with the ARCADIA method and the capella tool. In: 8th European Congress on Embedded Real Time Software and Systems (ERTS) (2016)"},{"key":"8_CR33","doi-asserted-by":"crossref","unstructured":"Ross, D.T.: Structured analysis (SA): a language for communicating ideas. IEEE Trans. Softw. Eng. SE-3, 16\u201334 (1977)","DOI":"10.1109\/TSE.1977.229900"},{"key":"8_CR34","doi-asserted-by":"crossref","unstructured":"Simonofski, A., Sokolvak, D., Serral, E.: Smart city software: a review of development methodologies and modelling languages. In: Proceedings of the Advanced Information Systems Engineering Workshops - CAiSE International Workshops, Leuven, Belgium, 6\u201310 June (2022)","DOI":"10.1007\/978-3-031-07478-3_3"},{"key":"8_CR35","doi-asserted-by":"crossref","unstructured":"Teufl, S., B\u00f6hm, W., Pinger, R.: Understanding and closing the gap between requirements on system and subsystem level. In: IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE) (2014)","DOI":"10.1109\/MoDRE.2014.6890828"},{"key":"8_CR36","unstructured":"van Lamsweerde, A., Darimont, R., Massonet, P.: Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt. In: Proceedings of IEEE International Symposium on Requirement Engineering (RE 1995) (1995)"},{"key":"8_CR37","volume-title":"Requirements Engineering - From System Goals to UML Models to Software Specifications","author":"A van Lamsweerde","year":"2009","unstructured":"van Lamsweerde, A.: Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley, Chichester (2009)"},{"key":"8_CR38","doi-asserted-by":"crossref","unstructured":"Voirin, J.L., Bonnet, S., Normand, V., Exertier, D.: From initial investigations up to large-scale rollout of an MBSE method and its supporting workbench: the Thales experience. In: INCOSE International Symposium (2015)","DOI":"10.1002\/j.2334-5837.2015.00066.x"},{"key":"8_CR39","unstructured":"Weilkiens, T., Mao, M.D.: MBSE Methodologies (2022). https:\/\/mbse-methodologies.org"},{"issue":"1","key":"8_CR40","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/271159.271180","volume":"18","author":"E Yu","year":"1997","unstructured":"Yu, E., Mylopoulos, J.: Enterprise modelling for business redesign: the i* framework. SIGGROUP Bull. 18(1), 59\u201363 (1997)","journal-title":"SIGGROUP Bull."},{"key":"8_CR41","doi-asserted-by":"crossref","unstructured":"Zachman, J.A.: A framework for information systems architecture. IBM Syst. J. 26(3) (1987)","DOI":"10.1147\/sj.263.0276"}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-66339-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:03:23Z","timestamp":1725563003000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-66339-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031663383","9783031663390"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-66339-0_8","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"6 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MODELSWARD","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Model-Driven Engineering and Software Development","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lisbon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 February 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 February 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"modelsward2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}