SlideShare uma empresa Scribd logo
1 de 14
Model View Checking: 
Automated Validation 
for IFC Building Models 
Presenter: Chi Zhang 
Authors: Chi Zhang, Jakob Beetz, 
Matthias Weise
Background 
• Interoperability Requirements 
• IFC Validation 
• Exchange Requirements 
• Business Rules 
E.g. “A project must have a site.” 
IfcProject 
(INV) IsDecomposedBy [1:1 ] 
IfcRelAggregates 
RelatedObjects [1:1] 
IfcSite
Related Research 
Coordination View 
IfcProject 
(INV) IsDecomposedBy [1:1 ] 
IfcRelAggregates 
RelatedObjects [1:1] 
IfcSite 
COBie
Introduction 
• Research 
• Prototype Implementation of an IFC checker 
• Testing by real BIM standards 
• Objectives 
• Open source IFC validation tool based on open standards 
• Developing stable and easy-to-use IFC validation methods
Implementation 
• Structuring Rule-sets 
BIM Collaboration Format 
(BCF) 
• Checking Execution 
• Report Generation 
IFC
Implementation 
• Structuring Rule-sets 
• Data existence and cardinality 
• Data value and type 
• Uniqueness 
• Conditional rules 
E.g. “every wall should be typed by a wall type” 
x(Wall(x) :  y(WallType(y)  be _ Typed _ By(x, y))) 
IfcWall Ifc lDefinesByType 
x( (x) : z( Re (z) 
(x, z) 
IsTypedBy 
IfcWallType 
 
y( (y) 
latingType 
Re (z, y)))) 
 
  
  
(Chipman et al, 2013)
Implementation 
• Checking Execution 
• Report Generation 
(INV) IsTypedBy [1:1] 
IfcWall IfcRelDefinesByType 
RelatingType [1:1] 
IfcWallType 
BIM Collaboration Format
Use-cases 
• Data existence and cardinality 
“A building contains at least one level. ” 
(Statsbygg 14) 
• Data value and type 
“The site name shall contain the official 
ID.” (Statsbygg 12) 
• Uniqueness 
“The space names should be unique.” 
(Rgd 2.2.7.6) 
• Conditional rules 
“each geometric building object should 
be associated with the appropriate 
building level if it is not a component of 
other building objects.” (Rgd 2.2.7.4) 
Rule Types Requirements in Rgd BIM 
Norm 
a) data existence §2.1.1, §2.1.2, §2.1.4, 
§2.1.7, §2.1.8, §2.1.9, 
§2.2.6.1, §2.2.6.2, §2.2.6.4, 
§2.2.6.5, §2.2.7.1, §2.2.7.2, 
§2.2.7.4, §2.2.7.5, §2.2.7.6, 
§2.2.7.7, §2.2.7.8, §2.2.7.9, 
§2.2.7.10, §2.2.7.11 
b)data content §2.1.2, §2.1.7, §2.1.8, 
§2.1.9, §2.2.6.2, §2.2.7.1, 
§2.2.7,2, §2.2.7.3, §2.2.7.5, 
§2.2.7.6, §2.2.7.7, §2.2.7.8 
c)data uniqueness §2.2.6.4, §2.2.7.6 
d)conditional 
dependency 
§2.1.4, §2.2.6.3, §2.2.7.4, 
§2.2.7.7, §2.2.7.11
Demo 
• Example 
“All doors and windows should have the fire resistance property (in 
minutes) in the Pset_###Common” (Rgd 2.2.7.8).
Demo
Discussion 
• Efficiency and Reusability 
• Structuring Rule-sets is time 
consuming 
• Different agreements 
• Very few resources 
Rgd BIM Norm Statsbygg BIM Manual 
§2.1.7 Model units, 
9. Project units 
dimensions, display units, 
and rounding 
§2.2.6.5 Geographic position 
and orientation 
10. Defining and geo-referencing 
the project 
zero 
§2.2.7.1 Project 11. Project, 33. Project 
§2.2.7.2 Terrain 12. Site, 34. Site 
§2.2.7.3 Building 13. Buildings 
§2.2.7.4 Level 14. Storeys 
§2.2.7.6 Space 15. Spaces-in general, 16 
Spaces-functional, 22 
Space-functional space 
heights, 36. Spaces 
§2.2.7.5 Level Area object 18. Space-the gross area 
object 
§2.2.7.7 Grouping of 
spaces:zone 
26. Zones, 35. Functional 
zones 
§2.2.7.8 Architectural, 
structural, and mechanical 
& electrical engineering 
elements 
29. Modeling with both 
occurrence and type 
objects
Discussion 
• Ease-to-use 
• Easy-to-use comparing to full-fledged programming 
• Still need strong IFC background 
• Need structured library 
• Expressivity 
• Data derivation and inference 
• More agreements needed
On-going Work 
• Implementation Roadmap 
• https://github.com/opensourceBIM/mvdXMLChecker 
• Plugin for BIMserver and BCF server 
• Future Research 
• Domain-specific requirements 
• Investigate technologies supporting 
formally defined concept libraries 
(Berlo & Krijnen, 2014)
Sources 
• Chipman, T., Liebich, T., Weise, M. 2013. mvdXML: Specification of a 
standardized format to define and exchange Model View Definitions with 
Exchange Requirements and Validation Rules. 
• Berlo, L. A. H. M. van, Krijnen, T. 2014. Using the BIM Collaboration Format 
in a server based workflow. 12th International Conference on Design and 
Decision Support Systems in Architecture and Urban Planning, DDSS 2014 
• Rillaer, D. van, Burger, J., Ploegmakers, R., Mitossi, V., 2012. Rgd BIM 
Standard, version 1.0.1. 1–29. 
• Statsbygg, 2011. Statsbygg Building Information Modelling Manual 
Version1.2. Available at: http://www.statsbygg.no/bim, accessed January 
2014. 
/ name of department 24-9-2014 PAGE 13

Mais conteúdo relacionado

Destaque

BIMMeeting 2016 - BIM-Infra-GIS: building bridges from single buildings to di...
BIMMeeting 2016 - BIM-Infra-GIS: building bridges from single buildings to di...BIMMeeting 2016 - BIM-Infra-GIS: building bridges from single buildings to di...
BIMMeeting 2016 - BIM-Infra-GIS: building bridges from single buildings to di...Pieter Pauwels
 
Bridges.basic
Bridges.basicBridges.basic
Bridges.basickjanand
 
Context Based Adaptation of Semantic Rules in Smart Buildings
Context Based Adaptation of Semantic Rules in SmartBuildingsContext Based Adaptation of Semantic Rules in SmartBuildings
Context Based Adaptation of Semantic Rules in Smart BuildingsAnna Fensel
 
CIB W78 2015 - Semantic Rule-checking for Regulation Compliance Checking
CIB W78 2015 - Semantic Rule-checking for Regulation Compliance CheckingCIB W78 2015 - Semantic Rule-checking for Regulation Compliance Checking
CIB W78 2015 - Semantic Rule-checking for Regulation Compliance CheckingPieter Pauwels
 
SWIMing VoCamp 2016 - ifcOWL overview and current state
SWIMing VoCamp 2016 - ifcOWL overview and current stateSWIMing VoCamp 2016 - ifcOWL overview and current state
SWIMing VoCamp 2016 - ifcOWL overview and current statePieter Pauwels
 
LDAC Workshop 2016 - Linked Building Data Community Efforts
LDAC Workshop 2016 - Linked Building Data Community EffortsLDAC Workshop 2016 - Linked Building Data Community Efforts
LDAC Workshop 2016 - Linked Building Data Community EffortsPieter Pauwels
 
Example BIM Validation service with BIMSie
Example BIM Validation service with BIMSieExample BIM Validation service with BIMSie
Example BIM Validation service with BIMSieLéon Berlo
 
CIB W78 Accelerating BIM Workshop 2015 - IFC2RDF tools
CIB W78 Accelerating BIM Workshop 2015 - IFC2RDF toolsCIB W78 Accelerating BIM Workshop 2015 - IFC2RDF tools
CIB W78 Accelerating BIM Workshop 2015 - IFC2RDF toolsPieter Pauwels
 
2017 Q1 - BIMserver introduction and overview
2017 Q1 - BIMserver introduction and overview2017 Q1 - BIMserver introduction and overview
2017 Q1 - BIMserver introduction and overviewLéon Berlo
 

Destaque (12)

BIMMeeting 2016 - BIM-Infra-GIS: building bridges from single buildings to di...
BIMMeeting 2016 - BIM-Infra-GIS: building bridges from single buildings to di...BIMMeeting 2016 - BIM-Infra-GIS: building bridges from single buildings to di...
BIMMeeting 2016 - BIM-Infra-GIS: building bridges from single buildings to di...
 
Bridges.basic
Bridges.basicBridges.basic
Bridges.basic
 
Context Based Adaptation of Semantic Rules in Smart Buildings
Context Based Adaptation of Semantic Rules in SmartBuildingsContext Based Adaptation of Semantic Rules in SmartBuildings
Context Based Adaptation of Semantic Rules in Smart Buildings
 
BRIDGES 2 Unit5
BRIDGES 2 Unit5BRIDGES 2 Unit5
BRIDGES 2 Unit5
 
CIB W78 2015 - Semantic Rule-checking for Regulation Compliance Checking
CIB W78 2015 - Semantic Rule-checking for Regulation Compliance CheckingCIB W78 2015 - Semantic Rule-checking for Regulation Compliance Checking
CIB W78 2015 - Semantic Rule-checking for Regulation Compliance Checking
 
Semantics
SemanticsSemantics
Semantics
 
SWIMing VoCamp 2016 - ifcOWL overview and current state
SWIMing VoCamp 2016 - ifcOWL overview and current stateSWIMing VoCamp 2016 - ifcOWL overview and current state
SWIMing VoCamp 2016 - ifcOWL overview and current state
 
LDAC Workshop 2016 - Linked Building Data Community Efforts
LDAC Workshop 2016 - Linked Building Data Community EffortsLDAC Workshop 2016 - Linked Building Data Community Efforts
LDAC Workshop 2016 - Linked Building Data Community Efforts
 
Example BIM Validation service with BIMSie
Example BIM Validation service with BIMSieExample BIM Validation service with BIMSie
Example BIM Validation service with BIMSie
 
CIB W78 Accelerating BIM Workshop 2015 - IFC2RDF tools
CIB W78 Accelerating BIM Workshop 2015 - IFC2RDF toolsCIB W78 Accelerating BIM Workshop 2015 - IFC2RDF tools
CIB W78 Accelerating BIM Workshop 2015 - IFC2RDF tools
 
Bridges2 Unit4
Bridges2 Unit4Bridges2 Unit4
Bridges2 Unit4
 
2017 Q1 - BIMserver introduction and overview
2017 Q1 - BIMserver introduction and overview2017 Q1 - BIMserver introduction and overview
2017 Q1 - BIMserver introduction and overview
 

Semelhante a Ecppm2014 presentation

Enabling BIM workflow for informed and collaborative projects | Empowering yo...
Enabling BIM workflow for informed and collaborative projects | Empowering yo...Enabling BIM workflow for informed and collaborative projects | Empowering yo...
Enabling BIM workflow for informed and collaborative projects | Empowering yo...The NBS
 
Enabling BIM Workflow for Informed and Collaborative Projects | Empowering yo...
Enabling BIM Workflow for Informed and Collaborative Projects | Empowering yo...Enabling BIM Workflow for Informed and Collaborative Projects | Empowering yo...
Enabling BIM Workflow for Informed and Collaborative Projects | Empowering yo...The NBS
 
Pr kfa structuring_bi_msforifcandcobie_20120223
Pr kfa structuring_bi_msforifcandcobie_20120223Pr kfa structuring_bi_msforifcandcobie_20120223
Pr kfa structuring_bi_msforifcandcobie_20120223Adrianna Schneider
 
Pr kfa structuring_bi_msforifcandcobie_20120223
Pr kfa structuring_bi_msforifcandcobie_20120223Pr kfa structuring_bi_msforifcandcobie_20120223
Pr kfa structuring_bi_msforifcandcobie_20120223Adrianna Schneider
 
MAC Furniture by Sonu Vishwakarma
MAC Furniture by Sonu VishwakarmaMAC Furniture by Sonu Vishwakarma
MAC Furniture by Sonu VishwakarmaSonu Vishwakarma
 
AEC Hackathon -London (06-08/10/2017) Team Conenctivity- BIM and smart city c...
AEC Hackathon -London (06-08/10/2017) Team Conenctivity- BIM and smart city c...AEC Hackathon -London (06-08/10/2017) Team Conenctivity- BIM and smart city c...
AEC Hackathon -London (06-08/10/2017) Team Conenctivity- BIM and smart city c...Ali Ismail
 
Mastering react with redux
Mastering react with reduxMastering react with redux
Mastering react with reduxGaurav Singh
 
A cloud-based platform for IFC file enrichment with second-level space bound...
A cloud-based platform for IFC file enrichment with  second-level space bound...A cloud-based platform for IFC file enrichment with  second-level space bound...
A cloud-based platform for IFC file enrichment with second-level space bound...Kyriakos Katsigarakis
 
Aec digital solutions portfolio(COBie/Level 2 BIM)
Aec digital solutions portfolio(COBie/Level 2 BIM)Aec digital solutions portfolio(COBie/Level 2 BIM)
Aec digital solutions portfolio(COBie/Level 2 BIM)AEC Digital Solutions LLC
 
AAM Group GIS - BIM Integration
AAM Group GIS - BIM Integration AAM Group GIS - BIM Integration
AAM Group GIS - BIM Integration Brian Nicholls
 
도시 인프라 공간정보 데이터 커넥션-통합 기술 표준화를 위한 ISO TC211 19166 개발 이야기
도시 인프라 공간정보 데이터 커넥션-통합 기술 표준화를 위한 ISO TC211 19166 개발 이야기 도시 인프라 공간정보 데이터 커넥션-통합 기술 표준화를 위한 ISO TC211 19166 개발 이야기
도시 인프라 공간정보 데이터 커넥션-통합 기술 표준화를 위한 ISO TC211 19166 개발 이야기 Tae wook kang
 
Distributed objects & components of corba
Distributed objects & components of corbaDistributed objects & components of corba
Distributed objects & components of corbaMayuresh Wadekar
 
Whitepaper: How Autodesk Supports Open Data Exchange Standards
Whitepaper: How Autodesk Supports Open Data Exchange Standards Whitepaper: How Autodesk Supports Open Data Exchange Standards
Whitepaper: How Autodesk Supports Open Data Exchange Standards Sander Lijbers
 
Trusted BIM: Accurate As-Builts for Project Coordination
Trusted BIM: Accurate As-Builts for Project CoordinationTrusted BIM: Accurate As-Builts for Project Coordination
Trusted BIM: Accurate As-Builts for Project CoordinationClearEdge3D Inc
 
MongoDB IoT City Tour STUTTGART: Managing the Database Complexity, by Arthur ...
MongoDB IoT City Tour STUTTGART: Managing the Database Complexity, by Arthur ...MongoDB IoT City Tour STUTTGART: Managing the Database Complexity, by Arthur ...
MongoDB IoT City Tour STUTTGART: Managing the Database Complexity, by Arthur ...MongoDB
 
Efficient use of Standards-based Interfaces and Encodings in Geospatial Intel...
Efficient use of Standards-based Interfaces and Encodings in Geospatial Intel...Efficient use of Standards-based Interfaces and Encodings in Geospatial Intel...
Efficient use of Standards-based Interfaces and Encodings in Geospatial Intel...Luis Bermudez
 
4th Qatar BIM User Day, Pragmatic Use of COBie As-Built BIM for FM
4th Qatar BIM User Day, Pragmatic Use of COBie As-Built BIM for FM4th Qatar BIM User Day, Pragmatic Use of COBie As-Built BIM for FM
4th Qatar BIM User Day, Pragmatic Use of COBie As-Built BIM for FMBIM User Day
 

Semelhante a Ecppm2014 presentation (20)

Enabling BIM workflow for informed and collaborative projects | Empowering yo...
Enabling BIM workflow for informed and collaborative projects | Empowering yo...Enabling BIM workflow for informed and collaborative projects | Empowering yo...
Enabling BIM workflow for informed and collaborative projects | Empowering yo...
 
Enabling BIM Workflow for Informed and Collaborative Projects | Empowering yo...
Enabling BIM Workflow for Informed and Collaborative Projects | Empowering yo...Enabling BIM Workflow for Informed and Collaborative Projects | Empowering yo...
Enabling BIM Workflow for Informed and Collaborative Projects | Empowering yo...
 
Pr kfa structuring_bi_msforifcandcobie_20120223
Pr kfa structuring_bi_msforifcandcobie_20120223Pr kfa structuring_bi_msforifcandcobie_20120223
Pr kfa structuring_bi_msforifcandcobie_20120223
 
Pr kfa structuring_bi_msforifcandcobie_20120223
Pr kfa structuring_bi_msforifcandcobie_20120223Pr kfa structuring_bi_msforifcandcobie_20120223
Pr kfa structuring_bi_msforifcandcobie_20120223
 
Paul Nunn
Paul NunnPaul Nunn
Paul Nunn
 
MAC Furniture by Sonu Vishwakarma
MAC Furniture by Sonu VishwakarmaMAC Furniture by Sonu Vishwakarma
MAC Furniture by Sonu Vishwakarma
 
MelBIM 190619
MelBIM 190619MelBIM 190619
MelBIM 190619
 
AEC Hackathon -London (06-08/10/2017) Team Conenctivity- BIM and smart city c...
AEC Hackathon -London (06-08/10/2017) Team Conenctivity- BIM and smart city c...AEC Hackathon -London (06-08/10/2017) Team Conenctivity- BIM and smart city c...
AEC Hackathon -London (06-08/10/2017) Team Conenctivity- BIM and smart city c...
 
Mastering react with redux
Mastering react with reduxMastering react with redux
Mastering react with redux
 
Paul Nunn v2
Paul Nunn v2Paul Nunn v2
Paul Nunn v2
 
A cloud-based platform for IFC file enrichment with second-level space bound...
A cloud-based platform for IFC file enrichment with  second-level space bound...A cloud-based platform for IFC file enrichment with  second-level space bound...
A cloud-based platform for IFC file enrichment with second-level space bound...
 
Aec digital solutions portfolio(COBie/Level 2 BIM)
Aec digital solutions portfolio(COBie/Level 2 BIM)Aec digital solutions portfolio(COBie/Level 2 BIM)
Aec digital solutions portfolio(COBie/Level 2 BIM)
 
AAM Group GIS - BIM Integration
AAM Group GIS - BIM Integration AAM Group GIS - BIM Integration
AAM Group GIS - BIM Integration
 
도시 인프라 공간정보 데이터 커넥션-통합 기술 표준화를 위한 ISO TC211 19166 개발 이야기
도시 인프라 공간정보 데이터 커넥션-통합 기술 표준화를 위한 ISO TC211 19166 개발 이야기 도시 인프라 공간정보 데이터 커넥션-통합 기술 표준화를 위한 ISO TC211 19166 개발 이야기
도시 인프라 공간정보 데이터 커넥션-통합 기술 표준화를 위한 ISO TC211 19166 개발 이야기
 
Distributed objects & components of corba
Distributed objects & components of corbaDistributed objects & components of corba
Distributed objects & components of corba
 
Whitepaper: How Autodesk Supports Open Data Exchange Standards
Whitepaper: How Autodesk Supports Open Data Exchange Standards Whitepaper: How Autodesk Supports Open Data Exchange Standards
Whitepaper: How Autodesk Supports Open Data Exchange Standards
 
Trusted BIM: Accurate As-Builts for Project Coordination
Trusted BIM: Accurate As-Builts for Project CoordinationTrusted BIM: Accurate As-Builts for Project Coordination
Trusted BIM: Accurate As-Builts for Project Coordination
 
MongoDB IoT City Tour STUTTGART: Managing the Database Complexity, by Arthur ...
MongoDB IoT City Tour STUTTGART: Managing the Database Complexity, by Arthur ...MongoDB IoT City Tour STUTTGART: Managing the Database Complexity, by Arthur ...
MongoDB IoT City Tour STUTTGART: Managing the Database Complexity, by Arthur ...
 
Efficient use of Standards-based Interfaces and Encodings in Geospatial Intel...
Efficient use of Standards-based Interfaces and Encodings in Geospatial Intel...Efficient use of Standards-based Interfaces and Encodings in Geospatial Intel...
Efficient use of Standards-based Interfaces and Encodings in Geospatial Intel...
 
4th Qatar BIM User Day, Pragmatic Use of COBie As-Built BIM for FM
4th Qatar BIM User Day, Pragmatic Use of COBie As-Built BIM for FM4th Qatar BIM User Day, Pragmatic Use of COBie As-Built BIM for FM
4th Qatar BIM User Day, Pragmatic Use of COBie As-Built BIM for FM
 

Último

Arduino_CSE ece ppt for working and principal of arduino.ppt
Arduino_CSE ece ppt for working and principal of arduino.pptArduino_CSE ece ppt for working and principal of arduino.ppt
Arduino_CSE ece ppt for working and principal of arduino.pptSAURABHKUMAR892774
 
Crushers to screens in aggregate production
Crushers to screens in aggregate productionCrushers to screens in aggregate production
Crushers to screens in aggregate productionChinnuNinan
 
CCS355 Neural Networks & Deep Learning Unit 1 PDF notes with Question bank .pdf
CCS355 Neural Networks & Deep Learning Unit 1 PDF notes with Question bank .pdfCCS355 Neural Networks & Deep Learning Unit 1 PDF notes with Question bank .pdf
CCS355 Neural Networks & Deep Learning Unit 1 PDF notes with Question bank .pdfAsst.prof M.Gokilavani
 
Main Memory Management in Operating System
Main Memory Management in Operating SystemMain Memory Management in Operating System
Main Memory Management in Operating SystemRashmi Bhat
 
Katarzyna Lipka-Sidor - BIM School Course
Katarzyna Lipka-Sidor - BIM School CourseKatarzyna Lipka-Sidor - BIM School Course
Katarzyna Lipka-Sidor - BIM School Coursebim.edu.pl
 
THE SENDAI FRAMEWORK FOR DISASTER RISK REDUCTION
THE SENDAI FRAMEWORK FOR DISASTER RISK REDUCTIONTHE SENDAI FRAMEWORK FOR DISASTER RISK REDUCTION
THE SENDAI FRAMEWORK FOR DISASTER RISK REDUCTIONjhunlian
 
Class 1 | NFPA 72 | Overview Fire Alarm System
Class 1 | NFPA 72 | Overview Fire Alarm SystemClass 1 | NFPA 72 | Overview Fire Alarm System
Class 1 | NFPA 72 | Overview Fire Alarm Systemirfanmechengr
 
Configuration of IoT devices - Systems managament
Configuration of IoT devices - Systems managamentConfiguration of IoT devices - Systems managament
Configuration of IoT devices - Systems managamentBharaniDharan195623
 
Industrial Safety Unit-IV workplace health and safety.ppt
Industrial Safety Unit-IV workplace health and safety.pptIndustrial Safety Unit-IV workplace health and safety.ppt
Industrial Safety Unit-IV workplace health and safety.pptNarmatha D
 
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort serviceGurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort servicejennyeacort
 
DM Pillar Training Manual.ppt will be useful in deploying TPM in project
DM Pillar Training Manual.ppt will be useful in deploying TPM in projectDM Pillar Training Manual.ppt will be useful in deploying TPM in project
DM Pillar Training Manual.ppt will be useful in deploying TPM in projectssuserb6619e
 
"Exploring the Essential Functions and Design Considerations of Spillways in ...
"Exploring the Essential Functions and Design Considerations of Spillways in ..."Exploring the Essential Functions and Design Considerations of Spillways in ...
"Exploring the Essential Functions and Design Considerations of Spillways in ...Erbil Polytechnic University
 
National Level Hackathon Participation Certificate.pdf
National Level Hackathon Participation Certificate.pdfNational Level Hackathon Participation Certificate.pdf
National Level Hackathon Participation Certificate.pdfRajuKanojiya4
 
Ch10-Global Supply Chain - Cadena de Suministro.pdf
Ch10-Global Supply Chain - Cadena de Suministro.pdfCh10-Global Supply Chain - Cadena de Suministro.pdf
Ch10-Global Supply Chain - Cadena de Suministro.pdfChristianCDAM
 
Software and Systems Engineering Standards: Verification and Validation of Sy...
Software and Systems Engineering Standards: Verification and Validation of Sy...Software and Systems Engineering Standards: Verification and Validation of Sy...
Software and Systems Engineering Standards: Verification and Validation of Sy...VICTOR MAESTRE RAMIREZ
 
Mine Environment II Lab_MI10448MI__________.pptx
Mine Environment II Lab_MI10448MI__________.pptxMine Environment II Lab_MI10448MI__________.pptx
Mine Environment II Lab_MI10448MI__________.pptxRomil Mishra
 
multiple access in wireless communication
multiple access in wireless communicationmultiple access in wireless communication
multiple access in wireless communicationpanditadesh123
 
UNIT III ANALOG ELECTRONICS (BASIC ELECTRONICS)
UNIT III ANALOG ELECTRONICS (BASIC ELECTRONICS)UNIT III ANALOG ELECTRONICS (BASIC ELECTRONICS)
UNIT III ANALOG ELECTRONICS (BASIC ELECTRONICS)Dr SOUNDIRARAJ N
 
Correctly Loading Incremental Data at Scale
Correctly Loading Incremental Data at ScaleCorrectly Loading Incremental Data at Scale
Correctly Loading Incremental Data at ScaleAlluxio, Inc.
 

Último (20)

Arduino_CSE ece ppt for working and principal of arduino.ppt
Arduino_CSE ece ppt for working and principal of arduino.pptArduino_CSE ece ppt for working and principal of arduino.ppt
Arduino_CSE ece ppt for working and principal of arduino.ppt
 
Crushers to screens in aggregate production
Crushers to screens in aggregate productionCrushers to screens in aggregate production
Crushers to screens in aggregate production
 
CCS355 Neural Networks & Deep Learning Unit 1 PDF notes with Question bank .pdf
CCS355 Neural Networks & Deep Learning Unit 1 PDF notes with Question bank .pdfCCS355 Neural Networks & Deep Learning Unit 1 PDF notes with Question bank .pdf
CCS355 Neural Networks & Deep Learning Unit 1 PDF notes with Question bank .pdf
 
Main Memory Management in Operating System
Main Memory Management in Operating SystemMain Memory Management in Operating System
Main Memory Management in Operating System
 
Katarzyna Lipka-Sidor - BIM School Course
Katarzyna Lipka-Sidor - BIM School CourseKatarzyna Lipka-Sidor - BIM School Course
Katarzyna Lipka-Sidor - BIM School Course
 
THE SENDAI FRAMEWORK FOR DISASTER RISK REDUCTION
THE SENDAI FRAMEWORK FOR DISASTER RISK REDUCTIONTHE SENDAI FRAMEWORK FOR DISASTER RISK REDUCTION
THE SENDAI FRAMEWORK FOR DISASTER RISK REDUCTION
 
Class 1 | NFPA 72 | Overview Fire Alarm System
Class 1 | NFPA 72 | Overview Fire Alarm SystemClass 1 | NFPA 72 | Overview Fire Alarm System
Class 1 | NFPA 72 | Overview Fire Alarm System
 
Configuration of IoT devices - Systems managament
Configuration of IoT devices - Systems managamentConfiguration of IoT devices - Systems managament
Configuration of IoT devices - Systems managament
 
Industrial Safety Unit-IV workplace health and safety.ppt
Industrial Safety Unit-IV workplace health and safety.pptIndustrial Safety Unit-IV workplace health and safety.ppt
Industrial Safety Unit-IV workplace health and safety.ppt
 
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort serviceGurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
 
DM Pillar Training Manual.ppt will be useful in deploying TPM in project
DM Pillar Training Manual.ppt will be useful in deploying TPM in projectDM Pillar Training Manual.ppt will be useful in deploying TPM in project
DM Pillar Training Manual.ppt will be useful in deploying TPM in project
 
Design and analysis of solar grass cutter.pdf
Design and analysis of solar grass cutter.pdfDesign and analysis of solar grass cutter.pdf
Design and analysis of solar grass cutter.pdf
 
"Exploring the Essential Functions and Design Considerations of Spillways in ...
"Exploring the Essential Functions and Design Considerations of Spillways in ..."Exploring the Essential Functions and Design Considerations of Spillways in ...
"Exploring the Essential Functions and Design Considerations of Spillways in ...
 
National Level Hackathon Participation Certificate.pdf
National Level Hackathon Participation Certificate.pdfNational Level Hackathon Participation Certificate.pdf
National Level Hackathon Participation Certificate.pdf
 
Ch10-Global Supply Chain - Cadena de Suministro.pdf
Ch10-Global Supply Chain - Cadena de Suministro.pdfCh10-Global Supply Chain - Cadena de Suministro.pdf
Ch10-Global Supply Chain - Cadena de Suministro.pdf
 
Software and Systems Engineering Standards: Verification and Validation of Sy...
Software and Systems Engineering Standards: Verification and Validation of Sy...Software and Systems Engineering Standards: Verification and Validation of Sy...
Software and Systems Engineering Standards: Verification and Validation of Sy...
 
Mine Environment II Lab_MI10448MI__________.pptx
Mine Environment II Lab_MI10448MI__________.pptxMine Environment II Lab_MI10448MI__________.pptx
Mine Environment II Lab_MI10448MI__________.pptx
 
multiple access in wireless communication
multiple access in wireless communicationmultiple access in wireless communication
multiple access in wireless communication
 
UNIT III ANALOG ELECTRONICS (BASIC ELECTRONICS)
UNIT III ANALOG ELECTRONICS (BASIC ELECTRONICS)UNIT III ANALOG ELECTRONICS (BASIC ELECTRONICS)
UNIT III ANALOG ELECTRONICS (BASIC ELECTRONICS)
 
Correctly Loading Incremental Data at Scale
Correctly Loading Incremental Data at ScaleCorrectly Loading Incremental Data at Scale
Correctly Loading Incremental Data at Scale
 

Ecppm2014 presentation

  • 1. Model View Checking: Automated Validation for IFC Building Models Presenter: Chi Zhang Authors: Chi Zhang, Jakob Beetz, Matthias Weise
  • 2. Background • Interoperability Requirements • IFC Validation • Exchange Requirements • Business Rules E.g. “A project must have a site.” IfcProject (INV) IsDecomposedBy [1:1 ] IfcRelAggregates RelatedObjects [1:1] IfcSite
  • 3. Related Research Coordination View IfcProject (INV) IsDecomposedBy [1:1 ] IfcRelAggregates RelatedObjects [1:1] IfcSite COBie
  • 4. Introduction • Research • Prototype Implementation of an IFC checker • Testing by real BIM standards • Objectives • Open source IFC validation tool based on open standards • Developing stable and easy-to-use IFC validation methods
  • 5. Implementation • Structuring Rule-sets BIM Collaboration Format (BCF) • Checking Execution • Report Generation IFC
  • 6. Implementation • Structuring Rule-sets • Data existence and cardinality • Data value and type • Uniqueness • Conditional rules E.g. “every wall should be typed by a wall type” x(Wall(x) :  y(WallType(y)  be _ Typed _ By(x, y))) IfcWall Ifc lDefinesByType x( (x) : z( Re (z) (x, z) IsTypedBy IfcWallType  y( (y) latingType Re (z, y))))      (Chipman et al, 2013)
  • 7. Implementation • Checking Execution • Report Generation (INV) IsTypedBy [1:1] IfcWall IfcRelDefinesByType RelatingType [1:1] IfcWallType BIM Collaboration Format
  • 8. Use-cases • Data existence and cardinality “A building contains at least one level. ” (Statsbygg 14) • Data value and type “The site name shall contain the official ID.” (Statsbygg 12) • Uniqueness “The space names should be unique.” (Rgd 2.2.7.6) • Conditional rules “each geometric building object should be associated with the appropriate building level if it is not a component of other building objects.” (Rgd 2.2.7.4) Rule Types Requirements in Rgd BIM Norm a) data existence §2.1.1, §2.1.2, §2.1.4, §2.1.7, §2.1.8, §2.1.9, §2.2.6.1, §2.2.6.2, §2.2.6.4, §2.2.6.5, §2.2.7.1, §2.2.7.2, §2.2.7.4, §2.2.7.5, §2.2.7.6, §2.2.7.7, §2.2.7.8, §2.2.7.9, §2.2.7.10, §2.2.7.11 b)data content §2.1.2, §2.1.7, §2.1.8, §2.1.9, §2.2.6.2, §2.2.7.1, §2.2.7,2, §2.2.7.3, §2.2.7.5, §2.2.7.6, §2.2.7.7, §2.2.7.8 c)data uniqueness §2.2.6.4, §2.2.7.6 d)conditional dependency §2.1.4, §2.2.6.3, §2.2.7.4, §2.2.7.7, §2.2.7.11
  • 9. Demo • Example “All doors and windows should have the fire resistance property (in minutes) in the Pset_###Common” (Rgd 2.2.7.8).
  • 10. Demo
  • 11. Discussion • Efficiency and Reusability • Structuring Rule-sets is time consuming • Different agreements • Very few resources Rgd BIM Norm Statsbygg BIM Manual §2.1.7 Model units, 9. Project units dimensions, display units, and rounding §2.2.6.5 Geographic position and orientation 10. Defining and geo-referencing the project zero §2.2.7.1 Project 11. Project, 33. Project §2.2.7.2 Terrain 12. Site, 34. Site §2.2.7.3 Building 13. Buildings §2.2.7.4 Level 14. Storeys §2.2.7.6 Space 15. Spaces-in general, 16 Spaces-functional, 22 Space-functional space heights, 36. Spaces §2.2.7.5 Level Area object 18. Space-the gross area object §2.2.7.7 Grouping of spaces:zone 26. Zones, 35. Functional zones §2.2.7.8 Architectural, structural, and mechanical & electrical engineering elements 29. Modeling with both occurrence and type objects
  • 12. Discussion • Ease-to-use • Easy-to-use comparing to full-fledged programming • Still need strong IFC background • Need structured library • Expressivity • Data derivation and inference • More agreements needed
  • 13. On-going Work • Implementation Roadmap • https://github.com/opensourceBIM/mvdXMLChecker • Plugin for BIMserver and BCF server • Future Research • Domain-specific requirements • Investigate technologies supporting formally defined concept libraries (Berlo & Krijnen, 2014)
  • 14. Sources • Chipman, T., Liebich, T., Weise, M. 2013. mvdXML: Specification of a standardized format to define and exchange Model View Definitions with Exchange Requirements and Validation Rules. • Berlo, L. A. H. M. van, Krijnen, T. 2014. Using the BIM Collaboration Format in a server based workflow. 12th International Conference on Design and Decision Support Systems in Architecture and Urban Planning, DDSS 2014 • Rillaer, D. van, Burger, J., Ploegmakers, R., Mitossi, V., 2012. Rgd BIM Standard, version 1.0.1. 1–29. • Statsbygg, 2011. Statsbygg Building Information Modelling Manual Version1.2. Available at: http://www.statsbygg.no/bim, accessed January 2014. / name of department 24-9-2014 PAGE 13