SlideShare une entreprise Scribd logo
1  sur  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

Contenu connexe

En vedette

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
 

En vedette (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
 

Similaire à 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
 

Similaire à 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
 

Dernier

Air Compressor reciprocating single stage
Air Compressor reciprocating single stageAir Compressor reciprocating single stage
Air Compressor reciprocating single stageAbc194748
 
kiln thermal load.pptx kiln tgermal load
kiln thermal load.pptx kiln tgermal loadkiln thermal load.pptx kiln tgermal load
kiln thermal load.pptx kiln tgermal loadhamedmustafa094
 
Block diagram reduction techniques in control systems.ppt
Block diagram reduction techniques in control systems.pptBlock diagram reduction techniques in control systems.ppt
Block diagram reduction techniques in control systems.pptNANDHAKUMARA10
 
Online electricity billing project report..pdf
Online electricity billing project report..pdfOnline electricity billing project report..pdf
Online electricity billing project report..pdfKamal Acharya
 
Computer Networks Basics of Network Devices
Computer Networks  Basics of Network DevicesComputer Networks  Basics of Network Devices
Computer Networks Basics of Network DevicesChandrakantDivate1
 
Rums floating Omkareshwar FSPV IM_16112021.pdf
Rums floating Omkareshwar FSPV IM_16112021.pdfRums floating Omkareshwar FSPV IM_16112021.pdf
Rums floating Omkareshwar FSPV IM_16112021.pdfsmsksolar
 
Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...
Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...
Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...Call Girls Mumbai
 
DC MACHINE-Motoring and generation, Armature circuit equation
DC MACHINE-Motoring and generation, Armature circuit equationDC MACHINE-Motoring and generation, Armature circuit equation
DC MACHINE-Motoring and generation, Armature circuit equationBhangaleSonal
 
Hazard Identification (HAZID) vs. Hazard and Operability (HAZOP): A Comparati...
Hazard Identification (HAZID) vs. Hazard and Operability (HAZOP): A Comparati...Hazard Identification (HAZID) vs. Hazard and Operability (HAZOP): A Comparati...
Hazard Identification (HAZID) vs. Hazard and Operability (HAZOP): A Comparati...soginsider
 
DeepFakes presentation : brief idea of DeepFakes
DeepFakes presentation : brief idea of DeepFakesDeepFakes presentation : brief idea of DeepFakes
DeepFakes presentation : brief idea of DeepFakesMayuraD1
 
Employee leave management system project.
Employee leave management system project.Employee leave management system project.
Employee leave management system project.Kamal Acharya
 
Learn the concepts of Thermodynamics on Magic Marks
Learn the concepts of Thermodynamics on Magic MarksLearn the concepts of Thermodynamics on Magic Marks
Learn the concepts of Thermodynamics on Magic MarksMagic Marks
 
Thermal Engineering Unit - I & II . ppt
Thermal Engineering  Unit - I & II . pptThermal Engineering  Unit - I & II . ppt
Thermal Engineering Unit - I & II . pptDineshKumar4165
 
Engineering Drawing focus on projection of planes
Engineering Drawing focus on projection of planesEngineering Drawing focus on projection of planes
Engineering Drawing focus on projection of planesRAJNEESHKUMAR341697
 
School management system project Report.pdf
School management system project Report.pdfSchool management system project Report.pdf
School management system project Report.pdfKamal Acharya
 
Minimum and Maximum Modes of microprocessor 8086
Minimum and Maximum Modes of microprocessor 8086Minimum and Maximum Modes of microprocessor 8086
Minimum and Maximum Modes of microprocessor 8086anil_gaur
 
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXssuser89054b
 

Dernier (20)

Air Compressor reciprocating single stage
Air Compressor reciprocating single stageAir Compressor reciprocating single stage
Air Compressor reciprocating single stage
 
kiln thermal load.pptx kiln tgermal load
kiln thermal load.pptx kiln tgermal loadkiln thermal load.pptx kiln tgermal load
kiln thermal load.pptx kiln tgermal load
 
Block diagram reduction techniques in control systems.ppt
Block diagram reduction techniques in control systems.pptBlock diagram reduction techniques in control systems.ppt
Block diagram reduction techniques in control systems.ppt
 
Online electricity billing project report..pdf
Online electricity billing project report..pdfOnline electricity billing project report..pdf
Online electricity billing project report..pdf
 
Computer Networks Basics of Network Devices
Computer Networks  Basics of Network DevicesComputer Networks  Basics of Network Devices
Computer Networks Basics of Network Devices
 
Rums floating Omkareshwar FSPV IM_16112021.pdf
Rums floating Omkareshwar FSPV IM_16112021.pdfRums floating Omkareshwar FSPV IM_16112021.pdf
Rums floating Omkareshwar FSPV IM_16112021.pdf
 
Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...
Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...
Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...
 
DC MACHINE-Motoring and generation, Armature circuit equation
DC MACHINE-Motoring and generation, Armature circuit equationDC MACHINE-Motoring and generation, Armature circuit equation
DC MACHINE-Motoring and generation, Armature circuit equation
 
Hazard Identification (HAZID) vs. Hazard and Operability (HAZOP): A Comparati...
Hazard Identification (HAZID) vs. Hazard and Operability (HAZOP): A Comparati...Hazard Identification (HAZID) vs. Hazard and Operability (HAZOP): A Comparati...
Hazard Identification (HAZID) vs. Hazard and Operability (HAZOP): A Comparati...
 
DeepFakes presentation : brief idea of DeepFakes
DeepFakes presentation : brief idea of DeepFakesDeepFakes presentation : brief idea of DeepFakes
DeepFakes presentation : brief idea of DeepFakes
 
Employee leave management system project.
Employee leave management system project.Employee leave management system project.
Employee leave management system project.
 
Learn the concepts of Thermodynamics on Magic Marks
Learn the concepts of Thermodynamics on Magic MarksLearn the concepts of Thermodynamics on Magic Marks
Learn the concepts of Thermodynamics on Magic Marks
 
Thermal Engineering Unit - I & II . ppt
Thermal Engineering  Unit - I & II . pptThermal Engineering  Unit - I & II . ppt
Thermal Engineering Unit - I & II . ppt
 
Engineering Drawing focus on projection of planes
Engineering Drawing focus on projection of planesEngineering Drawing focus on projection of planes
Engineering Drawing focus on projection of planes
 
FEA Based Level 3 Assessment of Deformed Tanks with Fluid Induced Loads
FEA Based Level 3 Assessment of Deformed Tanks with Fluid Induced LoadsFEA Based Level 3 Assessment of Deformed Tanks with Fluid Induced Loads
FEA Based Level 3 Assessment of Deformed Tanks with Fluid Induced Loads
 
School management system project Report.pdf
School management system project Report.pdfSchool management system project Report.pdf
School management system project Report.pdf
 
Minimum and Maximum Modes of microprocessor 8086
Minimum and Maximum Modes of microprocessor 8086Minimum and Maximum Modes of microprocessor 8086
Minimum and Maximum Modes of microprocessor 8086
 
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
 
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak HamilCara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
 
Integrated Test Rig For HTFE-25 - Neometrix
Integrated Test Rig For HTFE-25 - NeometrixIntegrated Test Rig For HTFE-25 - Neometrix
Integrated Test Rig For HTFE-25 - Neometrix
 

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