|
@@ -4,8 +4,18 @@ import os
|
|
|
sys.path.append("wrappers")
|
|
|
from modelverse import *
|
|
|
|
|
|
+global start
|
|
|
+start = time.time()
|
|
|
+
|
|
|
+def do_time(text):
|
|
|
+ global start
|
|
|
+ print("%s -- %s" % (time.time() - start, text))
|
|
|
+ start = time.time()
|
|
|
+
|
|
|
init()
|
|
|
+do_time("init")
|
|
|
login("admin", "admin")
|
|
|
+do_time("login")
|
|
|
|
|
|
model_add("formalisms/ReachabilityGraph", "formalisms/SimpleClassDiagrams", open("models/ReachabilityGraph/metamodels/reachability_graph.mvc", "r").read())
|
|
|
model_add("formalisms/PetriNet", "formalisms/SimpleClassDiagrams", open("models/PetriNets/metamodels/PetriNets.mvc", 'r').read())
|
|
@@ -18,6 +28,7 @@ model_add("formalisms/Query", "formalisms/SimpleClassDiagrams", open("models/Saf
|
|
|
model_add("formalisms/Architecture", "formalisms/SimpleClassDiagrams", open("models/PowerWindow/metamodels/architecture.mvc", 'r').read())
|
|
|
|
|
|
model_add("models/pm_powerwindow", "formalisms/ProcessModel", open("models/PowerWindow/PM_analyze.mvc", 'r').read())
|
|
|
+do_time("add models")
|
|
|
|
|
|
transformation_add_MANUAL({"Requirements": "formalisms/Requirements"}, {"Requirements": "formalisms/Requirements"}, "models/revise_req")
|
|
|
transformation_add_MANUAL({"Requirements": "formalisms/Requirements", "PW_Environment": "formalisms/PW_Environment"}, {"PW_Environment": "formalisms/PW_Environment"}, "models/revise_environment")
|
|
@@ -25,6 +36,7 @@ transformation_add_MANUAL({"Requirements": "formalisms/Requirements", "PW_Plant"
|
|
|
transformation_add_MANUAL({"Requirements": "formalisms/Requirements", "PW_Control": "formalisms/PW_Control"}, {"PW_Control": "formalisms/PW_Control"}, "models/revise_control")
|
|
|
transformation_add_MANUAL({"Requirements": "formalisms/Requirements", "Query": "formalisms/Query"}, {"Query": "formalisms/Query"}, "models/revise_query")
|
|
|
transformation_add_MANUAL({"Requirements": "formalisms/Requirements", "Architecture": "formalisms/Architecture"}, {"Architecture": "formalisms/Architecture"}, "models/revise_architecture")
|
|
|
+do_time("add manual transformation")
|
|
|
|
|
|
def tracability_CTRL2EPN(model):
|
|
|
instantiate(model, "Association", ("PW_Control/State", "Encapsulated_PetriNet/Place"), ID="CTRL2EPN_link")
|
|
@@ -47,10 +59,12 @@ transformation_add_MT({"PW_Control": "formalisms/PW_Control"}, {"Encapsulated_Pe
|
|
|
transformation_add_MT({"PW_Environment": "formalisms/PW_Environment"}, {"Encapsulated_PetriNet": "formalisms/Encapsulated_PetriNet"}, "models/environment_to_EPN", open("models/PowerWindow/transformations/environment_to_EPN.mvc", 'r').read(), tracability_ENV2EPN)
|
|
|
transformation_add_MT({"Encapsulated_PetriNet": "formalisms/Encapsulated_PetriNet", "Architecture": "formalisms/Architecture"}, {"PetriNet": "formalisms/PetriNet"}, "models/combine_EPN", open("models/EncapsulatedPetriNets/transformations/combine.mvc", 'r').read(), tracability_EPN2PN)
|
|
|
transformation_add_MT({"ReachabilityGraph": "formalisms/ReachabilityGraph", "Query": "formalisms/Query"}, {"ReachabilityGraph": "formalisms/ReachabilityGraph"}, "models/match", open("models/ReachabilityGraph/transformations/match_query.mvc", 'r').read())
|
|
|
+do_time("add MT transformation")
|
|
|
|
|
|
transformation_add_AL({"PetriNet": "formalisms/PetriNet"}, {"ReachabilityGraph": "formalisms/ReachabilityGraph"}, "models/reachability", open("models/PetriNets/transformations/reachability.alc", 'r').read())
|
|
|
transformation_add_AL({"ReachabilityGraph": "formalisms/ReachabilityGraph"}, {}, "models/bfs", open("models/ReachabilityGraph/transformations/bfs.alc", 'r').read())
|
|
|
transformation_add_AL({"EPN_Plant": "formalisms/Encapsulated_PetriNet", "EPN_Control": "formalisms/Encapsulated_PetriNet", "EPN_Environment": "formalisms/Encapsulated_PetriNet"}, {"Encapsulated_PetriNet": "formalisms/Encapsulated_PetriNet"}, "models/merge_EPN", open("models/EncapsulatedPetriNets/transformations/merge.alc", 'r').read())
|
|
|
+do_time("add AL transformation")
|
|
|
|
|
|
nr_of_operations = 6
|
|
|
|