Home Explore Help
Sign In
yentl
/
modelverse
Watch 3
Star 3
Fork 6
Files Issues 4 Pull Requests 0 Wiki
Tree: 26545926fd
Branches Tags
modelverse
/
examples
/
upload_simple_formalisms.py

upload_simple_formalisms.py 1.7 KB
History Raw

1234567891011121314151617181920212223 
  1. import sys
    2. 

  2. sys.path.append("wrappers")
    3. 

  3. from modelverse import *
    4. 

  4. 

  5. init()
    6. 

  6. login("admin", "admin")
    7. 

  7. 

  8. model_add("formalisms/FSA/MM", "formalisms/SimpleClassDiagrams", open("models/FiniteStateAutomata/metamodels/simple.mvc", 'r').read())
    9. 

  9. transformation_add_AL({"FSA": "formalisms/FSA/MM"}, {}, "formalisms/FSA/simulate", open("models/FiniteStateAutomata/transformations/simple_simulate.alc", 'r').read())
    10. 

  10. 

  11. model_add("formalisms/DTCBD/MM", "formalisms/SimpleClassDiagrams", open("models/DTCBD/metamodels/DTCBD_MM.mvc", 'r').read())
    12. 

  12. transformation_add_AL({"DTCBD": "formalisms/DTCBD/MM"}, {}, "formalisms/DTCBD/simulate", open("models/DTCBD/transformations/simple_simulate.alc", 'r').read())
    13. 

  13. 

  14. model_add("formalisms/CTCBD/MM", "formalisms/SimpleClassDiagrams", open("models/CTCBD/metamodels/CTCBD_MM.mvc", 'r').read())
    15. 

  15. transformation_add_MT({"Design": "formalisms/CTCBD/MM"}, {"PartialRuntime": "formalisms/DTCBD/MM"}, "formalisms/CTCBD/discretize", open("models/CTCBD/transformations/to_partial_runtime.mvc", 'r').read())
    16. 

  16. 

  17. model_add("formalisms/PN/MM", "formalisms/SimpleClassDiagrams", open("models/PetriNets/metamodels/PetriNets.mvc", 'r').read())
    18. 

  18. transformation_add_AL({"PN": "formalisms/PN/MM"}, {"PN": "formalisms/PN/MM"}, "formalisms/PN/simulate", open("models/PetriNets/transformations/simple_simulate.alc", 'r').read())
    19. 

  19. 

  20. model_add("formalisms/Query", "formalisms/SimpleClassDiagrams", open("models/SafetyQuery/metamodels/query.mvc", 'r').read())
    21. 

  21. model_add("formalisms/PNPath", "formalisms/SimpleClassDiagrams", open("models/PNPath/metamodels/PNPath.mvc", 'r').read())
    22. 

  22. transformation_add_AL({"PN": "formalisms/PN/MM", "Query": "formalisms/Query"}, {"Path": "formalisms/PNPath"}, "models/analyze_lola", open("models/PetriNets/transformations/analyze_lola.alc", 'r').read())
    23. 

  23.