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.
