Publishing house Radiotekhnika

"Publishing house Radiotekhnika":
scientific and technical literature.
Books and journals of publishing houses: IPRZHR, RS-PRESS, SCIENCE-PRESS

Тел.: +7 (495) 625-9241


Analysis of formal models transformation


S. V. Afanasiev

Formal modeling is a very important part of the program creation process in the all development steps. Diagrams of the structural system analysis IDEF are still used by some companies to create business processes. IDEF-0 and IDEF-3 are used for software developing. However, these notations are not object-oriented. The latter fact and presence of additional facilities of UML notations (code generations, testing, and audit) evoke to translate models from IDEF to UML, what it easier reengineering software. Functional testing, in its turn, is an integral part of quality assurance. Formal models translation mechanisms creating bring to necessity of validation control for functional transmission across models. This article describes methods for solving the problem by test scenarios modeling with the help of formal models.
June 24, 2020
May 29, 2020

© Издательство «РАДИОТЕХНИКА», 2004-2017            Тел.: (495) 625-9241                   Designed by [SWAP]Studio