||Efficient verification of product model data: an approach and an analysis
||VA Semenov, AA Bazhan, SV Morozov & OA Tarlapan
||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.
|Year of publication:
VA Semenov, AA Bazhan, SV Morozov & OA Tarlapan (2005).
Efficient verification of product model data: an approach and an analysis. ,