A combined method for verification of large-scale data models

A combined method for verification of large-scale data models

The paper is addressed to the actual problem of verification of large-scale data models applied in various industrial areas and specified using popular general-purpose object-oriented languages, such as EXPRESS, UML/OCL. Main benefits of information modeling languages (high expressiveness, declarati...

Full description

Bibliographic Details
Main Authors: V. A. Semenov, S. V. Morozov, D. V. Ilyin
Format: Article
Language:English
Published: Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Series:Труды Института системного программирования РАН
Subjects:
верификация моделей, объектно-ориентированное моделирование, uml/ocl, express, логическое программирование в ограничениях, линейное целочисленное программирование, семантическая реконсиляция
Online Access:https://ispranproceedings.elpub.ru/jour/article/view/797

Internet

https://ispranproceedings.elpub.ru/jour/article/view/797

Similar Items