modelverse.xml 82 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702
  1. <class name="Modelverse">
  2. <relationships>
  3. <association name="http_client" class="HTTPClient" min="2" max="2"/>
  4. </relationships>
  5. <method name="load_action">
  6. <parameter name="context"/>
  7. <body>
  8. action = self.actions[context].pop(0)
  9. self.parameters = action["parameters"]
  10. self.current_ID = action["ID"]
  11. </body>
  12. </method>
  13. <method name="split_response">
  14. <parameter name="response"/>
  15. <body>
  16. splitted = response.strip().split(": ", 1)
  17. if len(splitted) > 1:
  18. return splitted[1].split("\n")
  19. else:
  20. return []
  21. </body>
  22. </method>
  23. <method name="expect_response">
  24. <parameter name="expected"/>
  25. <parameter name="pop" default="True"/>
  26. <body>
  27. if self.responses and self.responses[0] == expected:
  28. if pop:
  29. del self.responses[0]
  30. return True
  31. else:
  32. return False
  33. </body>
  34. </method>
  35. <method name="expect_response_partial">
  36. <parameter name="expected"/>
  37. <parameter name="pop" default="False"/>
  38. <body>
  39. if self.responses and self.responses[0].startswith(expected):
  40. if pop:
  41. del self.responses[0]
  42. return True
  43. else:
  44. return False
  45. </body>
  46. </method>
  47. <method name="expect_action">
  48. <parameter name="context"/>
  49. <parameter name="expected"/>
  50. <body>
  51. if isinstance(expected, list):
  52. return self.actions[context] and self.actions[context][0]["name"] in expected
  53. else:
  54. return self.actions[context] and self.actions[context][0]["name"] == expected
  55. </body>
  56. </method>
  57. <constructor>
  58. <body>
  59. self.actions = {None: []}
  60. self.responses = []
  61. self.http_clients = []
  62. self.context = None
  63. self.registered_metamodel = {}
  64. </body>
  65. </constructor>
  66. <scxml initial="init" priority="source_child">
  67. <state id="init">
  68. <onentry>
  69. <raise scope="cd" event="create_instance">
  70. <parameter expr="'http_client'"/>
  71. <parameter expr="'HTTPClient'"/>
  72. </raise>
  73. <raise scope="cd" event="create_instance">
  74. <parameter expr="'http_client'"/>
  75. <parameter expr="'HTTPClient'"/>
  76. </raise>
  77. </onentry>
  78. <transition event="instance_created" target=".">
  79. <parameter name="instance"/>
  80. <script>
  81. self.http_clients.append(instance)
  82. </script>
  83. <raise scope="cd" event="start_instance">
  84. <parameter expr="instance"/>
  85. </raise>
  86. </transition>
  87. <transition cond="len(self.http_clients) == 2" target="../waiting"/>
  88. </state>
  89. <state id="waiting">
  90. <transition event="http_client_initialized" target="../initialized"/>
  91. </state>
  92. <parallel id="initialized">
  93. <onentry>
  94. <raise scope="output" port="ready" event="ready"/>
  95. </onentry>
  96. <state id="http_mapper" initial="init">
  97. <state id="init">
  98. <transition event="request" cond="isinstance(value, type([]))" target=".">
  99. <parameter name="value"/>
  100. <raise event="HTTP_input" target="self.http_clients[0]">
  101. <parameter expr='urllib.urlencode({"op": "set_input", "data": json.dumps(value), "taskname": self.taskname})'/>
  102. <parameter expr='None'/>
  103. </raise>
  104. </transition>
  105. <transition event="request" cond="not isinstance(value, type([]))" target=".">
  106. <parameter name="value"/>
  107. <raise event="HTTP_input" target="self.http_clients[0]">
  108. <parameter expr='urllib.urlencode({"op": "set_input", "value": json.dumps(value), "taskname": self.taskname})'/>
  109. <parameter expr='None'/>
  110. </raise>
  111. </transition>
  112. <transition event="request_raw" target=".">
  113. <parameter name="value"/>
  114. <parameter name="taskname"/>
  115. <parameter name="http_client"/>
  116. <raise event="HTTP_input" target="self.http_clients[http_client]">
  117. <parameter expr='urllib.urlencode({"op": "set_input", "value": json.dumps(value), "taskname": taskname})'/>
  118. <parameter expr='"parent"'/>
  119. </raise>
  120. </transition>
  121. <transition event="HTTP_output" target=".">
  122. <parameter name="data"/>
  123. <raise event="HTTP_input" target="self.http_clients[1]">
  124. <parameter expr='urllib.urlencode({"op": "get_output", "taskname": self.taskname})'/>
  125. <parameter expr='"parent"'/>
  126. </raise>
  127. <script>
  128. print("Got input from HTTP: " + str(data))
  129. self.responses.append(json.loads(data))
  130. </script>
  131. </transition>
  132. </state>
  133. </state>
  134. <state id="behaviour" initial="wait_for_action">
  135. <state id="init" initial="connect_http_client">
  136. <onentry>
  137. <script>
  138. self.address, self.timeout = self.parameters
  139. self.address = self.address.rsplit(":", 1)
  140. self.address = (self.address[0], int(self.address[1]))
  141. self.i = 0
  142. self.taskname = str(uuid.uuid4())
  143. </script>
  144. </onentry>
  145. <state id="connect_http_client">
  146. <transition cond="self.i &lt; 2" target="../waiting_http_client">
  147. <raise scope="narrow" target="self.http_clients[self.i]" event="connect">
  148. <parameter expr="self.address"/>
  149. <parameter expr="self.timeout"/>
  150. </raise>
  151. </transition>
  152. <transition cond="self.i == 2" target="../../wait_for_action/connected">
  153. <!-- Start polling for output -->
  154. <raise event="HTTP_input" target="self.http_clients[1]">
  155. <parameter expr='urllib.urlencode({"op": "get_output", "taskname": self.taskname})'/>
  156. <parameter expr='"parent"'/>
  157. </raise>
  158. <!-- Sent out completion -->
  159. <raise event="result">
  160. <parameter expr="[]"/>
  161. </raise>
  162. </transition>
  163. </state>
  164. <state id="waiting_http_client">
  165. <transition event="http_client_ready" target="../wait_for_taskname_ack">
  166. <!-- Request the task to be created -->
  167. <raise event="request_raw">
  168. <parameter expr="self.taskname"/>
  169. <parameter expr="'task_manager'"/>
  170. <parameter expr="self.i"/>
  171. </raise>
  172. <script>
  173. self.i += 1
  174. </script>
  175. </transition>
  176. <transition event="http_client_timeout" target="../../wait_for_action/disconnected">
  177. <raise scope="broad" event="exception">
  178. <parameter expr="self.current_ID"/>
  179. <parameter expr="'Connection timeout'"/>
  180. </raise>
  181. </transition>
  182. </state>
  183. <state id="wait_for_taskname_ack">
  184. <transition cond="self.expect_response('OK', pop=True)" target="../connect_http_client"/>
  185. </state>
  186. </state>
  187. <state id="login" initial="wait_prompt_1">
  188. <state id="wait_prompt_1">
  189. <transition cond="self.expect_response('Log on as which user?', pop=True)" target="../wait_prompt_2">
  190. <raise event="request">
  191. <parameter expr="self.parameters[0]"/>
  192. </raise>
  193. </transition>
  194. </state>
  195. <state id="wait_prompt_2">
  196. <transition cond="self.expect_response('Password for existing user?', pop=True)" target="../wait_prompt_existing">
  197. <raise event="request">
  198. <parameter expr="self.parameters[1]"/>
  199. </raise>
  200. </transition>
  201. <transition cond="self.expect_response('This is a new user: please give password!', pop=True)" target="../wait_prompt_existing">
  202. <raise event="request">
  203. <parameter expr="self.parameters[1]"/>
  204. </raise>
  205. </transition>
  206. </state>
  207. <state id="wait_prompt_existing">
  208. <transition cond="self.expect_response('Welcome to the Model Management Interface v2.0!', pop=True)" target="../login_ok"/>
  209. <transition cond="self.expect_response('Wrong password!', pop=True)" target="../../wait_for_action/connected">
  210. <raise event="exception">
  211. <parameter expr="{'name': 'PermissionDenied'}"/>
  212. </raise>
  213. </transition>
  214. </state>
  215. <state id="login_ok">
  216. <transition cond="self.expect_response('Use the \'help\' command for a list of possible commands', pop=True)" target="../../wait_for_action/megamodelling">
  217. <raise event="request">
  218. <parameter expr="'quiet'"/>
  219. </raise>
  220. <raise event="result">
  221. <parameter expr="None"/>
  222. </raise>
  223. </transition>
  224. </state>
  225. </state>
  226. <state id="operations" initial="model_list">
  227. <history id="history" type="deep"/>
  228. <state id="model_list">
  229. <onentry>
  230. <raise event="request">
  231. <parameter expr="['model_list', self.parameters[0]]"/>
  232. </raise>
  233. </onentry>
  234. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  235. <raise event="result">
  236. <parameter expr="set(self.split_response(self.responses.pop(0)))"/>
  237. </raise>
  238. </transition>
  239. </state>
  240. <state id="model_add" initial="send_metadata">
  241. <state id="send_metadata">
  242. <onentry>
  243. <raise event="request">
  244. <parameter expr="['model_add', self.parameters[1], self.parameters[0], self.parameters[2]]"/>
  245. </raise>
  246. </onentry>
  247. <transition cond="self.expect_response('Success')" target="../../../wait_for_action/history">
  248. <script>
  249. self.registered_metamodel[self.parameters[0]] = self.parameters[1]
  250. </script>
  251. <raise event="result">
  252. <parameter expr="None"/>
  253. </raise>
  254. </transition>
  255. </state>
  256. </state>
  257. <state id="model_delete">
  258. <onentry>
  259. <raise event="request">
  260. <parameter expr="['model_delete', self.parameters[0]]"/>
  261. </raise>
  262. </onentry>
  263. <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
  264. <raise event="result">
  265. <parameter expr="None"/>
  266. </raise>
  267. </transition>
  268. </state>
  269. <state id="model_list_full">
  270. <onentry>
  271. <raise event="request">
  272. <parameter expr="['model_list_full', self.parameters[0]]"/>
  273. </raise>
  274. </onentry>
  275. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  276. <script>
  277. response = self.split_response(self.responses.pop(0))
  278. result = set()
  279. for res in response:
  280. i = res.split(" ", 3)
  281. result.add((i[3], i[1], i[2], i[0]))
  282. </script>
  283. <raise event="result">
  284. <parameter expr="result"/>
  285. </raise>
  286. </transition>
  287. </state>
  288. <state id="verify">
  289. <onentry>
  290. <raise event="request">
  291. <parameter expr="['verify', self.parameters[0], self.parameters[1]]"/>
  292. </raise>
  293. </onentry>
  294. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  295. <raise event="result">
  296. <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
  297. </raise>
  298. </transition>
  299. </state>
  300. <state id="alter_context">
  301. <transition target="../../wait_for_action/history">
  302. <script>
  303. self.registered_metamodel[self.parameters[0]] = self.parameters[1]
  304. </script>
  305. <raise event="result">
  306. <parameter expr="None"/>
  307. </raise>
  308. </transition>
  309. </state>
  310. <state id="model_overwrite" initial="send_metadata">
  311. <state id="send_metadata">
  312. <onentry>
  313. <raise event="request">
  314. <parameter expr="['model_overwrite', self.parameters[0], self.registered_metamodel[self.parameters[0]]]"/>
  315. </raise>
  316. </onentry>
  317. <transition cond="self.expect_response('Waiting for model constructors...')" target="../send_model"/>
  318. </state>
  319. <state id="send_model">
  320. <onentry>
  321. <raise event="request">
  322. <parameter expr="self.parameters[1]"/>
  323. </raise>
  324. </onentry>
  325. <transition cond="self.expect_response('Success')" target="../../../wait_for_action/history">
  326. <raise event="result">
  327. <parameter expr="None"/>
  328. </raise>
  329. </transition>
  330. </state>
  331. </state>
  332. <state id="disconnect">
  333. <onentry>
  334. <raise event="request">
  335. <parameter expr="'exit'"/>
  336. </raise>
  337. </onentry>
  338. <transition cond="self.expect_response('Success')" target="../../wait_for_action/finished">
  339. <raise event="result">
  340. <parameter expr="None"/>
  341. </raise>
  342. </transition>
  343. </state>
  344. <state id="user_logout">
  345. <onentry>
  346. <raise event="request">
  347. <parameter expr="'user_logout'"/>
  348. </raise>
  349. </onentry>
  350. <transition cond="self.expect_response('Success')" target="../../wait_for_action/connected">
  351. <raise event="result">
  352. <parameter expr="None"/>
  353. </raise>
  354. </transition>
  355. </state>
  356. <state id="user_delete">
  357. <onentry>
  358. <raise event="request">
  359. <parameter expr="'self-destruct'"/>
  360. </raise>
  361. </onentry>
  362. <transition cond="self.expect_response('Success')" target="../../wait_for_action/finished">
  363. <raise event="result">
  364. <parameter expr="None"/>
  365. </raise>
  366. </transition>
  367. </state>
  368. <state id="model_render">
  369. <onentry>
  370. <raise event="request">
  371. <parameter expr="['model_render', self.parameters[0], self.parameters[1]]"/>
  372. </raise>
  373. </onentry>
  374. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  375. <raise event="result">
  376. <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
  377. </raise>
  378. </transition>
  379. </state>
  380. <state id="transformation_between">
  381. <onentry>
  382. <raise event="request">
  383. <parameter expr="['transformation_between', self.parameters[0], self.parameters[1]]"/>
  384. </raise>
  385. </onentry>
  386. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  387. <raise event="result">
  388. <parameter expr="set(self.split_response(self.responses.pop(0)))"/>
  389. </raise>
  390. </transition>
  391. </state>
  392. <state id="transformation_add_MT" initial="send_metadata">
  393. <state id="send_metadata">
  394. <onentry>
  395. <raise event="request">
  396. <parameter expr="['transformation_add_MT'] + self.dict_to_list(self.parameters[0]) + self.dict_to_list(self.parameters[1]) + [self.parameters[2]]"/>
  397. </raise>
  398. <script>
  399. self.context = str(uuid.uuid4())
  400. </script>
  401. <raise event="result">
  402. <parameter expr="self.context"/>
  403. </raise>
  404. </onentry>
  405. <transition target="../edit_metamodel"/>
  406. </state>
  407. <state id="edit_metamodel">
  408. <transition cond="self.expect_response('Model loaded, ready for commands!')" target="../../../going_scripted"/>
  409. <transition cond="self.expect_response('Waiting for model constructors...')" target="../send_model"/>
  410. </state>
  411. <state id="send_model">
  412. <onentry>
  413. <raise event="request">
  414. <parameter expr="self.parameters[3]"/>
  415. </raise>
  416. </onentry>
  417. <transition cond="self.expect_response('Success')" target="../../../wait_for_action/megamodelling">
  418. <raise event="result">
  419. <parameter expr="None"/>
  420. </raise>
  421. </transition>
  422. </state>
  423. <transition cond="self.expect_response_partial('', pop=False)" target="../../wait_for_action/history">
  424. <script>
  425. print("UNKNOWN RESPONSE received: " + str(self.responses.pop(0)))
  426. </script>
  427. </transition>
  428. </state>
  429. <state id="transformation_add_AL" initial="send_metadata">
  430. <state id="send_metadata">
  431. <onentry>
  432. <raise event="request">
  433. <parameter expr="['transformation_add_AL'] + self.dict_to_list(self.parameters[0]) + self.dict_to_list(self.parameters[1]) + [self.parameters[2]]"/>
  434. </raise>
  435. <script>
  436. self.context = str(uuid.uuid4())
  437. </script>
  438. <raise event="result">
  439. <parameter expr="self.context"/>
  440. </raise>
  441. </onentry>
  442. <transition target="../edit_metamodel"/>
  443. </state>
  444. <state id="edit_metamodel">
  445. <transition cond="self.expect_response('Model loaded, ready for commands!')" target="../../../going_scripted"/>
  446. <transition cond="self.expect_response('Waiting for code constructors...')" target="../send_model"/>
  447. </state>
  448. <state id="send_model">
  449. <onentry>
  450. <raise event="request">
  451. <parameter expr="self.parameters[3]"/>
  452. </raise>
  453. </onentry>
  454. <transition cond="self.expect_response('Success')" target="../../../wait_for_action/megamodelling">
  455. <raise event="result">
  456. <parameter expr="None"/>
  457. </raise>
  458. </transition>
  459. </state>
  460. </state>
  461. <state id="transformation_add_MANUAL" initial="send_metadata">
  462. <state id="send_metadata">
  463. <onentry>
  464. <raise event="request">
  465. <parameter expr="['transformation_add_MANUAL'] + self.dict_to_list(self.parameters[0]) + self.dict_to_list(self.parameters[1]) + [self.parameters[2]]"/>
  466. </raise>
  467. <script>
  468. self.context = str(uuid.uuid4())
  469. </script>
  470. <raise event="result">
  471. <parameter expr="self.context"/>
  472. </raise>
  473. </onentry>
  474. <transition target="../edit_metamodel"/>
  475. </state>
  476. <state id="edit_metamodel">
  477. <transition cond="self.expect_response('Model loaded, ready for commands!')" target="../../../going_scripted"/>
  478. <transition cond="self.expect_response('Success')" target="../../../wait_for_action/megamodelling">
  479. <raise event="result">
  480. <parameter expr="None"/>
  481. </raise>
  482. </transition>
  483. </state>
  484. </state>
  485. <state id="transformation_execute_AL" initial="send_operation">
  486. <state id="send_operation">
  487. <onentry>
  488. <raise event="request">
  489. <parameter expr="['transformation_execute', self.parameters[0]] + self.dict_to_list(self.parameters[1]) + self.dict_to_list(self.parameters[2])"/>
  490. </raise>
  491. </onentry>
  492. <transition cond="self.expect_response('Success: ready for AL execution')" target="../dialog">
  493. <script>
  494. self.context = str(uuid.uuid4())
  495. </script>
  496. <raise event="result">
  497. <parameter expr="self.context"/>
  498. </raise>
  499. </transition>
  500. </state>
  501. <state id="dialog">
  502. <transition cond="self.expect_response('Success', pop=False) or self.expect_response('Failure', pop=False)" target="../../../wait_for_action/history">
  503. <raise event="result">
  504. <parameter expr="self.responses.pop(0)"/>
  505. </raise>
  506. </transition>
  507. <transition cond="not (self.expect_response('Success', pop=False) or self.expect_response('Failure', pop=False)) and self.expect_response_partial('', pop=False)" target=".">
  508. <raise event="result">
  509. <parameter expr="self.responses.pop(0)"/>
  510. </raise>
  511. </transition>
  512. <transition cond="self.expect_action(self.context, 'data_input')" target=".">
  513. <raise event="request">
  514. <parameter expr="self.actions[self.context].pop(0)['parameters']"/>
  515. </raise>
  516. </transition>
  517. </state>
  518. </state>
  519. <state id="transformation_execute_MT" initial="send_operation">
  520. <state id="send_operation">
  521. <onentry>
  522. <raise event="request">
  523. <parameter expr="['transformation_execute', self.parameters[0]] + self.dict_to_list(self.parameters[1]) + self.dict_to_list(self.parameters[2])"/>
  524. </raise>
  525. </onentry>
  526. <transition cond="self.expect_response('Success: ready for MT execution')" target="../dialog">
  527. <script>
  528. self.context = str(uuid.uuid4())
  529. </script>
  530. <raise event="result">
  531. <parameter expr="self.context"/>
  532. </raise>
  533. </transition>
  534. </state>
  535. <state id="dialog">
  536. <transition cond="self.expect_response('Success', pop=False) or self.expect_response('Failure', pop=False)" target="../../../wait_for_action/history">
  537. <raise event="result">
  538. <parameter expr="self.responses.pop(0)"/>
  539. </raise>
  540. </transition>
  541. <transition cond="not (self.expect_response('Success', pop=False) or self.expect_response('Failure', pop=False)) and self.expect_response_partial('', pop=False)" target=".">
  542. <raise event="result">
  543. <parameter expr="self.responses.pop(0)"/>
  544. </raise>
  545. </transition>
  546. <transition cond="self.expect_action(self.context, 'data_input')" target=".">
  547. <raise event="request">
  548. <parameter expr="self.actions[self.context].pop(0)['parameters']"/>
  549. </raise>
  550. </transition>
  551. </state>
  552. </state>
  553. <state id="transformation_execute_MANUAL" initial="send_metadata">
  554. <state id="send_metadata">
  555. <onentry>
  556. <raise event="request">
  557. <parameter expr="['transformation_execute', self.parameters[0]] + self.dict_to_list(self.parameters[1]) + self.dict_to_list(self.parameters[2])"/>
  558. </raise>
  559. <script>
  560. self.context = str(uuid.uuid4())
  561. </script>
  562. <raise event="result">
  563. <parameter expr="self.context"/>
  564. </raise>
  565. </onentry>
  566. <transition cond="self.expect_response('Success: ready for MANUAL execution')" target="../edit_model"/>
  567. </state>
  568. <state id="edit_model">
  569. <transition cond="self.expect_response('Model loaded, ready for commands!')" target="../../../going_scripted"/>
  570. <transition cond="self.expect_response('Success')" target="../../../wait_for_action/megamodelling">
  571. <raise event="result">
  572. <parameter expr="None"/>
  573. </raise>
  574. </transition>
  575. </state>
  576. </state>
  577. <state id="process_execute">
  578. <onentry>
  579. <script>
  580. raise NotImplementedException()
  581. </script>
  582. </onentry>
  583. </state>
  584. <state id="permission_modify">
  585. <onentry>
  586. <raise event="request">
  587. <parameter expr="['permission_modify', self.parameters[0], self.parameters[1]]"/>
  588. </raise>
  589. </onentry>
  590. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  591. <raise event="result">
  592. <parameter expr="self.responses.pop(0)"/>
  593. </raise>
  594. </transition>
  595. </state>
  596. <state id="permission_owner">
  597. <onentry>
  598. <raise event="request">
  599. <parameter expr="['permission_owner', self.parameters[0], self.parameters[1]]"/>
  600. </raise>
  601. </onentry>
  602. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  603. <raise event="result">
  604. <parameter expr="self.responses.pop(0)"/>
  605. </raise>
  606. </transition>
  607. </state>
  608. <state id="permission_group">
  609. <onentry>
  610. <raise event="request">
  611. <parameter expr="['permission_group', self.parameters[0], self.parameters[1]]"/>
  612. </raise>
  613. </onentry>
  614. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  615. <raise event="result">
  616. <parameter expr="self.responses.pop(0)"/>
  617. </raise>
  618. </transition>
  619. </state>
  620. <state id="group_create">
  621. <onentry>
  622. <raise event="request">
  623. <parameter expr="['group_create', self.parameters[0], self.parameters[1]]"/>
  624. </raise>
  625. </onentry>
  626. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  627. <raise event="result">
  628. <parameter expr="self.responses.pop(0)"/>
  629. </raise>
  630. </transition>
  631. </state>
  632. <state id="group_delete">
  633. <onentry>
  634. <raise event="request">
  635. <parameter expr="['group_delete', self.parameters[0], self.parameters[1]]"/>
  636. </raise>
  637. </onentry>
  638. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  639. <raise event="result">
  640. <parameter expr="self.responses.pop(0)"/>
  641. </raise>
  642. </transition>
  643. </state>
  644. <state id="group_owner_add">
  645. <onentry>
  646. <raise event="request">
  647. <parameter expr="['group_owner_add', self.parameters[0], self.parameters[1]]"/>
  648. </raise>
  649. </onentry>
  650. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  651. <raise event="result">
  652. <parameter expr="self.responses.pop(0)"/>
  653. </raise>
  654. </transition>
  655. </state>
  656. <state id="group_owner_delete">
  657. <onentry>
  658. <raise event="request">
  659. <parameter expr="['group_owner_delete', self.parameters[0], self.parameters[1]]"/>
  660. </raise>
  661. </onentry>
  662. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  663. <raise event="result">
  664. <parameter expr="self.responses.pop(0)"/>
  665. </raise>
  666. </transition>
  667. </state>
  668. <state id="group_join">
  669. <onentry>
  670. <raise event="request">
  671. <parameter expr="['group_join', self.parameters[0], self.parameters[1]]"/>
  672. </raise>
  673. </onentry>
  674. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  675. <raise event="result">
  676. <parameter expr="self.responses.pop(0)"/>
  677. </raise>
  678. </transition>
  679. </state>
  680. <state id="group_kick">
  681. <onentry>
  682. <raise event="request">
  683. <parameter expr="['group_kick', self.parameters[0], self.parameters[1]]"/>
  684. </raise>
  685. </onentry>
  686. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  687. <raise event="result">
  688. <parameter expr="self.responses.pop(0)"/>
  689. </raise>
  690. </transition>
  691. </state>
  692. <state id="group_list">
  693. <onentry>
  694. <raise event="request">
  695. <parameter expr="['group_list', self.parameters[0], self.parameters[1]]"/>
  696. </raise>
  697. </onentry>
  698. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  699. <raise event="result">
  700. <parameter expr="set(self.split_response(self.responses.pop(0)))"/>
  701. </raise>
  702. </transition>
  703. </state>
  704. <state id="admin_promote">
  705. <onentry>
  706. <raise event="request">
  707. <parameter expr="['admin_promote', self.parameters[0], self.parameters[1]]"/>
  708. </raise>
  709. </onentry>
  710. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  711. <raise event="result">
  712. <parameter expr="self.responses.pop(0)"/>
  713. </raise>
  714. </transition>
  715. </state>
  716. <state id="admin_demote">
  717. <onentry>
  718. <raise event="request">
  719. <parameter expr="['admin_demote', self.parameters[0], self.parameters[1]]"/>
  720. </raise>
  721. </onentry>
  722. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  723. <raise event="result">
  724. <parameter expr="self.responses.pop(0)"/>
  725. </raise>
  726. </transition>
  727. </state>
  728. <state id="conformance_delete">
  729. <onentry>
  730. <raise event="request">
  731. <parameter expr="['remove_conformance', self.parameters[0], self.parameters[1]]"/>
  732. </raise>
  733. </onentry>
  734. <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
  735. <raise event="result">
  736. <parameter expr="None"/>
  737. </raise>
  738. </transition>
  739. </state>
  740. <state id="conformance_add">
  741. <onentry>
  742. <raise event="request">
  743. <parameter expr="['add_conformance', self.parameters[0], self.parameters[1]]"/>
  744. </raise>
  745. </onentry>
  746. <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
  747. <raise event="result">
  748. <parameter expr="None"/>
  749. </raise>
  750. </transition>
  751. </state>
  752. <state id="folder_create">
  753. <onentry>
  754. <raise event="request">
  755. <parameter expr="['folder_create', self.parameters[0]]"/>
  756. </raise>
  757. </onentry>
  758. <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
  759. <raise event="result">
  760. <parameter expr="None"/>
  761. </raise>
  762. </transition>
  763. </state>
  764. <state id="model_types">
  765. <onentry>
  766. <raise event="request">
  767. <parameter expr="['model_types', self.parameters[0]]"/>
  768. </raise>
  769. </onentry>
  770. <transition cond="self.expect_response_partial('Success: ')" target="../../wait_for_action/history">
  771. <raise event="result">
  772. <parameter expr="set(self.split_response(self.responses.pop(0)))"/>
  773. </raise>
  774. </transition>
  775. </state>
  776. <state id="element_list">
  777. <onentry>
  778. <raise event="request">
  779. <parameter expr="['list_full']"/>
  780. </raise>
  781. </onentry>
  782. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  783. <script>
  784. responses = self.split_response(self.responses.pop(0))
  785. result = set([tuple([j.strip() for j in i.split(':')]) for i in responses])
  786. </script>
  787. <raise event="result">
  788. <parameter expr="result"/>
  789. </raise>
  790. </transition>
  791. </state>
  792. <state id="element_list_nice">
  793. <onentry>
  794. <raise event="request">
  795. <parameter expr="['JSON']"/>
  796. </raise>
  797. </onentry>
  798. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  799. <raise event="result">
  800. <parameter expr="json.loads(self.split_response(self.responses.pop(0))[0])"/>
  801. </raise>
  802. </transition>
  803. </state>
  804. <state id="types">
  805. <onentry>
  806. <raise event="request">
  807. <parameter expr="['types', self.parameters[1]]"/>
  808. </raise>
  809. </onentry>
  810. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  811. <raise event="result">
  812. <parameter expr="set(self.split_response(self.responses.pop(0)))"/>
  813. </raise>
  814. </transition>
  815. </state>
  816. <state id="types_full">
  817. <onentry>
  818. <raise event="request">
  819. <parameter expr="['types_full', self.parameters[1]]"/>
  820. </raise>
  821. </onentry>
  822. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  823. <raise event="result">
  824. <parameter expr="set(self.split_response(self.responses.pop(0)))"/>
  825. </raise>
  826. </transition>
  827. </state>
  828. <state id="read_info">
  829. <onentry>
  830. <raise event="request">
  831. <parameter expr="['read_info', self.parameters[1]]"/>
  832. </raise>
  833. </onentry>
  834. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  835. <script>
  836. response = self.responses.pop(0).strip()
  837. _, response = response.split(": ", 1)
  838. values = {line.split(": ", 1)[0]: line.split(": ", 1)[1] for line in response.split("\n", 2)}
  839. if "Source" in values:
  840. result = (values["Type"], (values["Source"], values["Destination"]))
  841. else:
  842. result = (values["Type"], None)
  843. </script>
  844. <raise event="result">
  845. <parameter expr="result"/>
  846. </raise>
  847. </transition>
  848. </state>
  849. <state id="read_attrs">
  850. <onentry>
  851. <raise event="request">
  852. <parameter expr="['read_attrs', self.parameters[1]]"/>
  853. </raise>
  854. </onentry>
  855. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  856. <script>
  857. response = self.responses.pop(0).strip()
  858. _, response = response.split(": ", 1)
  859. values = {line.split(": ", 1)[0]: line.split(": ", 1)[1] for line in response.split("\n")}
  860. values = {key: values[key].split(" = ", 1)[1] for key in values}
  861. </script>
  862. <raise event="result">
  863. <parameter expr="values"/>
  864. </raise>
  865. </transition>
  866. </state>
  867. <state id="instantiate" initial="decide_node_or_edge">
  868. <state id="decide_node_or_edge">
  869. <transition cond="self.parameters[2] is None" target="../created">
  870. <raise event="request">
  871. <parameter expr="['instantiate_node', self.parameters[1], self.parameters[3]]"/>
  872. </raise>
  873. </transition>
  874. <transition cond="self.parameters[2] is not None" target="../created">
  875. <raise event="request">
  876. <parameter expr="['instantiate_edge', self.parameters[1], self.parameters[3], self.parameters[2][0], self.parameters[2][1]]"/>
  877. </raise>
  878. </transition>
  879. </state>
  880. <state id="created">
  881. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../../wait_for_action/history">
  882. <raise event="result">
  883. <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
  884. </raise>
  885. </transition>
  886. </state>
  887. </state>
  888. <state id="delete_element">
  889. <onentry>
  890. <raise event="request">
  891. <parameter expr="['delete_element', self.parameters[1]]"/>
  892. </raise>
  893. </onentry>
  894. <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
  895. <raise event="result">
  896. <parameter expr="None"/>
  897. </raise>
  898. </transition>
  899. </state>
  900. <state id="attr_assign">
  901. <onentry>
  902. <raise event="request">
  903. <parameter expr="['attr_assign', self.parameters[1], self.parameters[2], self.parameters[3]]"/>
  904. </raise>
  905. </onentry>
  906. <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
  907. <raise event="result">
  908. <parameter expr="None"/>
  909. </raise>
  910. </transition>
  911. </state>
  912. <state id="attr_assign_code">
  913. <onentry>
  914. <raise event="request">
  915. <parameter expr="['attr_assign_code', self.parameters[1], self.parameters[2], self.parameters[3]]"/>
  916. </raise>
  917. </onentry>
  918. <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
  919. <raise event="result">
  920. <parameter expr="None"/>
  921. </raise>
  922. </transition>
  923. </state>
  924. <state id="attr_delete">
  925. <onentry>
  926. <raise event="request">
  927. <parameter expr="['attr_delete', self.parameters[1], self.parameters[2]]"/>
  928. </raise>
  929. </onentry>
  930. <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
  931. <raise event="result">
  932. <parameter expr="None"/>
  933. </raise>
  934. </transition>
  935. </state>
  936. <state id="read_outgoing">
  937. <onentry>
  938. <raise event="request">
  939. <parameter expr="['read_outgoing', self.parameters[1], self.parameters[2]]"/>
  940. </raise>
  941. </onentry>
  942. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  943. <raise event="result">
  944. <parameter expr="set(self.split_response(self.responses.pop(0)))"/>
  945. </raise>
  946. </transition>
  947. </state>
  948. <state id="read_incoming">
  949. <onentry>
  950. <raise event="request">
  951. <parameter expr="['read_incoming', self.parameters[1], self.parameters[2]]"/>
  952. </raise>
  953. </onentry>
  954. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  955. <raise event="result">
  956. <parameter expr="set(self.split_response(self.responses.pop(0)))"/>
  957. </raise>
  958. </transition>
  959. </state>
  960. <state id="read_association_source">
  961. <onentry>
  962. <raise event="request">
  963. <parameter expr="['read_association_source', self.parameters[1]]"/>
  964. </raise>
  965. </onentry>
  966. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  967. <raise event="result">
  968. <parameter expr="self.split_response(self.responses.pop(0))"/>
  969. </raise>
  970. </transition>
  971. </state>
  972. <state id="read_association_destination">
  973. <onentry>
  974. <raise event="request">
  975. <parameter expr="['read_association_destination', self.parameters[1]]"/>
  976. </raise>
  977. </onentry>
  978. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  979. <raise event="result">
  980. <parameter expr="self.split_response(self.responses.pop(0))"/>
  981. </raise>
  982. </transition>
  983. </state>
  984. <state id="connections_between">
  985. <onentry>
  986. <raise event="request">
  987. <parameter expr="['connections_between', self.parameters[1], self.parameters[2]]"/>
  988. </raise>
  989. </onentry>
  990. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  991. <raise event="result">
  992. <parameter expr="set(self.split_response(self.responses.pop(0)))"/>
  993. </raise>
  994. </transition>
  995. </state>
  996. <state id="define_attribute">
  997. <onentry>
  998. <raise event="request">
  999. <parameter expr="['define_attribute', self.parameters[1], self.parameters[2], self.parameters[3]]"/>
  1000. </raise>
  1001. </onentry>
  1002. <transition cond="self.expect_response_partial('Success: ')" target="../../wait_for_action/history">
  1003. <raise event="result">
  1004. <parameter expr="None"/>
  1005. </raise>
  1006. </transition>
  1007. </state>
  1008. <state id="all_instances">
  1009. <onentry>
  1010. <raise event="request">
  1011. <parameter expr="['all_instances', self.parameters[1]]"/>
  1012. </raise>
  1013. </onentry>
  1014. <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
  1015. <raise event="result">
  1016. <parameter expr="set(self.split_response(self.responses.pop(0)))"/>
  1017. </raise>
  1018. </transition>
  1019. </state>
  1020. <transition cond="self.expect_response_partial('Element not found: ', pop=False)" target="../wait_for_action/history">
  1021. <raise event="exception">
  1022. <parameter expr="'UnknownIdentifier'"/>
  1023. <parameter expr="'Element could not be found'"/>
  1024. </raise>
  1025. <script>
  1026. self.responses.pop(0)
  1027. </script>
  1028. </transition>
  1029. <transition cond="self.expect_response_partial('No conformance relation can be found ', pop=False)" target="../wait_for_action/history">
  1030. <raise event="exception">
  1031. <parameter expr="'UnknownMetamodellingHierarchy'"/>
  1032. <parameter expr="'Conformance relation not found'"/>
  1033. </raise>
  1034. <script>
  1035. self.responses.pop(0)
  1036. </script>
  1037. </transition>
  1038. </state>
  1039. <state id="wait_for_action" initial="disconnected">
  1040. <state id="disconnected">
  1041. <transition cond="self.expect_action(None, 'init')" target="../../init">
  1042. <script>
  1043. self.load_action(None)
  1044. </script>
  1045. </transition>
  1046. </state>
  1047. <state id="connected">
  1048. <transition cond="self.expect_action(None, 'login')" target="../../login">
  1049. <script>
  1050. self.load_action(None)
  1051. </script>
  1052. </transition>
  1053. </state>
  1054. <state id="megamodelling">
  1055. <transition cond="self.expect_action(None, 'model_list')" target="../../operations/model_list">
  1056. <script>
  1057. self.load_action(None)
  1058. </script>
  1059. </transition>
  1060. <transition cond="self.expect_action(None, 'model_add')" target="../../operations/model_add">
  1061. <script>
  1062. self.load_action(None)
  1063. </script>
  1064. </transition>
  1065. <transition cond="self.expect_action(None, 'model_delete')" target="../../operations/model_delete">
  1066. <script>
  1067. self.load_action(None)
  1068. </script>
  1069. </transition>
  1070. <transition cond="self.expect_action(None, 'model_list_full')" target="../../operations/model_list_full">
  1071. <script>
  1072. self.load_action(None)
  1073. </script>
  1074. </transition>
  1075. <transition cond="self.expect_action(None, 'verify')" target="../../operations/verify">
  1076. <script>
  1077. self.load_action(None)
  1078. </script>
  1079. </transition>
  1080. <transition cond="self.expect_action(None, 'alter_context')" target="../../operations/alter_context">
  1081. <script>
  1082. self.load_action(None)
  1083. </script>
  1084. </transition>
  1085. <transition cond="self.expect_action(None, 'model_overwrite')" target="../../operations/model_overwrite">
  1086. <script>
  1087. self.load_action(None)
  1088. </script>
  1089. </transition>
  1090. <transition cond="self.expect_action(None, 'disconnect')" target="../../operations/disconnect">
  1091. <script>
  1092. self.load_action(None)
  1093. </script>
  1094. </transition>
  1095. <transition cond="self.expect_action(None, 'user_logout')" target="../../operations/user_logout">
  1096. <script>
  1097. self.load_action(None)
  1098. </script>
  1099. </transition>
  1100. <transition cond="self.expect_action(None, 'user_delete')" target="../../operations/user_delete">
  1101. <script>
  1102. self.load_action(None)
  1103. </script>
  1104. </transition>
  1105. <transition cond="self.expect_action(None, 'model_render')" target="../../operations/model_render">
  1106. <script>
  1107. self.load_action(None)
  1108. </script>
  1109. </transition>
  1110. <transition cond="self.expect_action(None, 'transformation_between')" target="../../operations/transformation_between">
  1111. <script>
  1112. self.load_action(None)
  1113. </script>
  1114. </transition>
  1115. <transition cond="self.expect_action(None, 'transformation_add_MT')" target="../../operations/transformation_add_MT">
  1116. <script>
  1117. self.load_action(None)
  1118. </script>
  1119. </transition>
  1120. <transition cond="self.expect_action(None, 'transformation_add_AL')" target="../../operations/transformation_add_AL">
  1121. <script>
  1122. self.load_action(None)
  1123. </script>
  1124. </transition>
  1125. <transition cond="self.expect_action(None, 'transformation_add_MANUAL')" target="../../operations/transformation_add_MANUAL">
  1126. <script>
  1127. self.load_action(None)
  1128. </script>
  1129. </transition>
  1130. <transition cond="self.expect_action(None, 'transformation_execute_MT')" target="../../operations/transformation_execute_MT">
  1131. <script>
  1132. self.load_action(None)
  1133. </script>
  1134. </transition>
  1135. <transition cond="self.expect_action(None, 'transformation_execute_AL')" target="../../operations/transformation_execute_AL">
  1136. <script>
  1137. self.load_action(None)
  1138. </script>
  1139. </transition>
  1140. <transition cond="self.expect_action(None, 'transformation_execute_MANUAL')" target="../../operations/transformation_execute_MANUAL">
  1141. <script>
  1142. self.load_action(None)
  1143. </script>
  1144. </transition>
  1145. <!--
  1146. <transition cond="self.expect_action(None, 'process_execute')" target="../../operations/process_execute">
  1147. <script>
  1148. self.load_action(None)
  1149. </script>
  1150. </transition>
  1151. -->
  1152. <transition cond="self.expect_action(None, 'permission_modify')" target="../../operations/permission_modify">
  1153. <script>
  1154. self.load_action(None)
  1155. </script>
  1156. </transition>
  1157. <transition cond="self.expect_action(None, 'permission_owner')" target="../../operations/permission_owner">
  1158. <script>
  1159. self.load_action(None)
  1160. </script>
  1161. </transition>
  1162. <transition cond="self.expect_action(None, 'permission_group')" target="../../operations/permission_group">
  1163. <script>
  1164. self.load_action(None)
  1165. </script>
  1166. </transition>
  1167. <transition cond="self.expect_action(None, 'group_create')" target="../../operations/group_create">
  1168. <script>
  1169. self.load_action(None)
  1170. </script>
  1171. </transition>
  1172. <transition cond="self.expect_action(None, 'group_delete')" target="../../operations/group_delete">
  1173. <script>
  1174. self.load_action(None)
  1175. </script>
  1176. </transition>
  1177. <transition cond="self.expect_action(None, 'group_owner_add')" target="../../operations/group_owner_add">
  1178. <script>
  1179. self.load_action(None)
  1180. </script>
  1181. </transition>
  1182. <transition cond="self.expect_action(None, 'group_owner_delete')" target="../../operations/group_owner_delete">
  1183. <script>
  1184. self.load_action(None)
  1185. </script>
  1186. </transition>
  1187. <transition cond="self.expect_action(None, 'group_join')" target="../../operations/group_join">
  1188. <script>
  1189. self.load_action(None)
  1190. </script>
  1191. </transition>
  1192. <transition cond="self.expect_action(None, 'group_kick')" target="../../operations/group_kick">
  1193. <script>
  1194. self.load_action(None)
  1195. </script>
  1196. </transition>
  1197. <transition cond="self.expect_action(None, 'group_list')" target="../../operations/group_list">
  1198. <script>
  1199. self.load_action(None)
  1200. </script>
  1201. </transition>
  1202. <transition cond="self.expect_action(None, 'admin_promote')" target="../../operations/admin_promote">
  1203. <script>
  1204. self.load_action(None)
  1205. </script>
  1206. </transition>
  1207. <transition cond="self.expect_action(None, 'admin_demote')" target="../../operations/admin_demote">
  1208. <script>
  1209. self.load_action(None)
  1210. </script>
  1211. </transition>
  1212. <!--
  1213. <transition cond="self.expect_action(None, 'service_register')" target="../../operations/service_register">
  1214. <script>
  1215. self.load_action(None)
  1216. </script>
  1217. </transition>
  1218. -->
  1219. <transition cond="self.expect_action(None, 'conformance_delete')" target="../../operations/conformance_delete">
  1220. <script>
  1221. self.load_action(None)
  1222. </script>
  1223. </transition>
  1224. <transition cond="self.expect_action(None, 'conformance_add')" target="../../operations/conformance_add">
  1225. <script>
  1226. self.load_action(None)
  1227. </script>
  1228. </transition>
  1229. <transition cond="self.expect_action(None, 'folder_create')" target="../../operations/folder_create">
  1230. <script>
  1231. self.load_action(None)
  1232. </script>
  1233. </transition>
  1234. <transition cond="self.expect_action(None, 'model_types')" target="../../operations/model_types">
  1235. <script>
  1236. self.load_action(None)
  1237. </script>
  1238. </transition>
  1239. <transition cond="self.expect_action(None, ['element_list', 'element_list_nice', 'types', 'types_full', 'read_info', 'read_attrs', 'instantiate', 'delete_element', 'attr_assign', 'attr_assign_code', 'attr_delete', 'read_outgoing', 'read_incoming', 'read_association_source', 'read_association_destination', 'connections_between', 'define_attribute', 'all_instances'])" target="../../going_manual"/>
  1240. </state>
  1241. <state id="modelling">
  1242. <state id="recognized" initial="manual">
  1243. <state id="manual">
  1244. <transition cond="self.expect_action(self.context, 'exit')" target="../../../../leaving_modelling"/>
  1245. <transition cond="self.actions[self.context] and self.actions[self.context][0]['parameters'][0] != self.current_model" target="../../../../leaving_modelling">
  1246. <script>
  1247. print("Sudden switch between two models: perform context switch!")
  1248. print("Requested operation for " + str(self.actions[self.context][0]['parameters'][0]))
  1249. </script>
  1250. </transition>
  1251. </state>
  1252. <state id="scripted">
  1253. <transition cond="self.expect_action(self.context, 'exit')" target="../../../../operations/history"/>
  1254. </state>
  1255. <transition cond="self.expect_action(self.context, 'element_list')" target="../../../operations/element_list">
  1256. <script>
  1257. self.load_action(self.context)
  1258. </script>
  1259. </transition>
  1260. <transition cond="self.expect_action(self.context, 'element_list_nice')" target="../../../operations/element_list_nice">
  1261. <script>
  1262. self.load_action(self.context)
  1263. </script>
  1264. </transition>
  1265. <transition cond="self.expect_action(self.context, 'types')" target="../../../operations/types">
  1266. <script>
  1267. self.load_action(self.context)
  1268. </script>
  1269. </transition>
  1270. <transition cond="self.expect_action(self.context, 'types_full')" target="../../../operations/types_full">
  1271. <script>
  1272. self.load_action(self.context)
  1273. </script>
  1274. </transition>
  1275. <transition cond="self.expect_action(self.context, 'read_info')" target="../../../operations/read_info">
  1276. <script>
  1277. self.load_action(self.context)
  1278. </script>
  1279. </transition>
  1280. <transition cond="self.expect_action(self.context, 'read_attrs')" target="../../../operations/read_attrs">
  1281. <script>
  1282. self.load_action(self.context)
  1283. </script>
  1284. </transition>
  1285. <transition cond="self.expect_action(self.context, 'instantiate')" target="../../../operations/instantiate">
  1286. <script>
  1287. self.load_action(self.context)
  1288. </script>
  1289. </transition>
  1290. <transition cond="self.expect_action(self.context, 'delete_element')" target="../../../operations/delete_element">
  1291. <script>
  1292. self.load_action(self.context)
  1293. </script>
  1294. </transition>
  1295. <transition cond="self.expect_action(self.context, 'attr_assign')" target="../../../operations/attr_assign">
  1296. <script>
  1297. self.load_action(self.context)
  1298. </script>
  1299. </transition>
  1300. <transition cond="self.expect_action(self.context, 'attr_assign_code')" target="../../../operations/attr_assign_code">
  1301. <script>
  1302. self.load_action(self.context)
  1303. </script>
  1304. </transition>
  1305. <transition cond="self.expect_action(self.context, 'attr_delete')" target="../../../operations/attr_delete">
  1306. <script>
  1307. self.load_action(self.context)
  1308. </script>
  1309. </transition>
  1310. <transition cond="self.expect_action(self.context, 'read_outgoing')" target="../../../operations/read_outgoing">
  1311. <script>
  1312. self.load_action(self.context)
  1313. </script>
  1314. </transition>
  1315. <transition cond="self.expect_action(self.context, 'read_incoming')" target="../../../operations/read_incoming">
  1316. <script>
  1317. self.load_action(self.context)
  1318. </script>
  1319. </transition>
  1320. <transition cond="self.expect_action(self.context, 'read_association_source')" target="../../../operations/read_association_source">
  1321. <script>
  1322. self.load_action(self.context)
  1323. </script>
  1324. </transition>
  1325. <transition cond="self.expect_action(self.context, 'read_association_destination')" target="../../../operations/read_association_destination">
  1326. <script>
  1327. self.load_action(self.context)
  1328. </script>
  1329. </transition>
  1330. <transition cond="self.expect_action(self.context, 'connections_between')" target="../../../operations/connections_between">
  1331. <script>
  1332. self.load_action(self.context)
  1333. </script>
  1334. </transition>
  1335. <transition cond="self.expect_action(self.context, 'define_attribute')" target="../../../operations/define_attribute">
  1336. <script>
  1337. self.load_action(self.context)
  1338. </script>
  1339. </transition>
  1340. <transition cond="self.expect_action(self.context, 'all_instances')" target="../../../operations/all_instances">
  1341. <script>
  1342. self.load_action(self.context)
  1343. </script>
  1344. </transition>
  1345. </state>
  1346. <transition cond="self.context is not None and self.actions[self.context]" target="../history">
  1347. <script>
  1348. print("Got unexpected operation: " + str(self.actions[self.context].pop(0)))
  1349. </script>
  1350. <raise event="exception">
  1351. <parameter expr="'IllegalContextOperation'"/>
  1352. <parameter expr="'Operation not allowed in a context!'"/>
  1353. </raise>
  1354. </transition>
  1355. <transition cond="self.context is None and self.actions[None]" target="../../leaving_modelling">
  1356. <script>
  1357. print("Got megamodelling operation in model (%s) : transferring" % self.actions[None][0])
  1358. </script>
  1359. </transition>
  1360. </state>
  1361. <state id="finished"/>
  1362. <history id="history" type="deep"/>
  1363. <transition cond="self.actions[None]" target="history">
  1364. <script>
  1365. print("Got unknown operation: " + str(self.actions[None].pop(0)))
  1366. </script>
  1367. <raise event="exception">
  1368. <parameter expr="'UnknownOperation'"/>
  1369. <parameter expr="'Operation is unknown'"/>
  1370. </raise>
  1371. </transition>
  1372. </state>
  1373. <state id="going_manual">
  1374. <onentry>
  1375. <script>
  1376. self.context = None
  1377. self.current_model = self.actions[None][0]["parameters"][0]
  1378. </script>
  1379. <raise event="request">
  1380. <parameter expr="['model_modify', self.current_model, self.registered_metamodel[self.current_model]]"/>
  1381. </raise>
  1382. </onentry>
  1383. <transition cond="self.expect_response('Model loaded, ready for commands!', pop=True)" target="../wait_for_action/modelling/recognized/manual"/>
  1384. <transition cond="self.expect_response_partial('No conformance relation can be found ', pop=False)" target="../wait_for_action/megamodelling">
  1385. <raise event="exception">
  1386. <parameter expr="'UnknownMetamodellingHierarchy'"/>
  1387. <parameter expr="'Conformance relation not found'"/>
  1388. </raise>
  1389. <script>
  1390. self.responses.pop(0)
  1391. self.actions[None].pop(0)
  1392. </script>
  1393. </transition>
  1394. </state>
  1395. <state id="going_scripted">
  1396. <onentry>
  1397. <script>
  1398. self.current_model = None
  1399. </script>
  1400. </onentry>
  1401. <transition cond="self.expect_response('Model loaded, ready for commands!', pop=True)" target="../wait_for_action/modelling/recognized/scripted"/>
  1402. </state>
  1403. <state id="leaving_modelling">
  1404. <onentry>
  1405. <raise event="request">
  1406. <parameter expr="'exit'"/>
  1407. </raise>
  1408. </onentry>
  1409. <transition cond="self.expect_response('Success', pop=True)" target="../wait_for_action/megamodelling"/>
  1410. </state>
  1411. </state>
  1412. <state id="queue">
  1413. <state id="queue">
  1414. <transition port="action_in" event="action" target=".">
  1415. <parameter name="action_name"/>
  1416. <parameter name="ID"/>
  1417. <parameter name="context_ID"/>
  1418. <parameter name="parameters"/>
  1419. <script>
  1420. self.actions[context_ID].append({"name": action_name, "ID": ID, "parameters": parameters})
  1421. </script>
  1422. </transition>
  1423. <transition event="result" target=".">
  1424. <parameter name="parameters"/>
  1425. <raise scope="output" event="result" port="action_out">
  1426. <parameter expr="self.current_ID"/>
  1427. <parameter expr="parameters"/>
  1428. </raise>
  1429. </transition>
  1430. <transition event="exception" target=".">
  1431. <parameter name="parameters"/>
  1432. <raise scope="output" event="exception" port="action_out">
  1433. <parameter expr="self.current_ID"/>
  1434. <parameter expr="parameters"/>
  1435. </raise>
  1436. </transition>
  1437. <transition port="input_in" event="input" target=".">
  1438. <parameter name="value"/>
  1439. <parameter name="context_ID"/>
  1440. <script>
  1441. self.inputs[context_ID].append(value)
  1442. </script>
  1443. </transition>
  1444. </state>
  1445. </state>
  1446. </parallel>
  1447. </scxml>
  1448. </class>