{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:44:31Z","timestamp":1742913871015,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031738869"},{"type":"electronic","value":"9783031738876"}],"license":[{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-73887-6_10","type":"book-chapter","created":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:02:38Z","timestamp":1729638158000},"page":"118-128","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Case-Study on\u00a0Structured Modeling with\u00a0Internal Domain-Specific Languages"],"prefix":"10.1007","author":[{"given":"Steven","family":"Smyth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"Tegeler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Busch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"Bo\u00dfelmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,23]]},"reference":[{"key":"10_CR1","unstructured":"Brandon, C., Margaria, T.: Low-code\/no-code artificial intelligence platforms for the health informatics domain. Electron. Commun. EASST 82 (2023)"},{"key":"10_CR2","unstructured":"Bugayenko, Y.: Elegant Objects. CreateSpace Independent Publishing (2016)"},{"key":"10_CR3","unstructured":"Chaudhary, H.A.A., Margaria, T.: DSL-based interoperability and integration in the smart manufacturing digital thread (2024)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Doherty, A.J., Murphy, R.A., Schieweck, A., Clancy, S., Breathnach, C., Margaria, T.: CensusIRL: historical census data preparation with MDD support. In: 2022 IEEE International Conference on Big Data (Big Data), pp. 2507\u20132514. IEEE (2022)","DOI":"10.1109\/BigData55660.2022.10021106"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-34968-4_1","volume-title":"Integrated Formal Methods","author":"T Margaria","year":"2019","unstructured":"Margaria, T., Schieweck, A.: The digital thread in industry 4.0. In: Ahrendt, W., Tapia Tarifa, S.L. (eds.) IFM 2019. LNCS, vol. 11918, pp. 3\u201324. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-34968-4_1"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-1-4471-2297-5_10","volume-title":"Conquering Complexity","author":"T Margaria","year":"2012","unstructured":"Margaria, T., Steffen, B.: Service-orientation: conquering complexity with XMDD. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp. 217\u2013236. Springer, London (2012). https:\/\/doi.org\/10.1007\/978-1-4471-2297-5_10"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/s10009-017-0453-6","volume":"20","author":"S Naujokat","year":"2018","unstructured":"Naujokat, S., Lybecait, M., Kopetzki, D., Steffen, B.: Cinco: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Int. J. Softw. Tools Technol. Transfer 20, 327\u2013354 (2018)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Smyth, S.: Pragmatic action charts. In: Proceedings of the 22th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2024), Raleigh, NC, USA (2024, accepted)","DOI":"10.1109\/MEMOCODE63347.2024.00020"},{"key":"10_CR9","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-031-19756-7_8","volume-title":"ISoLA 2022","author":"S Smyth","year":"2022","unstructured":"Smyth, S., et al.: Executable documentation: test-first in action. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13702, pp. 135\u2013156. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-19756-7_8"},{"key":"10_CR10","unstructured":"Smyth, S., Schulz-Rosengarten, A., von Hanxleden, R.: Guidance in model-based compilations. In: Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), Doctoral Symposium. Electronic Communications of the EASST, vol.\u00a078. Limassol, Cyprus (2018)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-030-03418-4_15","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Modeling","author":"S Smyth","year":"2018","unstructured":"Smyth, S., Schulz-Rosengarten, A., von Hanxleden, R.: Towards interactive compilation models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 246\u2013260. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03418-4_15"},{"key":"10_CR12","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-031-19756-7_10","volume-title":"ISoLA 2022","author":"T Tegeler","year":"2022","unstructured":"Tegeler, T., Bo\u00dfelmann, S., Sch\u00fcrmann, J., Smyth, S., Teumert, S., Steffen, B.: Executable documentation: from documentation languages to purpose-specific languages. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13702, pp. 174\u2013192. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-19756-7_10"}],"container-title":["Lecture Notes in Computer Science","The Combined Power of Research, Education, and Dissemination"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73887-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T11:15:38Z","timestamp":1738235738000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73887-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,23]]},"ISBN":["9783031738869","9783031738876"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73887-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,23]]},"assertion":[{"value":"23 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}