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

12
Issue
vol 59 / DECEMBER, 2016
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.