research-article

Adding static and dynamic semantics to building information models

Authors:

Christos Tsigkanos,

Liliana Pasquale,

Bashar NuseibehAuthors Info & Claims

SEsCPS '16: Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems

Pages 1 - 7

https://doi.org/10.1145/2897035.2897042

Published: 14 May 2016 Publication History

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.

References

[1]

L. Birkedal, T. C. Damgaard, A. J. Glenstrup, and R. Milner. Matching of Bigraphs. Electronic Notes in Theoretical Computer Science, 175(4):3--19, 2007.

Digital Library

[2]

E. M. Clarke, O. Grumberg, and D. A. Peled. Model checking. MIT press, 1999.

Digital Library

[3]

C. Eastman, C. M. Eastman, P. Teicholz, and R. Sacks. BIM Handbook: A Guide to Building Information Modeling for Owners, Managers, Designers, Engineers and Contractors. J. W & S, 2011.

Digital Library

[4]

C. Eastman, J.-m. Lee, Y.-s. Jeong, and J.-k. Lee. Automatic rule-based checking of building designs. Automation in Construction, 18(8):1011--1033, 2009.

[5]

H. Hansson and B. Jonsson. A logic for reasoning about time and reliability. Formal aspects of computing, 6(5):512--535, 1994.

[6]

H. Hermanns. Interactive markov chains: The quest for quantified quality, volume 2428 of lncs, 2002.

Digital Library

[7]

ISO 16739. Industry Foundation Classes (IFC): Data Sharing in the Construction and Facility Management Industries. iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=51622, 2013.

[8]

C. Langenhan, M. Weber, M. Liwicki, F. Petzold, and A. Dengel. Graph-based retrieval of building information models for supporting the early design stages. Advanced Engineering Informatics, 27(4):413--426, 2013.

Digital Library

[9]

E. A. Lee. Cyber Physical Systems: Design Challenges. Technical report, EECS Department, University of California, Berkeley, 2008.

[10]

R. Milner. The Space and Motion of Communicating Agents. Cambridge University Press, 2009.

Digital Library

[11]

H. Nakashima, H. Aghajan, and J. C. Augusto. Handbook of ambient intelligence and smart environments. Springer Science & Buss. Media, 2009.

Digital Library

[12]

L. Pasquale, C. Ghezzi, C. Menghi, C. Tsigkanos, and B. Nuseibeh. Topology Aware Adaptive Security. In Proc. of the 9th Int. Symp. on Software Engineering for Adaptive and Self-Managing Systems, 2014.

Digital Library

[13]

S. Porter, T. Tan, T. Tan, and G. West. Breaking into bim: Performing static and dynamic security analysis with the aid of bim. Automation in Construction, 40:84--95, 2014.

[14]

C. Tsigkanos, L. Pasquale, C. Menghi, C. Ghezzi, and B. Nuseibeh. Engineering Topology Aware Adaptive Security: Preventing Requirements Violations at Runtime. In Proc. of the 22nd Int. Requirements Engineering Conf., pages 203--212, 2014.

[15]

US Department of Veterans Affairs, Veterans Health Administration. PG-18-9 Space Planning Criteria, Electroencephalography Laboratory Functional Relationships. cfm.va.gov/til/space/SPchapter226.pdf.

Cited By

Askarpour MTsigkanos CMenghi CCalinescu RPelliccione PGarcia SCaldas Rvon Oertzen TWimmer MBerardinelli LRossi MBersani MRodrigues G(2021)RoboMAX: Robotic Mission Adaptation eXemplars2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)10.1109/SEAMS51251.2021.00040(245-251)Online publication date: May-2021
https://doi.org/10.1109/SEAMS51251.2021.00040
Visconti ETsigkanos CHu ZGhezzi C(2021)Model-driven engineering city spaces via bidirectional model transformationsSoftware and Systems Modeling10.1007/s10270-020-00851-0Online publication date: 16-Feb-2021
https://doi.org/10.1007/s10270-020-00851-0
Zhao YPour FGolestan SStroulia EBures TSchmerl BFitzgerald JWeyns D(2019)BIM3Proceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems10.1109/SEsCPS.2019.00011(18-24)Online publication date: 28-May-2019
https://dl.acm.org/doi/10.1109/SEsCPS.2019.00011
Show More Cited By

Recommendations

Modeling and verification of evolving cyber-physical spaces
ESEC/FSE 2017: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering

We increasingly live in cyber-physical spaces -- spaces that are both physical and digital, and where the two aspects are intertwined. Such spaces are highly dynamic and typically undergo continuous change. Software engineering can have a profound ...
Architecting dynamic cyber-physical spaces

We increasingly live in cyber-physical spaces: spaces that are both physical and digital, and where the two aspects are intertwined. Cyber-physical spaces may exhibit a range of behaviors, from smart control of heating, ventilation, and light to ...
Reduction Semantics and Formal Analysis of Orc Programs

Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration applications. The formal semantics of Orc poses interesting challenges, because ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SEsCPS '16: Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems

May 2016

71 pages

ISBN:9781450341714

DOI:10.1145/2897035

Copyright © 2016 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

ACM: Association for Computing Machinery
SIGSOFT: ACM Special Interest Group on Software Engineering
IEEE-CS\DATC: IEEE Computer Society
TCSE: IEEE Computer Society's Tech. Council on Software Engin.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 May 2016

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Conference

ICSE '16

Sponsor:

ACM
SIGSOFT
IEEE-CS\DATC
TCSE

ICSE '16: 38th International Conference on Software Engineering

May 14 - 22, 2016

Texas, Austin

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
146
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Askarpour MTsigkanos CMenghi CCalinescu RPelliccione PGarcia SCaldas Rvon Oertzen TWimmer MBerardinelli LRossi MBersani MRodrigues G(2021)RoboMAX: Robotic Mission Adaptation eXemplars2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)10.1109/SEAMS51251.2021.00040(245-251)Online publication date: May-2021
https://doi.org/10.1109/SEAMS51251.2021.00040
Visconti ETsigkanos CHu ZGhezzi C(2021)Model-driven engineering city spaces via bidirectional model transformationsSoftware and Systems Modeling10.1007/s10270-020-00851-0Online publication date: 16-Feb-2021
https://doi.org/10.1007/s10270-020-00851-0
Zhao YPour FGolestan SStroulia EBures TSchmerl BFitzgerald JWeyns D(2019)BIM3Proceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems10.1109/SEsCPS.2019.00011(18-24)Online publication date: 28-May-2019
https://dl.acm.org/doi/10.1109/SEsCPS.2019.00011
Tsigkanos CNenzi LLoreti MGarriga MDustdar SGhezzi CLitoiu MClarke STei K(2019)Inferring analyzable models from trajectories of spatially-distributed internet of thingsProceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.1109/SEAMS.2019.00021(100-106)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.1109/SEAMS.2019.00021
Visconti ETsigkanos CHu ZGhezzi C(2019)Model-Driven Design of City Spaces via Bidirectional Transformations2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS.2019.00-16(45-55)Online publication date: Sep-2019
https://doi.org/10.1109/MODELS.2019.00-16
Askarpour MGhezzi CMandrioli DRossi MTsigkanos C(2019)Formal Methods in Designing Critical Cyber-Physical SystemsFrom Software Engineering to Formal Methods and Tools, and Back10.1007/978-3-030-30985-5_8(110-130)Online publication date: 9-Oct-2019
https://doi.org/10.1007/978-3-030-30985-5_8
Tsigkanos CLi NJin ZHu ZGhezzi CBures TFitzgerald JSchmerl BWeyns D(2018)On early statistical requirements validation of cyber-physical space systemsProceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems10.1145/3196478.3196485(13-18)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3196478.3196485
Tsigkanos CPasquale LGhezzi CNuseibeh B(2018)On the Interplay Between Cyber and Physical Spaces for Adaptive SecurityIEEE Transactions on Dependable and Secure Computing10.1109/TDSC.2016.259988015:3(466-480)Online publication date: 1-May-2018
https://doi.org/10.1109/TDSC.2016.2599880
Cantarero RRubio ATrapero CSantofimia MVillanueva FVilla DLopez J(2018)A common-sense based system for Geo-IoTProcedia Computer Science10.1016/j.procs.2018.07.301126:C(665-674)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.1016/j.procs.2018.07.301
Tsigkanos CKehrer TGhezzi CBodden ESchäfer WDeursen AZisman A(2017)Modeling and verification of evolving cyber-physical spacesProceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering10.1145/3106237.3106299(38-48)Online publication date: 21-Aug-2017
https://dl.acm.org/doi/10.1145/3106237.3106299
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten