modelverse.xml 93 KB

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