modelverse.xml 105 KB

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