PM_live_modelling.mvc 2.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145
  1. Start start {}
  2. Finish finish {}
  3. Exec toRuntime_0 {
  4. name = "models/FSA/toRuntime"
  5. }
  6. Exec merge_0 {
  7. name = "models/FSA/merge"
  8. }
  9. Exec edit {
  10. name = "models/FSA/edit"
  11. }
  12. Exec toRuntime {
  13. name = "models/FSA/toRuntime"
  14. }
  15. Exec restartSim {
  16. name = "models/FSA/restartSim"
  17. }
  18. Exec simulate {
  19. name = "models/FSA/simulate"
  20. }
  21. Exec merge {
  22. name = "models/FSA/merge"
  23. }
  24. Fork fork1 {}
  25. Fork fork2 {}
  26. Data traceability_D2P {
  27. name = "traceability_D2P"
  28. type = "formalisms/Tracability"
  29. }
  30. Data traceability_P2F {
  31. name = "traceability_P2F"
  32. type = "formalisms/Tracability"
  33. }
  34. Data design_model {
  35. name = "design_model"
  36. type = "formalisms/FSA/Design_MM"
  37. }
  38. Data partial_runtime_model {
  39. name = "partial_runtime_model"
  40. type = "formalisms/FSA/PartialRuntime_MM"
  41. }
  42. Data full_runtime_model {
  43. name = "full_runtime_model"
  44. type = "formalisms/FSA/FullRuntime_MM"
  45. }
  46. Next (start, toRuntime_0) {}
  47. Next (toRuntime_0, merge_0) {}
  48. Next (merge_0, fork1) {}
  49. Next (fork1, edit) {}
  50. Next (fork1, simulate) {}
  51. Next (edit, toRuntime) {}
  52. Next (toRuntime, fork2) {}
  53. Next (fork2, edit) {}
  54. Next (fork2, restartSim) {}
  55. Next (simulate, merge) {}
  56. Next (merge, simulate) {}
  57. Consumes (edit, design_model) {
  58. name = "Design"
  59. }
  60. Produces (edit, design_model) {
  61. name = "Design"
  62. }
  63. Consumes (toRuntime, design_model) {
  64. name = "Design"
  65. }
  66. Consumes (toRuntime, partial_runtime_model) {
  67. name = "PartialRuntime"
  68. }
  69. Consumes (toRuntime, traceability_D2P) {
  70. name = "__traceability"
  71. }
  72. Produces (toRuntime, traceability_D2P) {
  73. name = "__traceability"
  74. }
  75. Produces (toRuntime, partial_runtime_model) {
  76. name = "PartialRuntime"
  77. }
  78. Consumes (toRuntime_0, design_model) {
  79. name = "Design"
  80. }
  81. Consumes (toRuntime_0, traceability_D2P) {
  82. name = "__traceability"
  83. }
  84. Produces (toRuntime_0, traceability_D2P) {
  85. name = "__traceability"
  86. }
  87. Produces (toRuntime_0, partial_runtime_model) {
  88. name = "PartialRuntime"
  89. }
  90. Consumes (merge, partial_runtime_model) {
  91. name = "PartialRuntime"
  92. }
  93. Consumes (merge, full_runtime_model) {
  94. name = "FullRuntime"
  95. }
  96. Consumes (merge, traceability_P2F) {
  97. name = "__traceability"
  98. }
  99. Produces (merge, traceability_P2F) {
  100. name = "__traceability"
  101. }
  102. Produces (merge, full_runtime_model) {
  103. name = "NewFullRuntime"
  104. }
  105. Consumes (merge_0, partial_runtime_model) {
  106. name = "PartialRuntime"
  107. }
  108. Consumes (merge_0, full_runtime_model) {
  109. name = "FullRuntime"
  110. }
  111. Consumes (merge_0, traceability_P2F) {
  112. name = "__traceability"
  113. }
  114. Produces (merge_0, traceability_P2F) {
  115. name = "__traceability"
  116. }
  117. Produces (merge_0, full_runtime_model) {
  118. name = "NewFullRuntime"
  119. }
  120. Consumes (simulate, full_runtime_model) {
  121. name = "FullRuntime"
  122. }
  123. Produces (simulate, full_runtime_model) {
  124. name = "FullRuntime"
  125. }