Digital library of construction informatics and information technology in civil engineering and construction
Digital library
Paper: w78-2005-d4-2-semenov
| Paper title: | Efficient verification of product model data: an approach and an analysis |
| Authors: | VA Semenov, AA Bazhan, SV Morozov & OA Tarlapan |
| Summary: | In the paper an approach to verification of product model data is developed and discussed. The general approach encompasses all the variety of data and constraints assumed by EXPRESS language and provides for efficient solutions to verify product model data both completely and incrementally under single and multiple updates caused by insertion, deletion, and modification operations. The implementation methods are also of the paper subject. The methods are oriented on static analysis of specifications, compilation of optimized codes for the integrity checking and maintaining procedures and their efficient runtime execution. In the paper a performance analysis is conducted to compare the developed OpenSTEP Checker application with available similar programs and to form some qualitative criteria for efficient verification of product model data in various application contexts. The results are given in conformity to IFC standard that is of principal importance for achieving semantic interoperability in the architecture, engineering, and construction. |
| Type: | normal paper |
| Year of publication: | 2005 |
| Series: | w78:2005 |
| ISSN: | 2706-6568 |
| Download paper: | /pdfs/w78-2005-D4-2-Semenov.pdf |
| Citation: | VA Semenov, AA Bazhan, SV Morozov & OA Tarlapan (2005). Efficient verification of product model data: an approach and an analysis. (ISSN: 2706-6568), http://itc.scix.net/paper/w78-2005-d4-2-semenov |
hosted by University of Ljubljana
includes:
W78
includes:
W78
inspired by SciX, ported by Robert Klinc [2019]