The Open UniversitySkip to content

Adding static and dynamic semantics to building information models

Tsigkanos, Christos; Kehrer, Timo; Ghezzi, Carlo; Pasquale, Liliana and Nuseibeh, Bashar (2016). Adding static and dynamic semantics to building information models. In: SEsCPS '16: Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, ACM, New York, USA, pp. 1–7.

DOI (Digital Object Identifier) Link:
Google Scholar: Look up in Google Scholar


Smart cyber-physical spaces indicate spatial environments which include both cyber and physical elements interacting with each other. In the construction industry, Building Information Models are the de facto standard for specifying complex information about building infrastructures, a representation which can also be extended for the specification of cyber-physical spaces. By providing formal static and dynamic semantics in terms of topological concepts of locality and connectivity of entities it is possible to support many forms of advanced analyses typically performed in software engineering. Static semantics aim to broadly support reasoning about latent qualities of a design. Dynamic semantics aim to deal with the dynamism that a space exhibits when additionally considering the ways it may change along with entities inhabiting it. Motivated by the setting of a smart hospital, we show how both qualitative and quantitative properties can be specified and verified.

Item Type: Conference or Workshop Item
Copyright Holders: 2016 ACM
ISBN: 1-4503-4171-3, 978-1-4503-4171-4
Project Funding Details:
Funded Project NameProject IDFunding Body
SMScom227977ERC (European Research Council)
ASAP291652ERC (European Research Council)
Keywords: Cyber-Physical Spaces; Building Information Modelling; Formal Verification
Academic Unit/School: Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
Faculty of Science, Technology, Engineering and Mathematics (STEM)
Research Group: Centre for Research in Computing (CRC)
International Development & Inclusive Innovation
Item ID: 46668
Depositing User: Danielle Lilly
Date Deposited: 16 Jun 2016 13:28
Last Modified: 11 Dec 2018 15:06
Share this page:


Altmetrics from Altmetric

Citations from Dimensions

Actions (login may be required)

Policies | Disclaimer

© The Open University   contact the OU