{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,21]],"date-time":"2025-12-21T06:23:35Z","timestamp":1766298215084,"version":"3.37.3"},"reference-count":72,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2021,2,16]],"date-time":"2021-02-16T00:00:00Z","timestamp":1613433600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,2,16]],"date-time":"2021-02-16T00:00:00Z","timestamp":1613433600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100002428","name":"\u201cEDENSPACE\u201d","doi-asserted-by":"publisher","award":["Austrian Science Fund"],"award-info":[{"award-number":["Austrian Science Fund"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002428","name":"\u201cHigh-dimensional statistical learn- ing: New me","doi-asserted-by":"publisher","award":["Austrian Science Fund"],"award-info":[{"award-number":["Austrian Science Fund"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2021,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Engineering cyber-physical systems inhabiting contemporary urban spatial environments demands software engineering facilities to support design and operation. Tools and approaches in civil engineering and architectural informatics produce artifacts that are geometrical or geographical representations describing physical spaces. The models we consider conform to the CityGML standard; although relying on international standards and accessible in machine-readable formats, such physical space descriptions often lack semantic information that can be used to support analyses. In our context, analysis as commonly understood in software engineering refers to reasoning on properties of an abstracted model\u2014in this case a city design. We support model-based development, firstly by providing a way to derive analyzable models from CityGML descriptions, and secondly, we ensure that changes performed are propagated correctly. Essentially, a digital twin of a city is kept synchronized, in both directions, with the information from the actual city. Specifically, our formal programming technique and accompanying technical framework assure that relevant information added, or changes applied to the domain (resp. analyzable) model are reflected back in the analyzable (resp. domain) model automatically and coherently. The technique developed is rooted in the theory of bidirectional transformations, which guarantees that synchronization between models is consistent and well behaved. Produced models can bootstrap graph-theoretic, spatial or dynamic analyses. We demonstrate that bidirectional transformations can be achieved in practice on real city models.<\/jats:p>","DOI":"10.1007\/s10270-020-00851-0","type":"journal-article","created":{"date-parts":[[2021,2,19]],"date-time":"2021-02-19T00:14:20Z","timestamp":1613693660000},"page":"2003-2022","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Model-driven engineering city spaces via bidirectional model transformations"],"prefix":"10.1007","volume":"20","author":[{"given":"Ennio","family":"Visconti","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9493-3404","authenticated-orcid":false,"given":"Christos","family":"Tsigkanos","sequence":"additional","affiliation":[]},{"given":"Zhenjiang","family":"Hu","sequence":"additional","affiliation":[]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,2,16]]},"reference":[{"issue":"1","key":"851_CR1","doi-asserted-by":"publisher","first-page":"39","DOI":"10.3233\/AIC-1994-7104","volume":"7","author":"A Aamodt","year":"1994","unstructured":"Aamodt, A., Plaza, E.: Case-based reasoning: foundational issues, methodological variations, and system approaches. AI Commun. 7(1), 39\u201359 (1994)","journal-title":"AI Commun."},{"issue":"3","key":"851_CR2","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1016\/j.aej.2015.05.011","volume":"54","author":"MA Abdelmegid","year":"2015","unstructured":"Abdelmegid, M.A., Shawki, K.M., Abdel-Khalek, H.: Ga optimization model for solving tower crane location problem in construction sites. Alex. Eng. J. 54(3), 519\u2013526 (2015). https:\/\/doi.org\/10.1016\/j.aej.2015.05.011","journal-title":"Alex. Eng. J."},{"key":"851_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-30936-1_1","volume-title":"Reflections on Monadic Lenses","author":"F Abou-Saleh","year":"2016","unstructured":"Abou-Saleh, F., Cheney, J., Gibbons, J., McKinna, J., Stevens, P.: Reflections on Monadic Lenses, pp. 1\u201331. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-30936-1_1"},{"key":"851_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-79108-1_1","volume-title":"Introduction to Bidirectional Transformations","author":"F Abou-Saleh","year":"2018","unstructured":"Abou-Saleh, F., Cheney, J., Gibbons, J., McKinna, J., Stevens, P.: Introduction to Bidirectional Transformations, pp. 1\u201328. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-79108-1_1"},{"key":"851_CR5","unstructured":"Ahlers, D., Kraemer, F.A., Braten, A.E., Liu, X., Anthonisen, F., Driscoll, P., Krogstie, J.: Analysis and visualization of urban emission measurements in smart cities. In: EDBT (2018)"},{"key":"851_CR6","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.patrec.2013.04.005","volume":"35","author":"S Ahmed","year":"2014","unstructured":"Ahmed, S., Weber, M., Liwicki, M., Langenhan, C., Dengel, A., Petzold, F.: Automatic analysis and sketch-based retrieval of architectural floor plans. Pattern Recogn. Lett. 35, 91\u2013100 (2014)","journal-title":"Pattern Recogn. Lett."},{"key":"851_CR7","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1201\/b14914-23","volume-title":"Detecting Shadow for Direct Radiation Using CityGML Models for Photovoltaic Potentiality Analysis","author":"N Alam","year":"2013","unstructured":"Alam, N., Coors, V., Zlatanova, S.: Detecting Shadow for Direct Radiation Using CityGML Models for Photovoltaic Potentiality Analysis, pp. 191\u2013210. CRC Press, London (2013). https:\/\/doi.org\/10.1201\/b14914-23"},{"issue":"3","key":"851_CR8","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1007\/s10270-019-00752-x","volume":"19","author":"A Anjorin","year":"2020","unstructured":"Anjorin, A., Buchmann, T., Westfechtel, B., Diskin, Z., Ko, H.S., Eramo, R., Hinkel, G., Samimi-Dehkordi, L., Z\u00fcndorf, A.: Benchmarking bidirectional transformations: theory, implementation, application, and assessment. Softw. Syst. Model. 19(3), 647\u2013691 (2020). https:\/\/doi.org\/10.1007\/s10270-019-00752-x","journal-title":"Softw. Syst. Model."},{"key":"851_CR9","doi-asserted-by":"publisher","first-page":"79","DOI":"10.5194\/isprs-archives-XLI-B2-79-2016","volume":"XLI\u2013B2","author":"S Ates","year":"2016","unstructured":"Ates, S., Stoter, J., Ledoux, H., Ozbek, E., Yomralioglu, T.: Establishing a national 3D geo-data model for building data compliant to citygml: case of Turkey. ISPRS XLI\u2013B2, 79\u201386 (2016). https:\/\/doi.org\/10.5194\/isprs-archives-XLI-B2-79-2016","journal-title":"ISPRS"},{"key":"851_CR10","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P., et al.: Principles of Model Checking, vol. 26202649. MIT Press, Cambridge (2008)"},{"issue":"4","key":"851_CR11","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1145\/319628.319634","volume":"6","author":"F Bancilhon","year":"1981","unstructured":"Bancilhon, F., Spyratos, N.: Update semantics of relational views. ACM Trans. Database Syst. 6(4), 557\u2013575 (1981). https:\/\/doi.org\/10.1145\/319628.319634","journal-title":"ACM Trans. Database Syst."},{"key":"851_CR12","doi-asserted-by":"crossref","unstructured":"Bartocci, E., Bortolussi, L., Loreti, M., Nenzi, L.: Monitoring mobile and spatially distributed cyber-physical systems. In: J.\u00a0Talpin, P.\u00a0Derler, K.\u00a0Schneider (eds.) Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29\u2013October 02, 2017, pp. 146\u2013155. ACM (2017)","DOI":"10.1145\/3127041.3127050"},{"issue":"1","key":"851_CR13","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1186\/s40965-018-0055-6","volume":"3","author":"F Biljecki","year":"2018","unstructured":"Biljecki, F., Kumar, K., Nagel, C.: Citygml application domain extension (ade): overview of developments. Open Geospatial Data Softw. Stand. 3(1), 13 (2018). https:\/\/doi.org\/10.1186\/s40965-018-0055-6","journal-title":"Open Geospatial Data Softw. Stand."},{"issue":"4","key":"851_CR14","doi-asserted-by":"publisher","first-page":"2842","DOI":"10.3390\/ijgi4042842","volume":"4","author":"F Biljecki","year":"2015","unstructured":"Biljecki, F., Stoter, J., Ledoux, H., Zlatanova, S., \u00c7\u00f6ltekin, A.: Applications of 3D city models: state of the art review. ISPRS Int J Geo-Inf 4(4), 2842\u20132889 (2015). https:\/\/doi.org\/10.3390\/ijgi4042842","journal-title":"ISPRS Int J Geo-Inf"},{"key":"851_CR15","doi-asserted-by":"crossref","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice. M & C Publishers (2012)","DOI":"10.2200\/S00441ED1V01Y201208SWE001"},{"key":"851_CR16","doi-asserted-by":"publisher","unstructured":"Buchmann., T.: Bxtend\u2014a framework for (bidirectional) incremental model transformations. In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, vol. 1: MODELSWARD, pp. 336\u2013345. INSTICC, SciTePress (2018). https:\/\/doi.org\/10.5220\/0006563503360345","DOI":"10.5220\/0006563503360345"},{"key":"851_CR17","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"851_CR18","unstructured":"Consortium, O.G.: City Geography Markup Language (CityGML) Encoding Standard, version: 2.0.0. http:\/\/www.opengis.net\/spec\/citygml\/2.0 (2012)"},{"issue":"03","key":"851_CR19","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1142\/S0218001404003228","volume":"18","author":"D Conte","year":"2004","unstructured":"Conte, D., Foggia, P., Sansone, C., Vento, M.: Thirty years of graph matching in pattern recognition. Int. J. Pattern Recognit. Artif. Intell. 18(03), 265\u2013298 (2004)","journal-title":"Int. J. Pattern Recognit. Artif. Intell."},{"key":"851_CR20","doi-asserted-by":"publisher","unstructured":"DeBusk, W.: Unmanned Aerial Vehicle Systems for Disaster Relief: Tornado Alley, chap. Unmanned Aerial Vehicle Systems for Disaster Relief: Tornado Alley. Infotech@Aerospace Conferences. American Institute of Aeronautics and Astronautics (2010). https:\/\/doi.org\/10.2514\/6.2010-3506.","DOI":"10.2514\/6.2010-3506"},{"key":"851_CR21","volume-title":"BIM Handbook: A Guide to Building Information Modeling for Owners, Managers, Designers, Engineers and Contractors","author":"C Eastman","year":"2011","unstructured":"Eastman, C., Eastman, C.M., Teicholz, P., Sacks, R.: BIM Handbook: A Guide to Building Information Modeling for Owners, Managers, Designers, Engineers and Contractors. Wiley, Hoboken (2011)"},{"key":"851_CR22","doi-asserted-by":"publisher","DOI":"10.3390\/aerospace3010001","author":"CM Eaton","year":"2016","unstructured":"Eaton, C.M., Chong, E.K.P., Maciejewski, A.A.: Multiple-scenario unmanned aerial system control: a systems engineering approach and review of existing control methods. Aerospace (2016). https:\/\/doi.org\/10.3390\/aerospace3010001","journal-title":"Aerospace"},{"key":"851_CR23","doi-asserted-by":"publisher","unstructured":"Feng, B., Gao, J.: Distributed parallel Needleman-Wunsch algorithm on heterogeneous cluster system. In: 2015 International Conference on Network and Information Systems for Computers, pp. 358\u2013361 (2015). https:\/\/doi.org\/10.1109\/ICNISC.2015.145","DOI":"10.1109\/ICNISC.2015.145"},{"key":"851_CR24","unstructured":"Filip\u00a0Biljecki, K.H.H.: CityGML open data initiatives. http:\/\/www.citygmlwiki.org\/index.php?title=Open_Data_Initiatives (2017). Archived at\u00a0https:\/\/web.archive.org\/web\/20190815000000*\/http:\/\/www.citygmlwiki.org\/index.php\/Open_Data_Initiatives"},{"key":"851_CR25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-79108-1","volume-title":"Bidirectional Transformations","year":"2018","unstructured":"Gibbons, J., Stevens, P. (eds.): Bidirectional Transformations. Springer, Berlin (2018). https:\/\/doi.org\/10.1007\/978-3-319-79108-1"},{"key":"851_CR26","doi-asserted-by":"crossref","unstructured":"Greiner, S., Buchmann, T., Westfechtel, B.: Bidirectional transformations with QVT-R: a case study in round-trip engineering uml class models and java source code. In: 2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) pp. 15\u201327 (2016)","DOI":"10.5220\/0005644700150027"},{"key":"851_CR27","unstructured":"Group, O.M.: Meta object facility (MOF) core specification, version 2.4.1. OMG document number: formal\/2013-06-01 (2013)"},{"key":"851_CR28","doi-asserted-by":"crossref","unstructured":"Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y.: Correctness of model synchronization based on triple graph grammars. In: MoDELS (2011)","DOI":"10.1007\/978-3-642-24485-8_49"},{"key":"851_CR29","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-319-79108-1_4","volume-title":"Principles and Practice of Bidirectional Programming in BiGUL","author":"Z Hu","year":"2018","unstructured":"Hu, Z., Ko, H.S.: Principles and Practice of Bidirectional Programming in BiGUL, pp. 100\u2013150. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-79108-1_4"},{"key":"851_CR30","first-page":"351","volume":"17","author":"J Irizary","year":"2012","unstructured":"Irizary, J., Karan, E.: Optimizing location of tower cranes on construction sites through GIS and BIM integration. Electron. J. Inf. Technol. Construct. 17, 351\u2013366 (2012)","journal-title":"Electron. J. Inf. Technol. Construct."},{"key":"851_CR31","doi-asserted-by":"crossref","unstructured":"Kehrer, T., Tsigkanos, C., Ghezzi, C.: An EMOF-compliant abstract syntax for bigraphs. In: Graphs as Models at ETAPS16 (2016) (to appear)","DOI":"10.4204\/EPTCS.231.2"},{"key":"851_CR32","doi-asserted-by":"publisher","DOI":"10.1145\/3158129","author":"HS Ko","year":"2017","unstructured":"Ko, H.S., Hu, Z.: An axiomatic basis for bidirectional programming. Proc. ACM Program. Lang. (2017). https:\/\/doi.org\/10.1145\/3158129","journal-title":"Proc. ACM Program. Lang."},{"key":"851_CR33","doi-asserted-by":"publisher","unstructured":"Ko, H.S., Zan, T., Hu, Z.: Bigul: A formally verified core language for putback-based bidirectional programming. In: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM\u201916, pp. 61\u201372. Association for Computing Machinery, New York, NY (2016). https:\/\/doi.org\/10.1145\/2847538.2847544","DOI":"10.1145\/2847538.2847544"},{"key":"851_CR34","doi-asserted-by":"crossref","unstructured":"Kolbe, T., Gr\u00f6ger, G., Pl\u00fcmer, L.: Citygml: interoperable access to 3D city models. In: Geo-Information for Disaster Management. Springer (2005)","DOI":"10.1007\/3-540-27468-5_63"},{"key":"851_CR35","unstructured":"Konde, A., Saran, S.: Web enabled spatio-temporal semantic analysis of traffic noise using citygml. ISG J. Geomatics (2017)"},{"issue":"1","key":"851_CR36","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s41064-020-00095-z","volume":"88","author":"T Kutzner","year":"2020","unstructured":"Kutzner, T., Chaturvedi, K., Kolbe, T.H.: Citygml 3.0: new functions open up new applications. PFG J. Photogramm. Remote Sens. Geoinf. Sci. 88(1), 43\u201361 (2020). https:\/\/doi.org\/10.1007\/s41064-020-00095-z","journal-title":"PFG J. Photogramm. Remote Sens. Geoinf. Sci."},{"issue":"2","key":"851_CR37","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.compenvurbsys.2003.08.002","volume":"29","author":"MP Kwan","year":"2005","unstructured":"Kwan, M.P., Lee, J.: Emergency response after 9\/11: the potential of real-time 3D GIS for quick emergency response in micro-spatial environments. Comput. Environ. Urban Syst. 29(2), 93\u2013113 (2005). https:\/\/doi.org\/10.1016\/j.compenvurbsys.2003.08.002","journal-title":"Comput. Environ. Urban Syst."},{"issue":"4","key":"851_CR38","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1016\/j.aei.2013.04.005","volume":"27","author":"C Langenhan","year":"2013","unstructured":"Langenhan, C., Weber, M., Liwicki, M., Petzold, F., Dengel, A.: Graph-based retrieval of building information models for supporting the early design stages. Adv. Eng. Inform. 27(4), 413\u2013426 (2013)","journal-title":"Adv. Eng. Inform."},{"key":"851_CR39","doi-asserted-by":"publisher","first-page":"5222","DOI":"10.1109\/ACCESS.2018.2889399","volume":"7","author":"K Lano","year":"2019","unstructured":"Lano, K., Kolahdouz-Rahimi, S., Yassipour-Tehrani, S.: Declarative specification of bidirectional transformations using design patterns. IEEE Access 7, 5222\u20135249 (2019)","journal-title":"IEEE Access"},{"key":"851_CR40","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-37057-1_22","volume-title":"Fundamental Approaches to Software Engineering","author":"N Macedo","year":"2013","unstructured":"Macedo, N., Cunha, A.: Implementing QVT-R bidirectional model transformations using alloy. In: Cortellessa, V., Varr\u00f3, D. (eds.) Fundamental Approaches to Software Engineering, pp. 297\u2013311. Springer, Berlin (2013)"},{"key":"851_CR41","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/3-540-44685-0_2","volume-title":"CONCUR 2001\u2013Concurrency Theory","author":"R Milner","year":"2001","unstructured":"Milner, R.: Bigraphical reactive systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001\u2013Concurrency Theory, pp. 16\u201335. Springer, Berlin (2001)"},{"key":"851_CR42","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626661","volume-title":"The Space and Motion of Communicating Agents","author":"R Milner","year":"2009","unstructured":"Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press, Cambridge (2009)"},{"key":"851_CR43","unstructured":"M\u00fcnchen, T.: 3D city model of new york city - tum. https:\/\/www.gis.bgu.tum.de\/en\/projects\/new-york-city-3d\/ (2015)"},{"issue":"3","key":"851_CR44","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/0926-5805(92)90014-B","volume":"1","author":"G van Nederveen","year":"1992","unstructured":"van Nederveen, G., Tolman, F.: Modelling multiple views on buildings. Autom. Construct. 1(3), 215\u2013224 (1992). https:\/\/doi.org\/10.1016\/0926-5805(92)90014-B","journal-title":"Autom. Construct."},{"key":"851_CR45","doi-asserted-by":"publisher","first-page":"311","DOI":"10.3390\/ijgi7080311","volume":"7","author":"KA Ohori","year":"2018","unstructured":"Ohori, K.A., Diakit\u00e9, A.A., Krijnen, T., Ledoux, H., Stoter, J.E.: Processing BIM and GIS models in practice: experiences and recommendations from a geobim project in The Netherlands. ISPRS Int. J. Geo-Inf. 7, 311 (2018)","journal-title":"ISPRS Int. J. Geo-Inf."},{"key":"851_CR46","doi-asserted-by":"publisher","unstructured":"Pacheco, H., Hu, Z., Fischer, S.: Monadic combinators for \u201dputback\u201d style bidirectional programming. In: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation, PEPM\u201914, pp. 39\u201350. Association for Computing Machinery, New York, NY (2014). https:\/\/doi.org\/10.1145\/2543728.2543737","DOI":"10.1145\/2543728.2543737"},{"key":"851_CR47","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.autcon.2013.12.002","volume":"40","author":"S Porter","year":"2014","unstructured":"Porter, S., Tan, T., Tan, T., West, G.: Breaking into BIM: performing static and dynamic security analysis with the aid of BIM. Autom. Construct. 40, 84\u201395 (2014)","journal-title":"Autom. Construct."},{"issue":"6","key":"851_CR48","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1016\/S0022-0000(71)80016-8","volume":"5","author":"TW Pratt","year":"1971","unstructured":"Pratt, T.W.: Pair grammars, graph languages and string-to-graph translations. J. Comput. Syst. Sci. 5(6), 560\u2013595 (1971). https:\/\/doi.org\/10.1016\/S0022-0000(71)80016-8","journal-title":"J. Comput. Syst. Sci."},{"key":"851_CR49","unstructured":"Revit, A.: Revit products 2018 documentation\u2014constraints definition feature. https:\/\/knowledge.autodesk.com\/support\/revit-products\/learn-explore\/caas\/CloudHelp\/cloudhelp\/2018\/ENU\/Revit-Model\/files\/GUID-4AD7D371-F757-4BFF-9F3C-8321A77D3A02-htm.html (2018)"},{"issue":"1","key":"851_CR50","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1073\/pnas.69.1.4","volume":"69","author":"D Sankoff","year":"1972","unstructured":"Sankoff, D.: Matching sequences under deletion\/insertion constraints. Proc. Natl. Acad. Sci. 69(1), 4\u20136 (1972). https:\/\/doi.org\/10.1073\/pnas.69.1.4","journal-title":"Proc. Natl. Acad. Sci."},{"issue":"6","key":"851_CR51","doi-asserted-by":"publisher","first-page":"957","DOI":"10.1007\/s12524-018-0755-5","volume":"46","author":"S Saran","year":"2018","unstructured":"Saran, S., Oberai, K., Wate, P., Konde, A., Dutta, A., Kumar, K., Senthil Kumar, A.: Utilities of virtual 3D city models based on CITYGML: various use cases. Jo. Indian Soc. Remote Sens. 46(6), 957\u2013972 (2018). https:\/\/doi.org\/10.1007\/s12524-018-0755-5","journal-title":"Jo. Indian Soc. Remote Sens."},{"key":"851_CR52","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) Graph-Theoretic Concepts in Computer Science, pp. 151\u2013163. Springer, Berlin (1995)"},{"key":"851_CR53","doi-asserted-by":"publisher","unstructured":"Schwabe, K., K\u00f6nig, M., Teizer, J.: BIM applications of rule-based checking in construction site layout planning tasks. In: 2016 Proceedings of the 33rd ISARC, Auburn, AL, USA (2016). https:\/\/doi.org\/10.22260\/ISARC2016\/0026","DOI":"10.22260\/ISARC2016\/0026"},{"key":"851_CR54","unstructured":"SIG3D: CityGML 3.0 requirements\u2014munich 2013. http:\/\/en.wiki.modeling.sig3d.org\/index.php\/Workshop_Munich_2013 (2013)"},{"key":"851_CR55","doi-asserted-by":"publisher","first-page":"37","DOI":"10.5194\/isprs-archives-XLII-4-W7-37-2017","volume":"1","author":"KH Soon","year":"2017","unstructured":"Soon, K.H., Khoo, V.H.S.: Citygml modelling for Singapore 3D national mapping. ISPRS 1, 37\u201342 (2017). https:\/\/doi.org\/10.5194\/isprs-archives-XLII-4-W7-37-2017","journal-title":"ISPRS"},{"key":"851_CR56","unstructured":"Stadtverlassung, M.W.M..: Generalized roof model catalog (LOD2) Vienna. https:\/\/www.data.gv.at\/katalog\/dataset\/86d88cae-ad97-4476-bae5-73488a12776d (2019)"},{"key":"851_CR57","volume-title":"Model-Driven Software Development\u2014Technology, Engineering, Management","author":"T Stahl","year":"2006","unstructured":"Stahl, T., V\u00f6lter, M., Bettin, J., Haase, A., Helsen, S.: Model-Driven Software Development\u2014Technology, Engineering, Management. Pitman, London (2006)"},{"issue":"1","key":"851_CR58","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s10270-008-0109-9","volume":"9","author":"P Stevens","year":"2010","unstructured":"Stevens, P.: Bidirectional model transformations in QVT: semantic issues and open questions. Softw. Syst. Model. 9(1), 7 (2010)","journal-title":"Softw. Syst. Model."},{"key":"851_CR59","doi-asserted-by":"publisher","first-page":"355","DOI":"10.3390\/ijgi7090355","volume":"7","author":"R Stouffs","year":"2018","unstructured":"Stouffs, R., Tauscher, H., Biljecki, F.: Achieving complete and near-lossless conversion from IFC to CITYGML. ISPRS Int. J. Geo-Inf. 7, 355 (2018)","journal-title":"ISPRS Int. J. Geo-Inf."},{"key":"851_CR60","doi-asserted-by":"publisher","unstructured":"Teramoto, Y., Sato, A., Maruyama, K., Tomita, H.: Map representation for ubiquitous network robot services. In: Proceedings of the 4th ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness, ISA\u201912, pp. 29\u201332. ACM (2012). https:\/\/doi.org\/10.1145\/2442616.2442623","DOI":"10.1145\/2442616.2442623"},{"issue":"10","key":"851_CR61","doi-asserted-by":"publisher","first-page":"1011","DOI":"10.1007\/s00607-016-0509-6","volume":"98","author":"C Tsigkanos","year":"2016","unstructured":"Tsigkanos, C., Kehrer, T., Ghezzi, C.: Architecting dynamic cyber-physical spaces. Computing 98(10), 1011\u20131040 (2016)","journal-title":"Computing"},{"key":"851_CR62","doi-asserted-by":"crossref","unstructured":"Tsigkanos, C., Kehrer, T., Ghezzi, C.: Modeling and verification of evolving cyber-physical spaces. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC\/FSE 2017, 2017, pp. 38\u201348 (2017)","DOI":"10.1145\/3106237.3106299"},{"key":"851_CR63","doi-asserted-by":"crossref","unstructured":"Tsigkanos, C., Kehrer, T., Ghezzi, C., Pasquale, L., Nuseibeh, B.: Adding static and dynamic semantics to building information models. In: Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, pp. 1\u20137. ACM (2016)","DOI":"10.1145\/2897035.2897042"},{"key":"851_CR64","doi-asserted-by":"crossref","unstructured":"Tsigkanos, C., Li, N., Jin, Z., Hu, Z., Ghezzi, C.: On early statistical requirements validation of cyber-physical space systems. In: Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, ICSE 2018, Gothenburg, Sweden, May 27, 2018, pp. 13\u201318 (2018)","DOI":"10.1145\/3196478.3196485"},{"key":"851_CR65","doi-asserted-by":"crossref","unstructured":"Tsigkanos, C., Nenzi, L., Loreti, M., Garriga, M., Dustdar, S., Ghezzi, C.: Inferring analyzable models from trajectories of spatially-distributed internet-of-things. In: 1th IEEE\/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal, Canada, May 25\u201326, 2019. IEEE Computer Society (2019)","DOI":"10.1109\/SEAMS.2019.00021"},{"key":"851_CR66","doi-asserted-by":"crossref","unstructured":"Tsigkanos, C., Nianyu, L., Jin, Z., Zhenjiang, H., Ghezzi, C.: Scalable multiple-view analysis of reactive systems via bidirectional model transformations. In: Proceedings of 35th International Conference on Automated Software Engineering. IEEE (2020)","DOI":"10.1145\/3324884.3416579"},{"key":"851_CR67","doi-asserted-by":"crossref","unstructured":"Visconti, E., Tsigkanos, C., Hu, Z., Ghezzi, C.: Model-driven design of city spaces via bidirectional transformations. In: Proceedings of the ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, MODELS\u201919 (2019)","DOI":"10.1109\/MODELS.2019.00-16"},{"key":"851_CR68","unstructured":"Wagner, D.: Symmetric edit lenses: a new foundation for bidirectional languages. Ph.D. thesis, University of Pennsylvania (2014). https:\/\/search.proquest.com\/docview\/1614532529?accountid=39579. Copyright\u2014Database copyright ProQuest LLC; ProQuest Does Not Claim Copyright in the Individual Underlying Works; Last updated-2019-10-19"},{"issue":"1","key":"851_CR69","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1145\/321796.321811","volume":"21","author":"RA Wagner","year":"1974","unstructured":"Wagner, R.A., Fischer, M.J.: The string-to-string correction problem. J. ACM 21(1), 168\u2013173 (1974). https:\/\/doi.org\/10.1145\/321796.321811","journal-title":"J. ACM"},{"key":"851_CR70","unstructured":"Wessel, R., Bl\u00fcmel, I., Klein, R.: The room connectivity graph: shape retrieval in the architectural domain. In: The 16-th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (2008)"},{"key":"851_CR71","unstructured":"Ministerium\u00a0f\u00fcr Wirtschaft Innovation, D.u.E.d.L.N.W.: Nordrhein-westfalen open geographic data. https:\/\/www.opengeodata.nrw.de\/produkte\/geobasis\/3d-gm\/ (2017)"},{"key":"851_CR72","doi-asserted-by":"publisher","first-page":"66","DOI":"10.3390\/ijgi7020066","volume":"7","author":"J Zhu","year":"2018","unstructured":"Zhu, J., Wright, G., Wang, J., Wang, X.: A critical review of the integration of geographic information system and building information modelling at the data level. ISPRS Int. J. Geo-Inf. 7, 66 (2018)","journal-title":"ISPRS Int. J. Geo-Inf."}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00851-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00851-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00851-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,6]],"date-time":"2021-12-06T03:10:02Z","timestamp":1638760202000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-020-00851-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,16]]},"references-count":72,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["851"],"URL":"https:\/\/doi.org\/10.1007\/s10270-020-00851-0","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2021,2,16]]},"assertion":[{"value":"1 March 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 November 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 December 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 February 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}