modelverse.xml 99 KB

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