upload_simple_formalisms.py 2.5 KB

12345678910111213141516171819202122232425262728293031
  1. import sys
  2. sys.path.append("wrappers")
  3. from modelverse import *
  4. init()
  5. login("admin", "admin")
  6. model_add("formalisms/FSA/MM", "formalisms/SimpleClassDiagrams", open("models/FiniteStateAutomata/metamodels/simple.mvc", 'r').read())
  7. transformation_add_AL({"FSA": "formalisms/FSA/MM"}, {}, "formalisms/FSA/simulate", open("models/FiniteStateAutomata/transformations/simple_simulate.alc", 'r').read())
  8. model_add("formalisms/DTCBD/MM", "formalisms/SimpleClassDiagrams", open("models/DTCBD/metamodels/DTCBD_MM.mvc", 'r').read())
  9. transformation_add_AL({"DTCBD": "formalisms/DTCBD/MM"}, {}, "formalisms/DTCBD/simulate", open("models/DTCBD/transformations/simple_simulate.alc", 'r').read())
  10. model_add("formalisms/CTCBD/MM", "formalisms/SimpleClassDiagrams", open("models/CTCBD/metamodels/CTCBD_MM.mvc", 'r').read())
  11. def trace_D2P(model):
  12. instantiate(model, "Association", ("Design/Block", "PartialRuntime/Block"), ID="D2P_block")
  13. transformation_add_MT({"Design": "formalisms/CTCBD/MM"}, {"PartialRuntime": "formalisms/DTCBD/MM"}, "formalisms/CTCBD/discretize", open("models/CTCBD/transformations/to_partial_runtime.mvc", 'r').read(), trace_D2P)
  14. model_add("formalisms/PN/MM", "formalisms/SimpleClassDiagrams", open("models/PetriNets/metamodels/PetriNets.mvc", 'r').read())
  15. transformation_add_AL({"PetriNet": "formalisms/PN/MM"}, {"PetriNet": "formalisms/PN/MM"}, "formalisms/PN/simulate", open("models/PetriNets/transformations/simple_simulate.alc", 'r').read())
  16. model_add("formalisms/Query", "formalisms/SimpleClassDiagrams", open("models/SafetyQuery/metamodels/query.mvc", 'r').read())
  17. model_add("formalisms/PNPath", "formalisms/SimpleClassDiagrams", open("models/PNPath/metamodels/PNPath.mvc", 'r').read())
  18. transformation_add_AL({"PN": "formalisms/PN/MM", "Query": "formalisms/Query"}, {"Path": "formalisms/PNPath"}, "formalisms/PN/analyze", open("models/PetriNets/transformations/analyze_lola.alc", 'r').read())
  19. model_add("models/FSA/alarm", "formalisms/FSA/MM", open("models/FiniteStateAutomata/models/alarm.mvc", 'r').read())
  20. model_add("models/DTCBD/loop", "formalisms/DTCBD/MM", open("models/DTCBD/models/simple_equation.mvc", 'r').read())
  21. model_add("models/CTCBD/spring", "formalisms/CTCBD/MM", open("models/CTCBD/models/spring.mvc", 'r').read())
  22. model_add("models/PN/critical", "formalisms/PN/MM", open("models/PetriNets/models/critical_section_with_check.mvc", 'r').read())
  23. model_add("models/Query/error", "formalisms/Query", open("models/SafetyQuery/models/both_criticals_enabled.mvc", 'r').read())