Model-Driven Design of City Spaces via Bidirectional Transformations
Model-Driven Design of City Spaces via Bidirectional Transformations
复制标题
通过双向转换进行模型驱动的城市空间设计
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
C. Ghezzi
中科院分区：
文献类型：
--
作者：
Ennio Visconti;Christos Tsigkanos;Zhenjiang Hu;C. Ghezzi
技术进步使新型智能环境展现出复杂的行为；智慧城市就是一个显著的例子。智能功能在很大程度上依赖于空间，需要意识到空间域中通常存在的实体，例如智慧城市中的道路、十字路口或建筑物。我们提倡基于模型的开发，将来自建筑和土木工程学科的物理空间模型转换为可分析的模型，在此模型上可以嵌入智能功能。然后可以对这些模型进行正式分析，以评估复合系统设计。我们将重点讨论如何将CityGML标准语言中指定的物理空间模型转换为可用于分析的模型，以及如何在可能发生更改后自动保持这两个模型同步。这种方法对于保证基于物理空间的复合系统的安全模型驱动开发至关重要。我们在涉及空间依赖系统的设计时间和运行时分析的场景背景下展示了真实CityGML模型的转换。
Technological advances enable new kinds of smart environments exhibiting complex behaviors; smart cities are a notable example. Smart functionalities heavily depend on space and need to be aware of entities typically found in the spatial domain, e.g. roads, intersections or buildings in a smart city. We advocate a model-based development, where the model of physical space, coming from the architecture and civil engineering disciplines, is transformed into an analyzable model upon which smart functionalities can be embedded. Such models can then be formally analyzed to assess a composite system design. We focus on how a model of physical space specified in the CityGML standard language can be transformed into a model amenable to analysis and how the two models can be automatically kept in sync after possible changes. This approach is essential to guarantee safe model-driven development of composite systems inhabiting physical spaces. We showcase transformations of real CityGML models in the context of scenarios concerning both design time and runtime analysis of space-dependent systems.