Business-based rule translation method for BIM-based Model Checking systems

Peter Nørkjær Gade; Rasmus Lund Jensen; Kjeld Svidt

Business-based rule translation method for BIM-based Model Checking systems

Peter Nørkjær Gade, Rasmus Lund Jensen, Kjeld Svidt

Byggeriuddannelserne

Publikation: Bidrag til bog/antologi/rapport › Konferenceartikel i proceeding › peer review

Originalsprog	Engelsk
Titel	Lecture Notes in Computer Science
Forlag	Springer
Status	Accepteret/In press - 25 maj 2022
Begivenhed	The 20th International Conference on Cooperative Design and Visualization in Engineering 2022 - Jagiellonian University, Krakow, Polen Varighed: 25 sep. 2022 → 28 sep. 2022 Konferencens nummer: 20 https://www.cdve.org/

Konference

Konference	The 20th International Conference on Cooperative Design and Visualization in Engineering 2022
Nummer	20
Lokation	Jagiellonian University
Land/Område	Polen
By	Krakow
Periode	25/09/22 → 28/09/22
Internetadresse	https://www.cdve.org/

Navn	Lecture Notes in Computer Science
ISSN	0302-9743

Emneord

byggeri
BIM-based Model Checking
Business Rules
Rule translation

Citationsformater

@inproceedings{51603e473bd64437af39114e0a973273,

title = "Business-based rule translation method for BIM-based Model Checking systems",

keywords = "construction, BIM-based Model Checking, Business Rules, Rule translation",

author = "Gade, {Peter N{\o}rkj{\ae}r} and Jensen, {Rasmus Lund} and Kjeld Svidt",

year = "2022",

month = may,

day = "25",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

booktitle = "Lecture Notes in Computer Science",

note = "The 20th International Conference on Cooperative Design and Visualization in Engineering 2022, CDVE ; Conference date: 25-09-2022 Through 28-09-2022",

url = "https://www.cdve.org/",

}

TY - GEN

T1 - Business-based rule translation method for BIM-based Model Checking systems

AU - Gade, Peter Nørkjær

AU - Jensen, Rasmus Lund

AU - Svidt, Kjeld

N1 - Conference code: 20

PY - 2022/5/25

Y1 - 2022/5/25

KW - construction

KW - BIM-based Model Checking

KW - Business Rules

KW - Rule translation

M3 - Conference contribution to proceeding

T3 - Lecture Notes in Computer Science

BT - Lecture Notes in Computer Science

PB - Springer

T2 - The 20th International Conference on Cooperative Design and Visualization in Engineering 2022

Y2 - 25 September 2022 through 28 September 2022

ER -