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.

URL: http://dl.acm.org/citation.cfm?id=2897042&CFID=631...
DOI (Digital Object Identifier) Link: https://doi.org/10.1145/2897035.2897042
Google Scholar: Look up in Google Scholar

Abstract

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)
Interdisciplinary Research Centre: Centre for Policing Research and Learning (CPRL)
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: 18 Feb 2017 02:53
URI: http://oro.open.ac.uk/id/eprint/46668
Share this page:

Altmetrics

Actions (login may be required)

Policies | Disclaimer

© The Open University   contact the OU