Ivannikov Institute for System Programming of the RAS


Efficient Verification of Product Model Data: an Approach and an Analysis.

Authors

V.A. Semenov, A.A. Bazhan, S.V. Morozov & O.A. Tarlapan

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 of the paper in pdf

Edition

CIB-W78 22nd Conference on Information Technology in Construction, Dresden, Germany, July 19-21, 2005. Publisher: Institute for Construction Informatics, Technische Universität Dresden, 2005. Pp. 261-268.

Research Group

System integration and multi-disciplinary collaborative environments

All publications during 2005 All publications