Ivannikov Institute for System Programming of the RAS


Verification of object-oriented data models.

Authors

Ilyin D.V., Morozov S.V., Semenov V.A.

Abstract

Problems of verification of object-oriented data models at UML/OCL language are discussed in the paper. Existing approaches employ such formalisms as automatic theorem proving (using first-order logic), constraint satisfaction problem (CSP) methods, local propagation, SAT, and numerical solvers. High complexity and partial covering of modeling language semantics are main problems of these solutions, which make impossible their wide application in practice. Principles of a new approach based on decomposition of semantic constraints and enabling verification of large-scaled industrial data models are discussed.

Edition

Proceedings of XVII Baikal Conference "Information and Mathematical Technologies in Science and Management". Vol 2. Publisher: ISEM SB RAS, 2012. Pp. 123-130.

Research Group

System integration and multi-disciplinary collaborative environments

All publications during 2012 All publications