modelverse.xml 105 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148
  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], self.parameters[1]]"/>
  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], self.parameters[1]]"/>
  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', self.parameters[0], self.parameters[1]]"/>
  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(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('Model exists: ', pop=False)" target="../wait_for_action/history">
  1174. <raise event="exception">
  1175. <parameter expr="'ModelExists'"/>
  1176. <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
  1177. </raise>
  1178. </transition>
  1179. <transition cond="self.expect_response_partial('Folder exists: ', pop=False)" target="../wait_for_action/history">
  1180. <raise event="exception">
  1181. <parameter expr="'FolderExists'"/>
  1182. <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
  1183. </raise>
  1184. </transition>
  1185. <transition cond="self.expect_response_partial('Attribute exists: ', pop=False)" target="../wait_for_action/history">
  1186. <raise event="exception">
  1187. <parameter expr="'AttributeExists'"/>
  1188. <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
  1189. </raise>
  1190. </transition>
  1191. <transition cond="self.expect_response_partial('Type cannot be typed as formalisms/SimpleClassDiagrams: ', pop=False)" target="../wait_for_action/history">
  1192. <raise event="exception">
  1193. <parameter expr="'UnknownM3'"/>
  1194. <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
  1195. </raise>
  1196. </transition>
  1197. <transition cond="self.expect_response_partial('Element exists: ', pop=False)" target="../wait_for_action/history">
  1198. <raise event="exception">
  1199. <parameter expr="'ElementExists'"/>
  1200. <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
  1201. </raise>
  1202. </transition>
  1203. <transition cond="self.expect_response_partial('Read permission denied to: ', pop=False)" target="../wait_for_action/history">
  1204. <raise event="exception">
  1205. <parameter expr="'ReadPermissionDenied'"/>
  1206. <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
  1207. </raise>
  1208. </transition>
  1209. <transition cond="self.expect_response_partial('Write permission denied to: ', pop=False)" target="../wait_for_action/history">
  1210. <raise event="exception">
  1211. <parameter expr="'WritePermissionDenied'"/>
  1212. <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
  1213. </raise>
  1214. </transition>
  1215. <transition cond="self.expect_response('Write permission denied', pop=True)" target="../wait_for_action/history">
  1216. <raise event="exception">
  1217. <parameter expr="'WritePermissionDenied'"/>
  1218. <parameter expr="self.current_model"/>
  1219. </raise>
  1220. </transition>
  1221. <transition cond="self.expect_response_partial('Execute permission denied to: ', pop=False)" target="../wait_for_action/history">
  1222. <raise event="exception">
  1223. <parameter expr="'ExecutePermissionDenied'"/>
  1224. <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
  1225. </raise>
  1226. </transition>
  1227. <transition cond="self.expect_response_partial('Group permission denied to: ', pop=False)" target="../wait_for_action/history">
  1228. <raise event="exception">
  1229. <parameter expr="'GroupPermissionDenied'"/>
  1230. <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
  1231. </raise>
  1232. </transition>
  1233. <transition cond="self.expect_response_partial('User permission denied to: ', pop=False)" target="../wait_for_action/history">
  1234. <raise event="exception">
  1235. <parameter expr="'UserPermissionDenied'"/>
  1236. <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
  1237. </raise>
  1238. </transition>
  1239. <transition cond="self.expect_response_partial('Admin permission denied', pop=True)" target="../wait_for_action/history">
  1240. <raise event="exception">
  1241. <parameter expr="'AdminPermissionDenied'"/>
  1242. <parameter expr="'Admin permissions are required for this operation!'"/>
  1243. </raise>
  1244. </transition>
  1245. <transition cond="self.expect_response_partial('Incorrect format: ', pop=False)" target="../wait_for_action/history">
  1246. <raise event="exception">
  1247. <parameter expr="'InterfaceMismatch'"/>
  1248. <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
  1249. </raise>
  1250. </transition>
  1251. <transition cond="self.expect_response_partial('Element not found: ', pop=False)" target="../wait_for_action/history">
  1252. <raise event="exception">
  1253. <parameter expr="'UnknownElement'"/>
  1254. <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
  1255. </raise>
  1256. </transition>
  1257. <transition cond="self.expect_response_partial('Model not found: ', pop=False)" target="../wait_for_action/history">
  1258. <raise event="exception">
  1259. <parameter expr="'UnknownModel'"/>
  1260. <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
  1261. </raise>
  1262. </transition>
  1263. <transition cond="self.expect_response_partial('Conformance hierarchy unknown for: ', pop=False)" target="../wait_for_action/history">
  1264. <raise event="exception">
  1265. <parameter expr="'UnknownMetamodellingHierarchy'"/>
  1266. <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)"/>
  1267. </raise>
  1268. </transition>
  1269. <transition cond="self.expect_response_partial('', pop=False)" target="../wait_for_action/history">
  1270. <script>
  1271. print("Unknown Error: " + self.responses[0])
  1272. pass
  1273. </script>
  1274. <raise event="exception">
  1275. <parameter expr="'UnknownError'"/>
  1276. <parameter expr="'Error: %s' % self.responses.pop(0)"/>
  1277. </raise>
  1278. </transition>
  1279. </state>
  1280. <state id="wait_for_action" initial="disconnected">
  1281. <state id="disconnected">
  1282. <transition cond="self.expect_action('init')" target="../../init">
  1283. <script>
  1284. self.load_action()
  1285. </script>
  1286. </transition>
  1287. </state>
  1288. <state id="connected">
  1289. <transition cond="self.expect_action('login')" target="../../operations/login">
  1290. <script>
  1291. self.load_action()
  1292. </script>
  1293. </transition>
  1294. <transition cond="self.expect_response('Success: ready for AL execution')" target="../activity/SC"/>
  1295. <transition cond="self.expect_response('Success: ready for MT execution')" target="../activity/SC"/>
  1296. <transition cond="self.expect_response('Success: ready for MANUAL execution')" target="../activity/OP"/>
  1297. </state>
  1298. <state id="activity" initial="SC">
  1299. <state id="SC">
  1300. <onentry>
  1301. <raise event="result">
  1302. <parameter expr="'SC'"/>
  1303. </raise>
  1304. </onentry>
  1305. <state id="forwarding">
  1306. <transition cond="self.expect_response('Success', pop=False) or self.expect_response('Failure', pop=False)" target="../../../history">
  1307. <raise event="result">
  1308. <parameter expr="True if self.responses.pop(0) == 'Success' else False"/>
  1309. </raise>
  1310. </transition>
  1311. <transition cond="not (self.expect_response('Success', pop=False) or self.expect_response('Failure', pop=False)) and self.expect_response_partial('', pop=False)" target=".">
  1312. <raise event="data_output">
  1313. <parameter expr="self.responses.pop(0)"/>
  1314. </raise>
  1315. </transition>
  1316. <transition cond="self.expect_input('data_input')" target=".">
  1317. <raise event="request">
  1318. <parameter expr="self.inputs.pop(0)['parameters']"/>
  1319. </raise>
  1320. </transition>
  1321. </state>
  1322. </state>
  1323. <state id="OP">
  1324. <onentry>
  1325. <raise event="result">
  1326. <parameter expr="'OP'"/>
  1327. </raise>
  1328. </onentry>
  1329. <state id="forwarding">
  1330. <transition cond="self.expect_response_partial('Please perform manual operation ', pop=True)" target="."/>
  1331. <transition cond="self.expect_response_partial('Please edit this model before sending next input: ', pop=False)" target=".">
  1332. <raise event="result">
  1333. <parameter expr="self.responses.pop(0).split(': ')[1]"/>
  1334. </raise>
  1335. </transition>
  1336. <transition cond="self.inputs" target="../../../history">
  1337. <script>
  1338. self.inputs.pop(0)
  1339. </script>
  1340. <raise event="request">
  1341. <parameter expr="0"/>
  1342. </raise>
  1343. </transition>
  1344. </state>
  1345. </state>
  1346. </state>
  1347. <state id="megamodelling">
  1348. <transition cond="self.expect_action('model_list')" target="../../operations/model_list">
  1349. <script>
  1350. self.load_action()
  1351. </script>
  1352. </transition>
  1353. <transition cond="self.expect_action('model_add')" target="../../operations/model_add">
  1354. <script>
  1355. self.load_action()
  1356. </script>
  1357. </transition>
  1358. <transition cond="self.expect_action('model_move')" target="../../operations/model_move">
  1359. <script>
  1360. self.load_action()
  1361. </script>
  1362. </transition>
  1363. <transition cond="self.expect_action('model_delete')" target="../../operations/model_delete">
  1364. <script>
  1365. self.load_action()
  1366. </script>
  1367. </transition>
  1368. <transition cond="self.expect_action('model_list_full')" target="../../operations/model_list_full">
  1369. <script>
  1370. self.load_action()
  1371. </script>
  1372. </transition>
  1373. <transition cond="self.expect_action('AL_text')" target="../../operations/AL_text">
  1374. <script>
  1375. self.load_action()
  1376. </script>
  1377. </transition>
  1378. <transition cond="self.expect_action('verify')" target="../../operations/verify">
  1379. <script>
  1380. self.load_action()
  1381. </script>
  1382. </transition>
  1383. <transition cond="self.expect_action('alter_context')" target="../../operations/alter_context">
  1384. <script>
  1385. self.load_action()
  1386. </script>
  1387. </transition>
  1388. <transition cond="self.expect_action('model_overwrite')" target="../../operations/model_overwrite">
  1389. <script>
  1390. self.load_action()
  1391. </script>
  1392. </transition>
  1393. <transition cond="self.expect_action('disconnect')" target="../../operations/disconnect">
  1394. <script>
  1395. self.load_action()
  1396. </script>
  1397. </transition>
  1398. <transition cond="self.expect_action('user_logout')" target="../../operations/user_logout">
  1399. <script>
  1400. self.load_action()
  1401. </script>
  1402. </transition>
  1403. <transition cond="self.expect_action('model_render')" target="../../operations/model_render">
  1404. <script>
  1405. self.load_action()
  1406. </script>
  1407. </transition>
  1408. <transition cond="self.expect_action('model_rendered')" target="../../operations/model_rendered">
  1409. <script>
  1410. self.load_action()
  1411. </script>
  1412. </transition>
  1413. <transition cond="self.expect_action('transformation_between')" target="../../operations/transformation_between">
  1414. <script>
  1415. self.load_action()
  1416. </script>
  1417. </transition>
  1418. <transition cond="self.expect_action('transformation_signature')" target="../../operations/transformation_signature">
  1419. <script>
  1420. self.load_action()
  1421. </script>
  1422. </transition>
  1423. <transition cond="self.expect_action('process_signature')" target="../../operations/process_signature">
  1424. <script>
  1425. self.load_action()
  1426. </script>
  1427. </transition>
  1428. <transition cond="self.expect_action('transformation_add_MT')" target="../../operations/store_on_scripted/transformation_add">
  1429. <script>
  1430. self.load_action()
  1431. </script>
  1432. </transition>
  1433. <transition cond="self.expect_action('transformation_add_AL')" target="../../operations/store_on_scripted/transformation_add">
  1434. <script>
  1435. self.load_action()
  1436. </script>
  1437. </transition>
  1438. <transition cond="self.expect_action('transformation_add_MANUAL')" target="../../operations/store_on_scripted/transformation_add">
  1439. <script>
  1440. self.load_action()
  1441. </script>
  1442. </transition>
  1443. <transition cond="self.expect_action('transformation_execute')" target="../../operations/store_on_scripted/transformation_execute">
  1444. <script>
  1445. self.load_action()
  1446. </script>
  1447. </transition>
  1448. <transition cond="self.expect_action('process_execute')" target="../../operations/store_on_scripted/process_execute">
  1449. <script>
  1450. self.load_action()
  1451. </script>
  1452. </transition>
  1453. <transition cond="self.expect_action('permission_modify')" target="../../operations/permission_modify">
  1454. <script>
  1455. self.load_action()
  1456. </script>
  1457. </transition>
  1458. <transition cond="self.expect_action('permission_owner')" target="../../operations/permission_owner">
  1459. <script>
  1460. self.load_action()
  1461. </script>
  1462. </transition>
  1463. <transition cond="self.expect_action('permission_group')" target="../../operations/permission_group">
  1464. <script>
  1465. self.load_action()
  1466. </script>
  1467. </transition>
  1468. <transition cond="self.expect_action('group_create')" target="../../operations/group_create">
  1469. <script>
  1470. self.load_action()
  1471. </script>
  1472. </transition>
  1473. <transition cond="self.expect_action('group_delete')" target="../../operations/group_delete">
  1474. <script>
  1475. self.load_action()
  1476. </script>
  1477. </transition>
  1478. <transition cond="self.expect_action('group_owner_add')" target="../../operations/group_owner_add">
  1479. <script>
  1480. self.load_action()
  1481. </script>
  1482. </transition>
  1483. <transition cond="self.expect_action('group_owner_delete')" target="../../operations/group_owner_delete">
  1484. <script>
  1485. self.load_action()
  1486. </script>
  1487. </transition>
  1488. <transition cond="self.expect_action('group_join')" target="../../operations/group_join">
  1489. <script>
  1490. self.load_action()
  1491. </script>
  1492. </transition>
  1493. <transition cond="self.expect_action('group_kick')" target="../../operations/group_kick">
  1494. <script>
  1495. self.load_action()
  1496. </script>
  1497. </transition>
  1498. <transition cond="self.expect_action('group_list')" target="../../operations/group_list">
  1499. <script>
  1500. self.load_action()
  1501. </script>
  1502. </transition>
  1503. <transition cond="self.expect_action('admin_promote')" target="../../operations/admin_promote">
  1504. <script>
  1505. self.load_action()
  1506. </script>
  1507. </transition>
  1508. <transition cond="self.expect_action('admin_demote')" target="../../operations/admin_demote">
  1509. <script>
  1510. self.load_action()
  1511. </script>
  1512. </transition>
  1513. <transition cond="self.expect_action('conformance_delete')" target="../../operations/conformance_delete">
  1514. <script>
  1515. self.load_action()
  1516. </script>
  1517. </transition>
  1518. <transition cond="self.expect_action('conformance_add')" target="../../operations/conformance_add">
  1519. <script>
  1520. self.load_action()
  1521. </script>
  1522. </transition>
  1523. <transition cond="self.expect_action('folder_create')" target="../../operations/folder_create">
  1524. <script>
  1525. self.load_action()
  1526. </script>
  1527. </transition>
  1528. <transition cond="self.expect_action('model_types')" target="../../operations/model_types">
  1529. <script>
  1530. self.load_action()
  1531. </script>
  1532. </transition>
  1533. <transition cond="self.expect_action('service_register')" target="../../operations/service_register">
  1534. <script>
  1535. self.load_action()
  1536. </script>
  1537. </transition>
  1538. <transition cond="self.expect_action('exit_save')" target=".">
  1539. <raise event="result">
  1540. <parameter expr="None"/>
  1541. </raise>
  1542. <script>
  1543. self.load_action()
  1544. </script>
  1545. </transition>
  1546. <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">
  1547. </transition>
  1548. </state>
  1549. <state id="service">
  1550. <transition cond="self.expect_response_partial('', pop=False)" target=".">
  1551. <script>
  1552. import modelverse
  1553. thrd = threading.Thread(target=self.service_function, args=[self.responses.pop(0)])
  1554. thrd.daemon = True
  1555. thrd.start()
  1556. </script>
  1557. </transition>
  1558. <transition cond="self.expect_action('service_stop')" target="../../operations/service_stop">
  1559. <script>
  1560. self.load_action()
  1561. </script>
  1562. </transition>
  1563. </state>
  1564. <state id="modelling">
  1565. <state id="recognized" initial="manual">
  1566. <state id="manual">
  1567. <transition cond="self.expect_action('exit')" target="../../../../leaving_manual"/>
  1568. <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"/>
  1569. </state>
  1570. <state id="scripted">
  1571. <transition cond="self.expect_action('exit')" target="../../../../operations/store_on_scripted/history">
  1572. <raise event="request">
  1573. <parameter expr="'exit'"/>
  1574. </raise>
  1575. </transition>
  1576. <transition cond="self.actions and self.actions[0] in self.modelling_operations and self.actions[0]['parameters'][0] != self.current_model" target=".">
  1577. <script>
  1578. self.load_action()
  1579. </script>
  1580. <raise event="exception">
  1581. <parameter expr="'InterfaceMismatch'"/>
  1582. <parameter expr="'Operation cannot be executed in this context'"/>
  1583. </raise>
  1584. </transition>
  1585. </state>
  1586. <transition cond="self.expect_action('element_list')" target="../../../operations/element_list">
  1587. <script>
  1588. self.load_action()
  1589. </script>
  1590. </transition>
  1591. <transition cond="self.expect_action('element_list_nice')" target="../../../operations/element_list_nice">
  1592. <script>
  1593. self.load_action()
  1594. </script>
  1595. </transition>
  1596. <transition cond="self.expect_action('types')" target="../../../operations/types">
  1597. <script>
  1598. self.load_action()
  1599. </script>
  1600. </transition>
  1601. <transition cond="self.expect_action('read_info')" target="../../../operations/read_info">
  1602. <script>
  1603. self.load_action()
  1604. </script>
  1605. </transition>
  1606. <transition cond="self.expect_action('read_attrs')" target="../../../operations/read_attrs">
  1607. <script>
  1608. self.load_action()
  1609. </script>
  1610. </transition>
  1611. <transition cond="self.expect_action('read_defined_attrs')" target="../../../operations/read_defined_attrs">
  1612. <script>
  1613. self.load_action()
  1614. </script>
  1615. </transition>
  1616. <transition cond="self.expect_action('instantiate')" target="../../../operations/instantiate">
  1617. <script>
  1618. self.load_action()
  1619. </script>
  1620. </transition>
  1621. <transition cond="self.expect_action('delete_element')" target="../../../operations/delete_element">
  1622. <script>
  1623. self.load_action()
  1624. </script>
  1625. </transition>
  1626. <transition cond="self.expect_action('attr_assign')" target="../../../operations/attr_assign">
  1627. <script>
  1628. self.load_action()
  1629. </script>
  1630. </transition>
  1631. <transition cond="self.expect_action('attr_assign_code')" target="../../../operations/attr_assign_code">
  1632. <script>
  1633. self.load_action()
  1634. </script>
  1635. </transition>
  1636. <transition cond="self.expect_action('attr_delete')" target="../../../operations/attr_delete">
  1637. <script>
  1638. self.load_action()
  1639. </script>
  1640. </transition>
  1641. <transition cond="self.expect_action('attr_name')" target="../../../operations/attr_name">
  1642. <script>
  1643. self.load_action()
  1644. </script>
  1645. </transition>
  1646. <transition cond="self.expect_action('attr_type')" target="../../../operations/attr_type">
  1647. <script>
  1648. self.load_action()
  1649. </script>
  1650. </transition>
  1651. <transition cond="self.expect_action('attr_optional')" target="../../../operations/attr_optional">
  1652. <script>
  1653. self.load_action()
  1654. </script>
  1655. </transition>
  1656. <transition cond="self.expect_action('read_outgoing')" target="../../../operations/read_outgoing">
  1657. <script>
  1658. self.load_action()
  1659. </script>
  1660. </transition>
  1661. <transition cond="self.expect_action('read_incoming')" target="../../../operations/read_incoming">
  1662. <script>
  1663. self.load_action()
  1664. </script>
  1665. </transition>
  1666. <transition cond="self.expect_action('read_association_source')" target="../../../operations/read_association_source">
  1667. <script>
  1668. self.load_action()
  1669. </script>
  1670. </transition>
  1671. <transition cond="self.expect_action('read_association_destination')" target="../../../operations/read_association_destination">
  1672. <script>
  1673. self.load_action()
  1674. </script>
  1675. </transition>
  1676. <transition cond="self.expect_action('connections_between')" target="../../../operations/connections_between">
  1677. <script>
  1678. self.load_action()
  1679. </script>
  1680. </transition>
  1681. <transition cond="self.expect_action('define_attribute')" target="../../../operations/define_attribute">
  1682. <script>
  1683. self.load_action()
  1684. </script>
  1685. </transition>
  1686. <transition cond="self.expect_action('undefine_attribute')" target="../../../operations/undefine_attribute">
  1687. <script>
  1688. self.load_action()
  1689. </script>
  1690. </transition>
  1691. <transition cond="self.expect_action('all_instances')" target="../../../operations/all_instances">
  1692. <script>
  1693. self.load_action()
  1694. </script>
  1695. </transition>
  1696. <transition cond="self.expect_action('exit_save')" target="../../../operations/exit_save">
  1697. <script>
  1698. self.load_action()
  1699. </script>
  1700. </transition>
  1701. </state>
  1702. <transition cond="self.actions and self.actions[0] not in self.modelling_operations" target="../../leaving_manual"/>
  1703. </state>
  1704. <state id="finished"/>
  1705. <history id="history" type="deep"/>
  1706. <transition cond="self.actions" target="history">
  1707. <script>
  1708. print("Got unknown operation: " + str(self.actions.pop(0)))
  1709. </script>
  1710. <raise event="exception">
  1711. <parameter expr="'UnknownOperation'"/>
  1712. <parameter expr="'Operation is unknown'"/>
  1713. </raise>
  1714. </transition>
  1715. </state>
  1716. <state id="going_manual" initial="init">
  1717. <state id="init">
  1718. <onentry>
  1719. <script>
  1720. self.current_model = self.actions[0]["parameters"][0]
  1721. </script>
  1722. </onentry>
  1723. <transition cond="self.current_model in self.registered_metamodel" target="../OK"/>
  1724. <transition cond="self.current_model not in self.registered_metamodel" target="../search"/>
  1725. </state>
  1726. <state id="search">
  1727. <onentry>
  1728. <raise event="request">
  1729. <parameter expr="['model_types', self.current_model]"/>
  1730. </raise>
  1731. </onentry>
  1732. <transition cond="self.expect_response_partial('Success: ')" target="../OK">
  1733. <script>
  1734. self.registered_metamodel[self.current_model] = set(self.split_response(self.responses.pop(0))).pop().split(", ")[0]
  1735. </script>
  1736. </transition>
  1737. </state>
  1738. <state id="OK">
  1739. <onentry>
  1740. <raise event="request">
  1741. <parameter expr="['model_modify', self.current_model, self.registered_metamodel[self.current_model]]"/>
  1742. </raise>
  1743. </onentry>
  1744. <transition cond="self.expect_response('Model loaded, ready for commands!', pop=True)" target="../../wait_for_action/modelling/recognized/manual"/>
  1745. </state>
  1746. <transition cond="self.expect_response_partial('Model not found: ', pop=False)" target="../wait_for_action/megamodelling">
  1747. <raise event="exception">
  1748. <parameter expr="'UnknownModel'"/>
  1749. <parameter expr="'No such model: ' + self.responses.pop(0)"/>
  1750. </raise>
  1751. <script>
  1752. self.actions.pop(0)
  1753. </script>
  1754. </transition>
  1755. <transition cond="self.expect_response_partial('Read permission denied to: ', pop=False)" target="../wait_for_action/megamodelling">
  1756. <raise event="exception">
  1757. <parameter expr="'ReadPermissionDenied'"/>
  1758. <parameter expr="'No permission to read model ' + self.responses.pop(0)"/>
  1759. </raise>
  1760. <script>
  1761. self.actions.pop(0)
  1762. </script>
  1763. </transition>
  1764. <transition cond="self.expect_response_partial('Conformance hierarchy unknown for: ', pop=False)" target="../wait_for_action/megamodelling">
  1765. <raise event="exception">
  1766. <parameter expr="'UnknownMetamodellingHierarchy'"/>
  1767. <parameter expr="'Conformance relation not found'"/>
  1768. </raise>
  1769. <script>
  1770. self.responses.pop(0)
  1771. self.actions.pop(0)
  1772. </script>
  1773. </transition>
  1774. </state>
  1775. <state id="going_scripted">
  1776. <onentry>
  1777. <script>
  1778. self.current_model = None
  1779. </script>
  1780. </onentry>
  1781. <transition target="../wait_for_action/modelling/recognized/scripted"/>
  1782. </state>
  1783. <state id="leaving_manual">
  1784. <onentry>
  1785. <raise event="request">
  1786. <parameter expr="'exit'"/>
  1787. </raise>
  1788. </onentry>
  1789. <transition cond="self.expect_response('Success', pop=True)" target="../wait_for_action/megamodelling"/>
  1790. </state>
  1791. </state>
  1792. <state id="queue">
  1793. <state id="queue">
  1794. <transition event="action" target=".">
  1795. <parameter name="action_name"/>
  1796. <parameter name="ID"/>
  1797. <parameter name="parameters"/>
  1798. <script>
  1799. self.actions.append({"name": action_name, "ID": ID, "parameters": parameters})
  1800. </script>
  1801. </transition>
  1802. <transition event="result" target=".">
  1803. <parameter name="parameters"/>
  1804. <raise scope="output" event="result" port="action_out">
  1805. <parameter expr="self.current_ID"/>
  1806. <parameter expr="parameters"/>
  1807. </raise>
  1808. <raise scope="broad" event="mv_result">
  1809. <parameter expr="self.current_ID"/>
  1810. <parameter expr="parameters"/>
  1811. </raise>
  1812. </transition>
  1813. <transition event="data_output" target=".">
  1814. <parameter name="parameters"/>
  1815. <raise scope="output" event="data_output" port="action_out">
  1816. <parameter expr="parameters"/>
  1817. </raise>
  1818. <raise scope="broad" event="mv_data_output">
  1819. <parameter expr="parameters"/>
  1820. </raise>
  1821. </transition>
  1822. <transition event="exception" target=".">
  1823. <parameter name="ID"/>
  1824. <parameter name="parameters"/>
  1825. <raise scope="output" event="exception" port="action_out">
  1826. <parameter expr="self.current_ID"/>
  1827. <parameter expr="ID"/>
  1828. <parameter expr="parameters"/>
  1829. </raise>
  1830. <raise scope="broad" event="mv_exception">
  1831. <parameter expr="self.current_ID"/>
  1832. <parameter expr="ID"/>
  1833. <parameter expr="parameters"/>
  1834. </raise>
  1835. </transition>
  1836. <transition event="ready" target=".">
  1837. <raise scope="output" event="ready" port="ready"/>
  1838. <raise scope="broad" event="mv_ready"/>
  1839. </transition>
  1840. <transition event="data_input" target=".">
  1841. <parameter name="value"/>
  1842. <script>
  1843. self.inputs.append({"name": "data_input", "parameters": value})
  1844. </script>
  1845. </transition>
  1846. </state>
  1847. </state>
  1848. </parallel>
  1849. </scxml>
  1850. </class>