{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:38:24Z","timestamp":1743151104213,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319249117"},{"type":"electronic","value":"9783319249124"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24912-4_6","type":"book-chapter","created":{"date-parts":[[2015,10,6]],"date-time":"2015-10-06T14:07:30Z","timestamp":1444140450000},"page":"65-80","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Name Resolution of SDL Revisited: Drawbacks and Possible Enhancements"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Kraas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,28]]},"reference":[{"key":"6_CR1","unstructured":"International Telecommunication Union: ITU-T Recommendation Z.100 (12\/11), Specification and Description Language - Overview of SDL-2010. \n                      http:\/\/www.itu.int\/rec\/T-REC-Z.100-201112-I\/en"},{"key":"6_CR2","unstructured":"International Telecommunication Union: ITU-T Recommendation Z.101 (12\/11), Specification and Description Language - Basic SDL-2010. \n                      http:\/\/www.itu.int\/rec\/T-REC-Z.101\/en"},{"key":"6_CR3","unstructured":"International Telecommunication Union: ITU-T Recommendation Z.109 (10\/13), Specification and Description Language - Unified Modeling Language Profile for SDL-2010. \n                      http:\/\/www.itu.int\/rec\/T-REC-Z.109\/en"},{"key":"6_CR4","unstructured":"International Telecommunication Union: ITU-T Recommendation Z.100 Annex F1 (01\/15), Specification and Description Language - Overview of SDL-2010 - SDL Formal Definition: General Overview. \n                      http:\/\/www.itu.int\/rec\/T-REC-Z.100\/en"},{"key":"6_CR5","unstructured":"International Telecommunication Union: ITU-T Recommendation Z.100 Annex F2 (01\/15), Specification and Description Language - Overview of SDL-2010 - SDL Formal Definition: Static Semantics. \n                      http:\/\/www.itu.int\/rec\/T-REC-Z.100\/en"},{"key":"6_CR6","unstructured":"International Telecommunication Union: ITU-T Recommendation Z.100 Annex F3 (01\/15), Specification and Description Language - Overview of SDL-2010 - SDL Formal Definition: Dynamic Semantics. \n                      http:\/\/www.itu.int\/rec\/T-REC-Z.100\/en"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/978-3-319-11743-0_18","volume-title":"System Analysis and Modeling: Models and Reusability","author":"A Kraas","year":"2014","unstructured":"Kraas, A.: Towards an extensible modeling and validation framework for SDL-UML. In: Amyot, D., Fonseca i Casas, P., Mussbacher, G. (eds.) SAM 2014. LNCS, vol. 8769, pp. 255\u2013270. Springer, Heidelberg (2014)"},{"key":"6_CR8","volume-title":"Formale Semantik des Datentypmodells von SDL-2000","author":"MV L\u00f6wis","year":"2003","unstructured":"L\u00f6wis, M.V.: Formale Semantik des Datentypmodells von SDL-2000. Humboldt-Universit\u00e4t zu Berlin, Berlin (2003)"},{"key":"6_CR9","volume-title":"Formal Semantics for SDL - Definition and Implementation","author":"A Prinz","year":"2001","unstructured":"Prinz, A.: Formal Semantics for SDL - Definition and Implementation. Humboldt-Universit\u00e4t zu Berlin, Berlin (2001)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/3-540-45075-0_9","volume-title":"SDL 2003: System Design","author":"A Prinz","year":"2003","unstructured":"Prinz, A., L\u00f6wis, M.V.: Generating a compiler for SDL from the formal language definition. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, pp. 150\u2013165. Springer, Heidelberg (2003)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-74984-4_1","volume-title":"SDL 2007: Design for Dependable Systems","author":"A Prinz","year":"2007","unstructured":"Prinz, A., Scheidgen, M., Tveit, M.S.: A model-based standard for SDL. In: Gaudin, E., Najm, E., Reed, R. (eds.) SDL 2007. LNCS, vol. 4745, pp. 1\u201318. Springer, Heidelberg (2007)"},{"key":"6_CR12","unstructured":"Schmitt, M.: The development of a parser for SDL-2000. In: Tenth GI\/ITG Technical Meeting on Formal Description Techniques for Distributed Systems, pp. 131\u2013142. Shaker Verlag (2009)"},{"key":"6_CR13","volume-title":"SDL-Datenkonzepte - Analyse und Verbesserungen","author":"R Schr\u00f6der","year":"2003","unstructured":"Schr\u00f6der, R.: SDL-Datenkonzepte - Analyse und Verbesserungen. Humboldt-Universit\u00e4t zu Berlin, Berlin (2003)"}],"container-title":["Lecture Notes in Computer Science","SDL 2015: Model-Driven Engineering for Smart Cities"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24912-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T23:58:03Z","timestamp":1559260683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24912-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319249117","9783319249124"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24912-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"28 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}