|
@@ -41,6 +41,7 @@ class TestPowerWindow(unittest.TestCase):
|
|
|
("Architecture", "SimpleClassDiagrams"),
|
|
|
("pm_powerwindow", "ProcessModel"),
|
|
|
("SimpleClassDiagrams", "SimpleClassDiagrams"),
|
|
|
+ ("TypeMapping", "SimpleClassDiagrams"),
|
|
|
("CoreFormalism", "SimpleClassDiagrams"),
|
|
|
("ManualOperation", "SimpleClassDiagrams"),
|
|
|
("bottom", "SimpleClassDiagrams"),
|
|
@@ -48,7 +49,28 @@ class TestPowerWindow(unittest.TestCase):
|
|
|
("ProcessModel", "SimpleClassDiagrams"),
|
|
|
("Tracability", "SimpleClassDiagrams"),
|
|
|
("conformance_mv", "ActionLanguage"),
|
|
|
- ("core", "CoreFormalism"),])
|
|
|
+ ("core", "CoreFormalism"),
|
|
|
+ ("TM_ReachabilityGraph", "TypeMapping"),
|
|
|
+ ("TM_PetriNet", "TypeMapping"),
|
|
|
+ ("TM_Encapsulated_PetriNet", "TypeMapping"),
|
|
|
+ ("TM_PW_Plant", "TypeMapping"),
|
|
|
+ ("TM_PW_Environment", "TypeMapping"),
|
|
|
+ ("TM_PW_Control", "TypeMapping"),
|
|
|
+ ("TM_Requirements", "TypeMapping"),
|
|
|
+ ("TM_Query", "TypeMapping"),
|
|
|
+ ("TM_Architecture", "TypeMapping"),
|
|
|
+ ("TM_pm_powerwindow", "TypeMapping"),
|
|
|
+ ("TM_SimpleClassDiagrams", "TypeMapping"),
|
|
|
+ ("TM_TypeMapping", "TypeMapping"),
|
|
|
+ ("TM_CoreFormalism", "TypeMapping"),
|
|
|
+ ("TM_ManualOperation", "TypeMapping"),
|
|
|
+ ("TM_bottom", "TypeMapping"),
|
|
|
+ ("TM_ActionLanguage", "TypeMapping"),
|
|
|
+ ("TM_ProcessModel", "TypeMapping"),
|
|
|
+ ("TM_Tracability", "TypeMapping"),
|
|
|
+ ("TM_conformance_mv", "TypeMapping"),
|
|
|
+ ("TM_core", "TypeMapping"),
|
|
|
+ ])
|
|
|
|
|
|
transformation_add_MANUAL({"Requirements": "Requirements"}, {"Requirements": "Requirements"}, "revise_req")
|
|
|
transformation_add_MANUAL({"Requirements": "Requirements", "PW_Environment": "PW_Environment"}, {"PW_Environment": "PW_Environment"}, "revise_environment")
|
|
@@ -150,6 +172,7 @@ class TestPowerWindow(unittest.TestCase):
|
|
|
("Architecture", "SimpleClassDiagrams"),
|
|
|
("pm_powerwindow", "ProcessModel"),
|
|
|
("SimpleClassDiagrams", "SimpleClassDiagrams"),
|
|
|
+ ("TypeMapping", "SimpleClassDiagrams"),
|
|
|
("CoreFormalism", "SimpleClassDiagrams"),
|
|
|
("ManualOperation", "SimpleClassDiagrams"),
|
|
|
("bottom", "SimpleClassDiagrams"),
|
|
@@ -157,7 +180,28 @@ class TestPowerWindow(unittest.TestCase):
|
|
|
("ProcessModel", "SimpleClassDiagrams"),
|
|
|
("Tracability", "SimpleClassDiagrams"),
|
|
|
("conformance_mv", "ActionLanguage"),
|
|
|
- ("core", "CoreFormalism"),])
|
|
|
+ ("core", "CoreFormalism"),
|
|
|
+ ("TM_ReachabilityGraph", "TypeMapping"),
|
|
|
+ ("TM_PetriNet", "TypeMapping"),
|
|
|
+ ("TM_Encapsulated_PetriNet", "TypeMapping"),
|
|
|
+ ("TM_PW_Plant", "TypeMapping"),
|
|
|
+ ("TM_PW_Environment", "TypeMapping"),
|
|
|
+ ("TM_PW_Control", "TypeMapping"),
|
|
|
+ ("TM_Requirements", "TypeMapping"),
|
|
|
+ ("TM_Query", "TypeMapping"),
|
|
|
+ ("TM_Architecture", "TypeMapping"),
|
|
|
+ ("TM_pm_powerwindow", "TypeMapping"),
|
|
|
+ ("TM_SimpleClassDiagrams", "TypeMapping"),
|
|
|
+ ("TM_TypeMapping", "TypeMapping"),
|
|
|
+ ("TM_CoreFormalism", "TypeMapping"),
|
|
|
+ ("TM_ManualOperation", "TypeMapping"),
|
|
|
+ ("TM_bottom", "TypeMapping"),
|
|
|
+ ("TM_ActionLanguage", "TypeMapping"),
|
|
|
+ ("TM_ProcessModel", "TypeMapping"),
|
|
|
+ ("TM_Tracability", "TypeMapping"),
|
|
|
+ ("TM_conformance_mv", "TypeMapping"),
|
|
|
+ ("TM_core", "TypeMapping"),
|
|
|
+ ])
|
|
|
|
|
|
transformation_add_MANUAL({"Requirements": "Requirements"}, {"Requirements": "Requirements"}, "revise_req")
|
|
|
transformation_add_MANUAL({"Requirements": "Requirements", "PW_Environment": "PW_Environment"}, {"PW_Environment": "PW_Environment"}, "revise_environment")
|