Home Explore Help
Sign In
andrei
/
modelverse
forked from yentl/modelverse
Watch 1
Star 0
Fork 0
Files
Tree: a63717c27f
Branches Tags
modelverse
/
examples
/
live_modelling_FSA.py

live_modelling_FSA.py 2.6 KB
History Raw

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849 
  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. ### live modelling FSA
    9. 

  9. 

  10. model_add("formalisms/FSA/Design_MM", "formalisms/SimpleClassDiagrams", open("models/FiniteStateAutomata/metamodels/FSA_MM.mvc", 'r').read())
    11. 

  11. model_add("formalisms/FSA/PartialRuntime_MM", "formalisms/SimpleClassDiagrams", open("models/FiniteStateAutomata/metamodels/FSA_MM_partial_runtime.mvc", 'r').read())
    12. 

  12. model_add("formalisms/FSA/FullRuntime_MM", "formalisms/SimpleClassDiagrams", open("models/FiniteStateAutomata/metamodels/FSA_MM_runtime.mvc", 'r').read())
    13. 

  13. 

  14. model_add("models/FSA_model", "formalisms/FSA/Design_MM", open("models/FiniteStateAutomata/models/alarm.mvc", 'r').read())
    15. 

  15. 

  16. transformation_add_MANUAL({"Design": "formalisms/FSA/Design_MM"}, {"Design": "formalisms/FSA/Design_MM"}, "models/FSA/edit")
    17. 

  17. 

  18. def trace_D2P(model):
    19. 

  19.     instantiate(model, "Association", ("Design/State", "PartialRuntime/State"), ID="D2P_state")
    20. 

  20. 

  21. transformation_add_AL({"Design": "formalisms/FSA/Design_MM", "PartialRuntime": "formalisms/FSA/PartialRuntime_MM"}, {"PartialRuntime": "formalisms/FSA/PartialRuntime_MM"}, "models/FSA/toRuntime", open("models/FiniteStateAutomata/transformations/to_runtime.alc", 'r').read(), trace_D2P)
    22. 

  22. 

  23. def trace_P2F(model):
    24. 

  24.     instantiate(model, "Association", ("PartialRuntime/State", "FullRuntime/State"), ID="P2F_state")
    25. 

  25. 

  26. transformation_add_AL({"PartialRuntime": "formalisms/FSA/PartialRuntime_MM", "FullRuntime": "formalisms/FSA/FullRuntime_MM"}, {"NewFullRuntime": "formalisms/FSA/FullRuntime_MM"}, "models/FSA/merge", open("models/FiniteStateAutomata/transformations/merge.alc", 'r').read(), trace_P2F)
    27. 

  27. transformation_add_AL({"FullRuntime": "formalisms/FSA/FullRuntime_MM"}, {"FullRuntime": "formalisms/FSA/FullRuntime_MM"}, "models/FSA/simulate", open("models/FiniteStateAutomata/transformations/simulate.alc", 'r').read())
    28. 

  28. transformation_add_AL({}, {}, "models/FSA/restartSim", open("models/generic/restart_simulation.alc", 'r').read())
    29. 

  29. 

  30. model_add("models/live_modelling_FSA", "formalisms/ProcessModel", open("models/FiniteStateAutomata/PM_live_modelling.mvc", 'r').read())
    31. 

  31. 

  32. def edit_FSA(model):
    33. 

  33.     elements = element_list_nice(model)
    34. 

  34.     for e in elements:
    35. 

  35.         if e.get("name", None) == "idle":
    36. 

  36.             delete_element(model, e["__id"])
    37. 

  37.             break
    38. 

  38.     else:
    39. 

  39.         while 1:
    40. 

  40.             time.sleep(1)
    41. 

  41. 

  42.     # Removed, so set a new element as initial
    43. 

  43.     for e in elements:
    44. 

  44.         if e.get("name", None) == "armed":
    45. 

  45.             attr_assign(model, e["__id"], "initial", True)
    46. 

  46.             break
    47. 

  47. 

  48. process_execute("models/live_modelling_FSA", {"design_model": "models/FSA_model"}, {"models/FSA/edit": edit_FSA})
    49. 

  49.