Proceedings of ISP RAS

A Constraint Library for Specification of Industrial Data Models

S.V. Morozov(ISP RAS, Moscow; MSU, Moscow), D.V. Ilyin (ISP RAS, Moscow), V.A. Semenov (ISP RAS, Moscow; MIPT, Moscow), O.A. Tarlapan (ISP RAS, Moscow; MSU, Moscow)


The paper is addressed to an analysis of object-oriented data models specified at EXPRESS language and widely used in industrial applications. These models play important role for achievement of software interoperability and system integration in accordance with STEP standard family (ISO 10303). The examples of such models are STEP application protocols for machinery construction, automobile industry, shipbuiling, electronics, electrical engineering, systems engineering, furniture production as well as IFC (ISO 16739) model for architecture, engineering and construction, CIS/2 model for manufacturing using constructional steel work, POSC Caesar (ISO 15296) model for oil and gas producing industry. The purpose of the performed analysis is to unify representation of data integrity constraints typically used in the models by means of identification of constraint patterns. The identified patterns are specified at EXPRESS language as an unified constraint library that can be applied both on refactoring of the existing models and on development of new ones. Utilizing the constraint library users can improve clearness of the specifications, to simplify their maintenance and evolution and, on the whole, to accelerate their development. Besides, CASE tools can be effectively applied to analyze the specifications in highly automatic way. Possibility to apply the library for verification of the data models is also discussed in the paper. Rules for resolving the appropriate constraints have been proposed for each pattern. The constraint library can be recommended to industrial consortiums and technical committees that are engaged in development and standardization of the data models. The work is supported by RFBR (grant 13-07-00390).


object-oriented modeling, EXPRESS, STEP, IFC, CIS/2, constraint patterns, model verification


Proceedings of the Institute for System Programming, vol. 27, issue 4, 2015, pp. 69-110.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2015-27(4)-5

Full text of the paper in pdf (in Russian) Back to the contents of the volume