Verification of object-oriented data models.
Verification of object-oriented data models.
Authors
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