Digital library of construction informatics
and information technology in civil engineering and construction


Paper w78-2005-d4-2-semenov:
Efficient verification of product model data: an approach and an analysis

Facilitated by the SciX project

VA Semenov, AA Bazhan, SV Morozov & OA Tarlapan

Efficient verification of product model data: an approach and an analysis

Abstract: 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.



Full text: content.pdf (317,005 bytes) (available to registered users only)

Series: w78:2005 (browse)
Similar papers:
Sound: N/A.

Permission to reproduce these papers has been graciously provided by the Technische Universitšt Dresden.


hosted by University of Ljubljana



© itc.scix.net 2003
Home page of this database login Powered by SciX Open Publishing Services 1.002 February 16, 2003