modelverse.xml 108 KB

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