modelverse/addis/Test_PM2SCCD.py

import sys
sys.path.append("wrappers")
from  modelverse import *

try:
    init()
    login('admin', 'admin')
    model_add('PM', "SimpleClassDiagrams", open("addis/PM_MetaModel.mvc", "r").read())
except Exception as e:
    print e
try:
    model_add('SCCD', "SimpleClassDiagrams", open("addis/SCCD_MetaModel.mvc", "r").read())
except Exception as e:
    print e

if "my_PM" in [i[0] for i in model_list()]:
    model_delete("my_PM")
model_add("my_PM", "PM", open("addis/PM_example2.mvc", 'r').read())
print "PM instance model added"
#print verify('my_PM')
if "SCCD_my_PM" in [i[0] for i in model_list()]:
    model_delete("SCCD_my_PM")
model_add("SCCD_my_PM", "SCCD", open("addis/SCCD_Example.mvc", 'r').read())
print "SCCD instance model added"
print verify('SCCD_my_PM')

def Activity2State():
    instantiate(None, "Association", ("PM/Activity", "SCCD/CompositeState"), ID="Activity2State_link")
print "before mt_add"
print transformation_add_MT({"PM":"PM","SCCD":"SCCD"}, {"SCCD":"SCCD"}, "PM2SCCD", open("addis/PM_to_SCCD.mvc", "r").read(), Activity2State)
print "mt_add_finished"
print transformation_execute_MT("PM2SCCD", {"PM":"my_PM", "SCCD":"SCCD_my_PM"}, {"SCCD":"PM_2_SCCD_output"})

alter_context("PM_2_SCCD_output", "SCCD")
model =  element_list_nice("PM_2_SCCD_output")
for m in model:
    print m


print("Upload SCCD execution semantics")
# Add SCCD execution semantics
transformation_add_AL({"SCCD": "SCCD"}, {}, "SCCD_execute", open("models/SCCD_execute.alc", 'r').read())
print("DONE")
#transformation_execute_AL("SCCD_execute", {"SCCD": "PM_2_SCCD_output"}, {})
print("Executed")