andrei
/
modelverse
geforkt von yentl/modelverse


			
				
					
						
						
							12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943194419451946194719481949195019511952195319541955195619571958195919601961196219631964196519661967196819691970197119721973197419751976197719781979198019811982198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520262027202820292030203120322033203420352036203720382039204020412042204320442045204620472048204920502051205220532054205520562057205820592060206120622063206420652066206720682069207020712072207320742075207620772078207920802081208220832084208520862087208820892090209120922093209420952096209720982099210021012102210321042105210621072108210921102111211221132114211521162117211821192120212121222123212421252126212721282129213021312132213321342135213621372138213921402141214221432144214521462147214821492150215121522153215421552156215721582159216021612162
							<class name="Modelverse">
    <relationships>
        <association name="http_client" class="HTTPClient" min="2" max="2"/>
    </relationships>

    <method name="load_action">
        <body>
            action = self.actions.pop(0)
            self.parameters = action["parameters"]
            self.current_ID = action["ID"]
            self.action_name = action["name"]
        </body>
    </method>

    <method name="dict_to_list">
        <parameter name="d"/>
        <body>
            l = []
            for k, v in d.items():
                l.append(k)
                l.append(v)
            l.append("")
            return l
        </body>
    </method>

    <method name="split_response">
        <parameter name="response"/>
        <body>
            splitted = response.strip().split(": ", 1)
            if len(splitted) > 1:
                return splitted[1].split("\n")
            else:
                return []
        </body>
    </method>

    <method name="expect_response">
        <parameter name="expected"/>
        <parameter name="pop" default="True"/>
        <body>
            if self.responses and self.responses[0] == expected:
                if pop:
                    del self.responses[0]
                return True
            else:
                return False
        </body>
    </method>

    <method name="expect_response_partial">
        <parameter name="expected"/>
        <parameter name="pop" default="False"/>
        <body>
            if self.responses and self.responses[0].startswith(expected):
                if pop:
                    del self.responses[0]
                return True
            else:
                return False
        </body>
    </method>

    <method name="expect_action">
        <parameter name="expected"/>
        <body>
            if isinstance(expected, list):
                return self.actions and self.actions[0]["name"] in expected
            else:
                return self.actions and self.actions[0]["name"] == expected
        </body>
    </method>

    <method name="expect_input">
        <parameter name="expected"/>
        <body>
            if isinstance(expected, list):
                return self.inputs and self.inputs[0]["name"] in expected
            else:
                return self.inputs and self.inputs[0]["name"] == expected
        </body>
    </method>

    <constructor>
        <parameter name="taskname" default="None"/>
        <body>
            self.controller.taskname = taskname
            self.actions = []
            self.responses = []
            self.http_clients = []
            self.registered_metamodel = {}
            self.inputs = []
            self.finish_output_thread = False

            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']
        </body>
    </constructor>

    <scxml initial="init" priority="source_child">
        <state id="init">
            <onentry>
                <raise scope="cd" event="create_instance">
                    <parameter expr="'http_client'"/>
                    <parameter expr="'HTTPClient'"/>
                </raise>

                <raise scope="cd" event="create_instance">
                    <parameter expr="'http_client'"/>
                    <parameter expr="'HTTPClient'"/>
                </raise>
            </onentry>

            <transition event="instance_created" target=".">
                <parameter name="instance"/>
                <script>
                    self.http_clients.append(instance)
                </script>
                <raise scope="cd" event="start_instance">
                    <parameter expr="instance"/>
                </raise>
            </transition>

            <transition cond="len(self.http_clients) == 2" target="../waiting"/>
        </state>

        <state id="waiting">
            <transition event="http_client_initialized" target="../initialized"/>
        </state>

        <parallel id="initialized">
            <onentry>
                <raise event="ready"/>
            </onentry>

            <state id="http_mapper" initial="init">
                <state id="init">
                    <transition event="request" cond="isinstance(value, type([]))" target=".">
                        <parameter name="value"/>
                        <raise event="HTTP_input" target="self.http_clients[0]">
                            <parameter expr='urlencode({"op": "set_input", "data": json.dumps(value), "taskname": self.taskname})'/>
                            <parameter expr='None'/>
                        </raise>
                        <script>
                            #print("Request: " + str(value))
                        </script>
                    </transition>

                    <transition event="request" cond="not isinstance(value, type([]))" target=".">
                        <parameter name="value"/>
                        <raise event="HTTP_input" target="self.http_clients[0]">
                            <parameter expr='urlencode({"op": "set_input", "value": json.dumps(value), "taskname": self.taskname})'/>
                            <parameter expr='None'/>
                        </raise>
                        <script>
                            #print("Request: " + str(value))
                        </script>
                    </transition>

                    <transition event="HTTP_output" cond="not self.finish_output_thread" target=".">
                        <parameter name="data"/>
                        <script>
                            #print("Got input (%s): %s" % (self.taskname, data))
                            if self.taskname == "task_manager":
                                self.controller.taskname = self.taskname = json.loads(data)
                            else:
                                self.responses.append(json.loads(data))
                        </script>
                        <raise event="HTTP_input" target="self.http_clients[1]">
                            <parameter expr='urlencode({"op": "get_output", "taskname": self.taskname})'/>
                            <parameter expr='"parent"'/>
                        </raise>
                    </transition>

                    <transition event="HTTP_output" cond="self.finish_output_thread" target="../finished">
                        <parameter name="data"/>
                        <script>
                            #print("Got input (%s): %s" % (self.taskname, data))
                            if self.taskname == "task_manager":
                                self.controller.taskname = self.taskname = json.loads(data)
                            else:
                                self.responses.append(json.loads(data))
                        </script>
                        <raise event="HTTP_input" target="self.http_clients[1]">
                            <parameter expr='urlencode({"op": "get_output", "taskname": self.taskname})'/>
                            <parameter expr='"parent"'/>
                        </raise>
                    </transition>
                </state>

                <state id="finished"/>
            </state>

            <state id="behaviour" initial="wait_for_action">
                <state id="init" initial="connect_http_client">
                    <onentry>
                        <script>
                            self.address, self.timeout = self.parameters
                            self.address = self.address.rsplit(":", 1)
                            self.address = (self.address[0], int(self.address[1]))

                            self.i = 0
                            self.taskname = self.controller.taskname
                            if self.taskname is None:
                                self.taskname = "task_manager"

                            self.controller.taskname = self.taskname
                        </script>
                    </onentry>

                    <state id="connect_http_client">
                        <transition cond="self.i &lt; 2" target="../waiting_http_client">
                            <raise scope="narrow" target="self.http_clients[self.i]" event="connect">
                                <parameter expr="self.address"/>
                                <parameter expr="self.timeout"/>
                            </raise>
                        </transition>

                        <transition cond="self.i == 2 and self.taskname != 'task_manager'" target="../../wait_for_action/connected">
                            <!-- Sent out completion -->
                            <raise event="result">
                                <parameter expr="[]"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="waiting_http_client">
                        <transition event="http_client_ready" cond="self.i == 0" target="../connect_http_client">
                            <script>
                                self.i += 1
                            </script>
                        </transition>

                        <transition event="http_client_ready" cond="self.i == 1" target="../connect_http_client">
                            <script>
                                self.i += 1
                            </script>
                            <raise event="HTTP_input" target="self.http_clients[1]">
                                <parameter expr='urlencode({"op": "get_output", "taskname": self.taskname})'/>
                                <parameter expr='"parent"'/>
                            </raise>
                        </transition>

                        <transition event="http_client_timeout" target="../../wait_for_action/disconnected">
                            <raise event="exception">
                                <parameter expr="'NetworkException'"/>
                                <parameter expr="'Connection timeout'"/>
                            </raise>
                        </transition>
                    </state>
                </state>

                <state id="operations" initial="model_list">
                    <history id="history" type="deep"/>

                    <state id="login" initial="wait_prompt_1">
                        <state id="wait_prompt_1">
                            <transition cond="self.expect_response('Log on as which user?', pop=True)" target="../wait_prompt_2">
                                <raise event="request">
                                    <parameter expr="self.parameters[0]"/>
                                </raise>
                            </transition>
                        </state>

                        <state id="wait_prompt_2">
                            <transition cond="self.expect_response('Password for existing user?', pop=True)" target="../wait_prompt_existing">
                                <raise event="request">
                                    <parameter expr="self.parameters[1]"/>
                                </raise>
                            </transition>

                            <transition cond="self.expect_response('This is a new user: please give password!', pop=True)" target="../wait_prompt_existing">
                                <raise event="request">
                                    <parameter expr="self.parameters[1]"/>
                                </raise>
                            </transition>
                        </state>

                        <state id="wait_prompt_existing">
                            <transition cond="self.expect_response('Please repeat the password', pop=True)" target=".">
                                <raise event="request">
                                    <parameter expr="self.parameters[1]"/>
                                </raise>
                            </transition>
                            <transition cond="self.expect_response('Passwords match!', pop=True)" target="."/>
                            <transition cond="self.expect_response('Welcome to the Model Management Interface v2.0!', pop=True)" target="../login_ok"/>
                            <transition cond="self.expect_response('Wrong password!', pop=True)" target="../../../wait_for_action/connected">
                                <raise event="exception">
                                    <parameter expr="'PermissionDenied'"/>
                                    <parameter expr="'Permission denied!'"/>
                                </raise>
                            </transition>
                        </state>

                        <state id="login_ok">
                            <transition cond="self.expect_response('Use the \'help\' command for a list of possible commands', pop=True)" target="../../../wait_for_action/megamodelling">
                                <raise event="request">
                                    <parameter expr="'quiet'"/>
                                </raise>
                                <raise event="result">
                                    <parameter expr="None"/>
                                </raise>
                            </transition>
                        </state>
                    </state>

                    <state id="model_list">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['model_list', self.parameters[0]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="set(self.split_response(self.responses.pop(0)))"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="model_add" initial="send_metadata">
                        <state id="send_metadata">
                            <onentry>
                                <raise event="request">
                                    <parameter expr="['model_add', self.parameters[1], self.parameters[0], self.parameters[2]]"/>
                                </raise>
                            </onentry>

                            <transition cond="self.expect_response('Success')" target="../../../wait_for_action/history">
                                <script>
                                    self.registered_metamodel[self.parameters[0]] = self.parameters[1]
                                </script>
                                <raise event="result">
                                    <parameter expr="None"/>
                                </raise>
                            </transition>
                        </state>
                    </state>

                    <state id="model_move">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['model_move', self.parameters[0], self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="model_delete">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['model_delete', self.parameters[0]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="AL_text">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['AL_text', self.parameters[0]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="'\n'.join(self.split_response(self.responses.pop(0)))"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="model_list_full">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['model_list_full', self.parameters[0]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
                            <script>
                                response = self.split_response(self.responses.pop(0))
                                result = set()
                                for res in response:
                                    i = res.split(" ", 3)
                                    result.add((i[3], i[1], i[2], i[0]))
                            </script>
                            <raise event="result">
                                <parameter expr="result"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="verify">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['verify', self.parameters[0], self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <state id="waiting">
                            <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../../wait_for_action/history">
                                <raise event="result">
                                    <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
                                </raise>
                            </transition>
                        </state>
                    </state>

                    <state id="alter_context">
                        <transition target="../../wait_for_action/history">
                            <script>
                                self.registered_metamodel[self.parameters[0]] = self.parameters[1]
                                #print("Alter context of " + str(self.parameters[0]) + " to " + str(self.parameters[1]))
                            </script>
                        </transition>
                    </state>

                    <state id="model_overwrite" initial="init">
                        <state id="init">
                            <transition cond="self.parameters[0] in self.registered_metamodel" target="../send_metadata"/>
                            <transition cond="self.parameters[0] not in self.registered_metamodel" target="../search"/>
                        </state>

                        <state id="search">
                            <onentry>
                                <raise event="request">
                                    <parameter expr="['model_types', self.parameters[0]]"/>
                                </raise>
                            </onentry>

                            <transition cond="self.expect_response_partial('Success: ')" target="../send_metadata">
                                <script>
                                    self.registered_metamodel[self.parameters[0]] = set(self.split_response(self.responses.pop(0))).pop().split(", ")[0]
                                </script>
                            </transition>
                        </state>

                        <state id="send_metadata">
                            <onentry>
                                <raise event="request">
                                    <parameter expr="['model_overwrite', self.parameters[0], self.registered_metamodel[self.parameters[0]]]"/>
                                </raise>
                            </onentry>

                            <transition cond="self.expect_response('Waiting for model constructors...')" target="../send_model"/>
                        </state>

                        <state id="send_model">
                            <onentry>
                                <raise event="request">
                                    <parameter expr="self.parameters[1]"/>
                                </raise>
                            </onentry>

                            <transition cond="self.expect_response('Success')" target="../../../wait_for_action/history">
                                <raise event="result">
                                    <parameter expr="None"/>
                                </raise>
                            </transition>
                        </state>
                    </state>

                    <state id="disconnect">
                        <onentry>
                            <raise event="request">
                                <parameter expr="'exit'"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/finished">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="user_logout">
                        <onentry>
                            <raise event="request">
                                <parameter expr="'user_logout'"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/connected">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="model_render">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['model_render', self.parameters[0], self.parameters[1], self.parameters[2]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="json.loads(self.split_response(self.responses.pop(0))[0])"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="model_rendered">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['model_rendered', self.parameters[0], self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="set(self.split_response(self.responses.pop(0)))"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="transformation_between">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['transformation_between'] + self.dict_to_list(self.parameters[0]) + self.dict_to_list(self.parameters[1])"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="set(self.split_response(self.responses.pop(0)))"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="transformation_signature">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['transformation_read_signature', self.parameters[0]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
                            <script>
                                results = self.split_response(self.responses.pop(0))
                                inputs = {}
                                outputs = {}
                                for result in results:
                                    key, value = result[1:].strip().split(" ", 1)
                                    if result[0] == "I":
                                        inputs[key] = value
                                    elif result[0] == "O":
                                        outputs[key] = value
                            </script>
                            <raise event="result">
                                <parameter expr="(inputs, outputs)"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="process_signature">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['process_signature', self.parameters[0]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
                            <script>
                                results = self.split_response(self.responses.pop(0))
                                signature = {}
                                for result in results:
                                    key, value = result.strip().split(" : ", 1)
                                    signature[key] = value
                            </script>
                            <raise event="result">
                                <parameter expr="signature"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="store_on_scripted" initial="transformation_add">
                        <state id="transformation_add" initial="send_metadata">
                            <state id="send_metadata">
                                <onentry>
                                    <raise event="request">
                                        <parameter expr="[self.action_name] + self.dict_to_list(self.parameters[0]) + self.dict_to_list(self.parameters[1]) + [self.parameters[2]]"/>
                                    </raise>
                                </onentry>

                                <transition cond="self.expect_response_partial('Please edit this model before sending next input: ', pop=False)" target="../wait_for_user">
                                    <script>
                                        model = self.responses.pop(0).split(": ", 1)[1]
                                    </script>
                                    <raise event="result">
                                        <parameter expr="model"/>
                                    </raise>
                                </transition>

                                <transition cond="self.expect_response('Waiting for code constructors...')" target="../upload_changes">
                                    <raise event="result">
                                        <parameter expr="None"/>
                                    </raise>
                                    <raise event="request">
                                        <parameter expr="self.parameters[3]"/>
                                    </raise>
                                </transition>
                            </state>

                            <state id="wait_for_user">
                                <transition cond="self.inputs" target="../upload_changes">
                                    <script>
                                        self.inputs.pop(0)
                                    </script>
                                    <raise event="request">
                                        <parameter expr="True"/>
                                    </raise>
                                </transition>
                            </state>

                            <state id="upload_changes">
                                <transition cond="self.expect_response('Waiting for code constructors...')" target=".">
                                    <raise event="request">
                                        <parameter expr="self.parameters[3]"/>
                                    </raise>
                                </transition>

                                <transition cond="self.expect_response('Waiting for model constructors...')" target=".">
                                    <raise event="request">
                                        <parameter expr="self.parameters[3]"/>
                                    </raise>
                                </transition>

                                <transition cond="self.expect_response('Success')" target="../../../../wait_for_action/megamodelling">
                                    <raise event="result">
                                        <parameter expr="None"/>
                                    </raise>
                                </transition>
                            </state>
                        </state>

                        <state id="transformation_execute" initial="send_operation">
                            <state id="send_operation">
                                <onentry>
                                    <raise event="request">
                                        <parameter expr="['transformation_execute', self.parameters[0]] + self.dict_to_list(self.parameters[1]) + self.dict_to_list(self.parameters[2]) + [self.parameters[3]]"/>
                                    </raise>
                                    <script>
                                        if len(self.parameters) > 4 and self.parameters[4] == False:
                                            self.finish_output_thread = True
                                    </script>
                                </onentry>

                                <transition cond="self.expect_response_partial('Spawned activity on task: ', pop=False)" target="../waiting">
                                    <script>
                                        self.sub_sc_taskname = self.responses.pop(0).split(": ", 1)[1]
                                    </script>
                                    <raise event="result">
                                        <parameter expr="self.sub_sc_taskname"/>
                                    </raise>
                                </transition>
                            </state>

                            <state id="waiting">
                                <transition cond="self.expect_response('Finished task: ' + self.sub_sc_taskname)" target="."/>
                                <transition cond="self.expect_response('Success', pop=False) or self.expect_response('Failure', pop=False)" target="../../../../wait_for_action/megamodelling">
                                    <raise event="result">
                                        <parameter expr="self.responses.pop(0) == 'Success'"/>
                                    </raise>
                                </transition>
                            </state>
                        </state>

                        <state id="process_execute" initial="init">
                            <state id="init">
                                <onentry>
                                    <raise event="request">
                                        <parameter expr="['process_execute', self.parameters[0]] + self.dict_to_list(self.parameters[1])"/>
                                    </raise>
                                </onentry>

                                <transition cond="self.expect_response('Success', pop=True)" target="../executing"/>
                            </state>

                            <state id="executing">
                                <transition cond="self.responses and ' : ' in self.responses[0]" target=".">
                                    <script>
                                        taskname, operation = self.responses.pop(0).split(" : ")
                                    </script>
                                    <raise event="result">
                                        <parameter expr="[taskname, operation]"/>
                                    </raise>
                                </transition>

                                <transition cond="self.expect_response('Success', pop=True)" target="../../../../wait_for_action/megamodelling">
                                    <raise event="result">
                                        <parameter expr="'Success'"/>
                                    </raise>
                                </transition>
                            </state>
                        </state>

                        <history id="history" type="deep"/>
                    </state>

                    <state id="permission_modify">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['permission_modify', self.parameters[0], self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="permission_owner">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['permission_owner', self.parameters[0], self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="permission_group">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['permission_group', self.parameters[0], self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="group_create">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['group_create', self.parameters[0], self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="group_delete">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['group_delete', self.parameters[0], self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="group_owner_add">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['group_owner_add', self.parameters[0], self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="group_owner_delete">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['group_owner_delete', self.parameters[0], self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="group_join">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['group_join', self.parameters[0], self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="group_kick">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['group_kick', self.parameters[0], self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="group_list">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['group_list', self.parameters[0], self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="set(self.split_response(self.responses.pop(0)))"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="admin_promote">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['admin_promote', self.parameters[0]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="admin_demote">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['admin_demote', self.parameters[0]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="conformance_delete">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['remove_conformance', self.parameters[0], self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="conformance_add">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['add_conformance', self.parameters[0], self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="folder_create">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['folder_create', self.parameters[0]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="model_types">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['model_types', self.parameters[0]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ')" target="../../wait_for_action/history">
                            <raise event="result">
                                <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))])"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="element_list">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['list_full']"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
                            <script>
                                responses = self.split_response(self.responses.pop(0))
                                result = set([tuple([j.strip() for j in i.split(':')]) for i in responses])
                            </script>
                            <raise event="result">
                                <parameter expr="result"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="element_list_nice">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['JSON']"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="json.loads(self.split_response(self.responses.pop(0))[0])"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="types">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['types']"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="set([tuple(entry.strip().split(' : ')) for entry in self.split_response(self.responses.pop(0))])"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="read_info">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['read', self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
                            <script>
                                response = self.responses.pop(0).split(": ", 1)[1].strip()
                                values = {line.split(": ", 1)[0]: line.split(": ", 1)[1] for line in response.split("\n", 2)}
                                if "Source" in values:
                                    result = (values["Type"], (values["Source"], values["Destination"]))
                                else:
                                    result = (values["Type"], None)
                            </script>
                            <raise event="result">
                                <parameter expr="result"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="read_attrs">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['read_attrs', self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
                            <script>
                                response = self.responses.pop(0).split(": ", 1)[1].strip()
                                if " : " in response:
                                    values = {line.split(" : ", 1)[0]: line.split(" : ", 1)[1] for line in response.split("\n")}
                                    values = {key: json.loads(values[key].split(" = ", 1)[1]) for key in values}
                                else:
                                    values = {}
                            </script>
                            <raise event="result">
                                <parameter expr="values"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="read_defined_attrs">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['read_defined_attrs', self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
                            <script>
                                response = self.responses.pop(0).split(": ", 1)[1].strip()
                                value_mandatory = {line.split(" : ", 1)[0]: line.split(" : ", 1)[1] for line in response.split("\n") if " : " in line}
                                value_optional = {line.split(" ?: ", 1)[0]: line.split(" ?: ", 1)[1] for line in response.split("\n") if " ?: " in line}
                            </script>
                            <raise event="result">
                                <parameter expr="(value_mandatory, value_optional)"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="instantiate" initial="decide_node_or_edge">
                        <state id="decide_node_or_edge">
                            <transition cond="self.parameters[2] is None" target="../created">
                                <raise event="request">
                                    <parameter expr="['instantiate_node', self.parameters[1], self.parameters[3]]"/>
                                </raise>
                            </transition>

                            <transition cond="self.parameters[2] is not None" target="../created">
                                <raise event="request">
                                    <parameter expr="['instantiate_edge', self.parameters[1], self.parameters[3], self.parameters[2][0], self.parameters[2][1]]"/>
                                </raise>
                            </transition>
                        </state>

                        <state id="created">
                            <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../../wait_for_action/history">
                                <raise event="result">
                                    <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
                                </raise>
                            </transition>
                        </state>
                    </state>

                    <state id="delete_element">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['delete', self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="attr_assign">
                        <onentry>
                            <raise event="request">
                                <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]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="attr_assign_code">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['attr_add_code', self.parameters[1], self.parameters[2]]"/>
                            </raise>
                        </onentry>

                        <state id="sent">
                            <transition cond="self.expect_response('Waiting for code constructors...')" target=".">
                                <raise event="request">
                                    <parameter expr="[self.parameters[3]]"/>
                                </raise>
                            </transition>

                            <transition cond="self.expect_response('Success')" target="../../../wait_for_action/history">
                                <raise event="result">
                                    <parameter expr="None"/>
                                </raise>
                            </transition>
                        </state>
                    </state>

                    <state id="attr_delete">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['attr_delete', self.parameters[1], self.parameters[2]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="attr_type">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['attr_type', self.parameters[1], self.parameters[2], self.parameters[3]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="attr_name">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['attr_name', self.parameters[1], self.parameters[2], self.parameters[3]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="attr_optional">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['attr_optional', self.parameters[1], self.parameters[2], self.parameters[3]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="read_outgoing">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['read_outgoing', self.parameters[1], self.parameters[2]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="set(self.split_response(self.responses.pop(0)))"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="read_incoming">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['read_incoming', self.parameters[1], self.parameters[2]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="set(self.split_response(self.responses.pop(0)))"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="read_association_source">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['read_association_source', self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="read_association_destination">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['read_association_destination', self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="connections_between">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['connections_between', self.parameters[1], self.parameters[2]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="set(self.split_response(self.responses.pop(0)))"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="define_attribute">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['define_attribute', self.parameters[1], self.parameters[2], self.parameters[3]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="undefine_attribute">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['undefine_attribute', self.parameters[1], self.parameters[2]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="all_instances">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['all_instances', self.parameters[1]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/history">
                            <raise event="result">
                                <parameter expr="set(self.split_response(self.responses.pop(0)))"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="exit_save">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['exit']"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/megamodelling">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="service_register">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['service_register', self.parameters[0]]"/>
                            </raise>
                            <script>
                                self.service_function = self.parameters[1]
                            </script>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ', pop=False)" target="../../wait_for_action/service">
                            <script>
                                port = self.split_response(self.responses.pop(0))[0]
                            </script>
                            <raise event="result">
                                <parameter expr="port"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="service_stop">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['service_stop']"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Success')" target="../../wait_for_action/megamodelling"/>
                    </state>

                    <transition cond="self.expect_response_partial('Compilation error: ', pop=False)" target="../wait_for_action/history">
                        <raise event="exception">
                            <parameter expr="'CompilationError'"/>
                            <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
                        </raise>
                    </transition>

                    <transition cond="self.expect_response_partial('Attribute not found: ', pop=False)" target="../wait_for_action/history">
                        <raise event="exception">
                            <parameter expr="'UnknownAttribute'"/>
                            <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
                        </raise>
                    </transition>

                    <transition cond="self.expect_response_partial('Unknown location: ', pop=False)" target="../wait_for_action/history">
                        <raise event="exception">
                            <parameter expr="'UnknownLocation'"/>
                            <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
                        </raise>
                    </transition>

                    <transition cond="self.expect_response_partial('Not an association: ', pop=False)" target="../wait_for_action/history">
                        <raise event="exception">
                            <parameter expr="'NotAnAssociation'"/>
                            <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
                        </raise>
                    </transition>

                    <transition cond="self.expect_response_partial('Model exists: ', pop=False)" target="../wait_for_action/history">
                        <raise event="exception">
                            <parameter expr="'ModelExists'"/>
                            <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
                        </raise>
                    </transition>

                    <transition cond="self.expect_response_partial('Folder exists: ', pop=False)" target="../wait_for_action/history">
                        <raise event="exception">
                            <parameter expr="'FolderExists'"/>
                            <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
                        </raise>
                    </transition>

                    <transition cond="self.expect_response_partial('Attribute exists: ', pop=False)" target="../wait_for_action/history">
                        <raise event="exception">
                            <parameter expr="'AttributeExists'"/>
                            <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
                        </raise>
                    </transition>

                    <transition cond="self.expect_response_partial('Type cannot be typed as formalisms/SimpleClassDiagrams: ', pop=False)" target="../wait_for_action/history">
                        <raise event="exception">
                            <parameter expr="'UnknownM3'"/>
                            <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
                        </raise>
                    </transition>

                    <transition cond="self.expect_response_partial('Element exists: ', pop=False)" target="../wait_for_action/history">
                        <raise event="exception">
                            <parameter expr="'ElementExists'"/>
                            <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
                        </raise>
                    </transition>

                    <transition cond="self.expect_response_partial('Read permission denied to: ', pop=False)" target="../wait_for_action/history">
                        <raise event="exception">
                            <parameter expr="'ReadPermissionDenied'"/>
                            <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
                        </raise>
                    </transition>

                    <transition cond="self.expect_response_partial('Write permission denied to: ', pop=False)" target="../wait_for_action/history">
                        <raise event="exception">
                            <parameter expr="'WritePermissionDenied'"/>
                            <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
                        </raise>
                    </transition>

                    <transition cond="self.expect_response('Write permission denied', pop=True)" target="../wait_for_action/history">
                        <raise event="exception">
                            <parameter expr="'WritePermissionDenied'"/>
                            <parameter expr="self.current_model"/>
                        </raise>
                    </transition>

                    <transition cond="self.expect_response_partial('Execute permission denied to: ', pop=False)" target="../wait_for_action/history">
                        <raise event="exception">
                            <parameter expr="'ExecutePermissionDenied'"/>
                            <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
                        </raise>
                    </transition>

                    <transition cond="self.expect_response_partial('Group permission denied to: ', pop=False)" target="../wait_for_action/history">
                        <raise event="exception">
                            <parameter expr="'GroupPermissionDenied'"/>
                            <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
                        </raise>
                    </transition>

                    <transition cond="self.expect_response_partial('User permission denied to: ', pop=False)" target="../wait_for_action/history">
                        <raise event="exception">
                            <parameter expr="'UserPermissionDenied'"/>
                            <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
                        </raise>
                    </transition>

                    <transition cond="self.expect_response_partial('Admin permission denied', pop=True)" target="../wait_for_action/history">
                        <raise event="exception">
                            <parameter expr="'AdminPermissionDenied'"/>
                            <parameter expr="'Admin permissions are required for this operation!'"/>
                        </raise>
                    </transition>

                    <transition cond="self.expect_response_partial('Incorrect format: ', pop=False)" target="../wait_for_action/history">
                        <raise event="exception">
                            <parameter expr="'InterfaceMismatch'"/>
                            <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
                        </raise>
                    </transition>

                    <transition cond="self.expect_response_partial('Element not found: ', pop=False)" target="../wait_for_action/history">
                        <raise event="exception">
                            <parameter expr="'UnknownElement'"/>
                            <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
                        </raise>
                    </transition>

                    <transition cond="self.expect_response_partial('Model not found: ', pop=False)" target="../wait_for_action/history">
                        <raise event="exception">
                            <parameter expr="'UnknownModel'"/>
                            <parameter expr="self.split_response(self.responses.pop(0))[0]"/>
                        </raise>
                    </transition>

                    <transition cond="self.expect_response_partial('Conformance hierarchy unknown for: ', pop=False)" target="../wait_for_action/history">
                        <raise event="exception">
                            <parameter expr="'UnknownMetamodellingHierarchy'"/>
                            <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)"/>
                        </raise>
                    </transition>

                    <transition cond="self.expect_response_partial('', pop=False)" target="../wait_for_action/history">
                        <script>
                            print("Unknown Error: " + self.responses[0])
                            pass
                        </script>
                        <raise event="exception">
                            <parameter expr="'UnknownError'"/>
                            <parameter expr="'Error: %s' % self.responses.pop(0)"/>
                        </raise>
                    </transition>
                </state>

                <state id="wait_for_action" initial="disconnected">
                    <state id="disconnected">
                        <transition cond="self.expect_action('init')" target="../../init">
                            <script>
                                self.load_action()
                            </script>
                        </transition>
                    </state>

                    <state id="connected">
                        <transition cond="self.expect_action('login')" target="../../operations/login">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_response('Success: ready for AL execution')" target="../activity/SC"/>
                        <transition cond="self.expect_response('Success: ready for MT execution')" target="../activity/SC"/>
                        <transition cond="self.expect_response('Success: ready for MANUAL execution')" target="../activity/OP"/>
                    </state>

                    <state id="activity" initial="SC">
                        <state id="SC">
                            <onentry>
                                <raise event="result">
                                    <parameter expr="'SC'"/>
                                </raise>
                            </onentry>

                            <state id="forwarding">
                                <transition cond="self.expect_response('Success', pop=False) or self.expect_response('Failure', pop=False)" target="../../../history">
                                    <raise event="result">
                                        <parameter expr="True if self.responses.pop(0) == 'Success' else False"/>
                                    </raise>
                                </transition>

                                <transition cond="not (self.expect_response('Success', pop=False) or self.expect_response('Failure', pop=False)) and self.expect_response_partial('', pop=False)" target=".">
                                    <raise event="data_output">
                                        <parameter expr="self.responses.pop(0)"/>
                                    </raise>
                                </transition>

                                <transition cond="self.expect_input('data_input')" target=".">
                                    <raise event="request">
                                        <parameter expr="self.inputs.pop(0)['parameters']"/>
                                    </raise>
                                </transition>
                            </state>
                        </state>

                        <state id="OP">
                            <onentry>
                                <raise event="result">
                                    <parameter expr="'OP'"/>
                                </raise>
                            </onentry>

                            <state id="forwarding">
                                <transition cond="self.expect_response_partial('Please perform manual operation ', pop=True)" target="."/>

                                <transition cond="self.expect_response_partial('Please edit this model before sending next input: ', pop=False)" target=".">
                                    <raise event="result">
                                        <parameter expr="self.responses.pop(0).split(': ')[1]"/>
                                    </raise>
                                </transition>

                                <transition cond="self.inputs" target="../../../history">
                                    <script>
                                        self.inputs.pop(0)
                                    </script>
                                    <raise event="request">
                                        <parameter expr="0"/>
                                    </raise>
                                </transition>
                            </state>
                        </state>
                    </state>

                    <state id="megamodelling">
                        <transition cond="self.expect_action('model_list')" target="../../operations/model_list">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('model_add')" target="../../operations/model_add">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('model_move')" target="../../operations/model_move">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('model_delete')" target="../../operations/model_delete">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('model_list_full')" target="../../operations/model_list_full">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('AL_text')" target="../../operations/AL_text">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('verify')" target="../../operations/verify">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('alter_context')" target="../../operations/alter_context">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('model_overwrite')" target="../../operations/model_overwrite">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('disconnect')" target="../../operations/disconnect">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('user_logout')" target="../../operations/user_logout">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('model_render')" target="../../operations/model_render">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('model_rendered')" target="../../operations/model_rendered">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('transformation_between')" target="../../operations/transformation_between">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('transformation_signature')" target="../../operations/transformation_signature">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('process_signature')" target="../../operations/process_signature">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('transformation_add_MT')" target="../../operations/store_on_scripted/transformation_add">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('transformation_add_AL')" target="../../operations/store_on_scripted/transformation_add">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('transformation_add_MANUAL')" target="../../operations/store_on_scripted/transformation_add">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('transformation_execute')" target="../../operations/store_on_scripted/transformation_execute">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('process_execute')" target="../../operations/store_on_scripted/process_execute">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('permission_modify')" target="../../operations/permission_modify">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('permission_owner')" target="../../operations/permission_owner">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('permission_group')" target="../../operations/permission_group">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('group_create')" target="../../operations/group_create">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('group_delete')" target="../../operations/group_delete">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('group_owner_add')" target="../../operations/group_owner_add">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('group_owner_delete')" target="../../operations/group_owner_delete">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('group_join')" target="../../operations/group_join">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('group_kick')" target="../../operations/group_kick">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('group_list')" target="../../operations/group_list">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('admin_promote')" target="../../operations/admin_promote">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('admin_demote')" target="../../operations/admin_demote">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('conformance_delete')" target="../../operations/conformance_delete">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('conformance_add')" target="../../operations/conformance_add">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('folder_create')" target="../../operations/folder_create">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('model_types')" target="../../operations/model_types">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('service_register')" target="../../operations/service_register">
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('exit_save')" target=".">
                            <raise event="result">
                                <parameter expr="None"/>
                            </raise>
                            <script>
                                self.load_action()
                            </script>
                        </transition>

                        <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">
                        </transition>
                    </state>

                    <state id="service">
                        <transition cond="self.expect_response_partial('', pop=False)" target=".">
                            <script>
                                import modelverse
                                thrd = threading.Thread(target=self.service_function, args=[self.responses.pop(0)])
                                thrd.daemon = True
                                thrd.start()
                            </script>
                        </transition>

                        <transition cond="self.expect_action('service_stop')" target="../../operations/service_stop">
                            <script>
                                self.load_action()
                            </script>
                        </transition>
                    </state>

                    <state id="modelling">
                        <state id="recognized" initial="manual">
                            <state id="manual">
                                <transition cond="self.expect_action('exit')" target="../../../../leaving_manual"/>

                                <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"/>
                            </state>

                            <state id="scripted">
                                <transition cond="self.expect_action('exit')" target="../../../../operations/store_on_scripted/history">
                                    <raise event="request">
                                        <parameter expr="'exit'"/>
                                    </raise>
                                </transition>

                                <transition cond="self.actions and self.actions[0] in self.modelling_operations and self.actions[0]['parameters'][0] != self.current_model" target=".">
                                    <script>
                                        self.load_action()
                                    </script>
                                    <raise event="exception">
                                        <parameter expr="'InterfaceMismatch'"/>
                                        <parameter expr="'Operation cannot be executed in this context'"/>
                                    </raise>
                                </transition>
                            </state>

                            <transition cond="self.expect_action('element_list')" target="../../../operations/element_list">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('element_list_nice')" target="../../../operations/element_list_nice">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('types')" target="../../../operations/types">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('read_info')" target="../../../operations/read_info">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('read_attrs')" target="../../../operations/read_attrs">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('read_defined_attrs')" target="../../../operations/read_defined_attrs">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('instantiate')" target="../../../operations/instantiate">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('delete_element')" target="../../../operations/delete_element">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('attr_assign')" target="../../../operations/attr_assign">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('attr_assign_code')" target="../../../operations/attr_assign_code">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('attr_delete')" target="../../../operations/attr_delete">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('attr_name')" target="../../../operations/attr_name">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('attr_type')" target="../../../operations/attr_type">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('attr_optional')" target="../../../operations/attr_optional">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('read_outgoing')" target="../../../operations/read_outgoing">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('read_incoming')" target="../../../operations/read_incoming">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('read_association_source')" target="../../../operations/read_association_source">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('read_association_destination')" target="../../../operations/read_association_destination">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('connections_between')" target="../../../operations/connections_between">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('define_attribute')" target="../../../operations/define_attribute">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('undefine_attribute')" target="../../../operations/undefine_attribute">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('all_instances')" target="../../../operations/all_instances">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>

                            <transition cond="self.expect_action('exit_save')" target="../../../operations/exit_save">
                                <script>
                                    self.load_action()
                                </script>
                            </transition>
                        </state>

                        <transition cond="self.actions and self.actions[0] not in self.modelling_operations" target="../../leaving_manual"/>
                    </state>

                    <state id="finished"/>

                    <history id="history" type="deep"/>

                    <transition cond="self.actions" target="history">
                        <script>
                            print("Got unknown operation: " + str(self.actions.pop(0)))
                        </script>

                        <raise event="exception">
                            <parameter expr="'UnknownOperation'"/>
                            <parameter expr="'Operation is unknown'"/>
                        </raise>
                    </transition>
                </state>

                <state id="going_manual" initial="init">
                    <state id="init">
                        <onentry>
                            <script>
                                self.current_model = self.actions[0]["parameters"][0]
                            </script>
                        </onentry>

                        <transition cond="self.current_model in self.registered_metamodel" target="../OK"/>
                        <transition cond="self.current_model not in self.registered_metamodel" target="../search"/>
                    </state>

                    <state id="search">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['model_types', self.current_model]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response_partial('Success: ')" target="../OK">
                            <script>
                                self.registered_metamodel[self.current_model] = set(self.split_response(self.responses.pop(0))).pop().split(", ")[0]
                            </script>
                        </transition>
                    </state>

                    <state id="OK">
                        <onentry>
                            <raise event="request">
                                <parameter expr="['model_modify', self.current_model, self.registered_metamodel[self.current_model]]"/>
                            </raise>
                        </onentry>

                        <transition cond="self.expect_response('Model loaded, ready for commands!', pop=True)" target="../../wait_for_action/modelling/recognized/manual"/>
                    </state>

                    <transition cond="self.expect_response_partial('Model not found: ', pop=False)" target="../wait_for_action/megamodelling">
                        <raise event="exception">
                            <parameter expr="'UnknownModel'"/>
                            <parameter expr="'No such model: ' + self.responses.pop(0)"/>
                        </raise>
                        <script>
                            self.actions.pop(0)
                        </script>
                    </transition>

                    <transition cond="self.expect_response_partial('Read permission denied to: ', pop=False)" target="../wait_for_action/megamodelling">
                        <raise event="exception">
                            <parameter expr="'ReadPermissionDenied'"/>
                            <parameter expr="'No permission to read model ' + self.responses.pop(0)"/>
                        </raise>
                        <script>
                            self.actions.pop(0)
                        </script>
                    </transition>

                    <transition cond="self.expect_response_partial('Conformance hierarchy unknown for: ', pop=False)" target="../wait_for_action/megamodelling">
                        <raise event="exception">
                            <parameter expr="'UnknownMetamodellingHierarchy'"/>
                            <parameter expr="'Conformance relation not found'"/>
                        </raise>

                        <script>
                            self.responses.pop(0)
                            self.actions.pop(0)
                        </script>
                    </transition>
                </state>

                <state id="going_scripted">
                    <onentry>
                        <script>
                            self.current_model = None
                        </script>
                    </onentry>

                    <transition target="../wait_for_action/modelling/recognized/scripted"/>
                </state>

                <state id="leaving_manual">
                    <onentry>
                        <raise event="request">
                            <parameter expr="'exit'"/>
                        </raise>
                    </onentry>

                    <transition cond="self.expect_response('Success', pop=True)" target="../wait_for_action/megamodelling"/>
                </state>
            </state>

            <state id="queue">
                <state id="queue">
                    <transition event="action" target=".">
                        <parameter name="action_name"/>
                        <parameter name="ID"/>
                        <parameter name="parameters"/>
                        <script>
                            self.actions.append({"name": action_name, "ID": ID, "parameters": parameters})
                        </script>
                    </transition>

                    <transition event="result" target=".">
                        <parameter name="parameters"/>
                        <raise scope="output" event="result" port="action_out">
                            <parameter expr="self.current_ID"/>
                            <parameter expr="parameters"/>
                        </raise>

                        <raise scope="broad" event="mv_result">
                            <parameter expr="self.current_ID"/>
                            <parameter expr="parameters"/>
                        </raise>
                    </transition>

                    <transition event="data_output" target=".">
                        <parameter name="parameters"/>
                        <raise scope="output" event="data_output" port="action_out">
                            <parameter expr="parameters"/>
                        </raise>

                        <raise scope="broad" event="mv_data_output">
                            <parameter expr="parameters"/>
                        </raise>
                    </transition>

                    <transition event="exception" target=".">
                        <parameter name="ID"/>
                        <parameter name="parameters"/>

                        <raise scope="output" event="exception" port="action_out">
                            <parameter expr="self.current_ID"/>
                            <parameter expr="ID"/>
                            <parameter expr="parameters"/>
                        </raise>

                        <raise scope="broad" event="mv_exception">
                            <parameter expr="self.current_ID"/>
                            <parameter expr="ID"/>
                            <parameter expr="parameters"/>
                        </raise>
                    </transition>

                    <transition event="ready" target=".">
                        <raise scope="output" event="ready" port="ready"/>
                        <raise scope="broad" event="mv_ready"/>
                    </transition>

                    <transition event="data_input" target=".">
                        <parameter name="value"/>
                        <script>
                            self.inputs.append({"name": "data_input", "parameters": value})
                        </script>
                    </transition>
                </state>
            </state>
        </parallel>
    </scxml>
</class>