ISSN 0021-3454 (print version)
ISSN 2500-0381 (online version)
Menu

5
Issue
vol 60 / MAY, 2017
Article
UDC 004.41

TESTING PROCESS OF FUNCTIONAL MODELS TRANSFORMATION BASED ON HYBRID METHODS

Подъячев А. Ю.
;


Атисков А. Ю.
;


Перминов С. В.
;


Abstract. Task of transformation of IDEF0 formal models into UML class diagrams based on hybrid methods including translation rules’ ontological design is discussed. Mechanism of transformation rules’ creation and equivalence testing of source and derived models is examined.
Keywords: Task of transformation of IDEF0 formal models into UML class diagrams based on hybrid methods including translation rules’ ontological design is discussed. Mechanism of transformation rules’ creation and equivalence testing of source and derived models is examined.