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

live_modelling_FSA.py 2.6 KB
History Raw

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748 
  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 modify_model(model):
    33. 

  33.     time.sleep(10)
    34. 

  34. 

  35.     states = all_instances(model, "Design/State")
    36. 

  36.     print("Searching")
    37. 

  37.     for state in states:
    38. 

  38.         if (read_attrs(model, state)["name"] == "detected"):
    39. 

  39.             print("Modified!")
    40. 

  40.             delete_element(model, state)
    41. 

  41.             break
    42. 

  42.     else:
    43. 

  43.         print("Nothing to do...")
    44. 

  44.         while 1:
    45. 

  45.             time.sleep(0.1)
    46. 

  46. 

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

  48.