core_algorithm.alc 87 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943194419451946194719481949195019511952195319541955195619571958195919601961196219631964196519661967196819691970197119721973197419751976197719781979198019811982198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520262027202820292030203120322033203420352036203720382039204020412042204320442045204620472048204920502051205220532054205520562057205820592060206120622063206420652066206720682069207020712072207320742075207620772078207920802081208220832084208520862087208820892090209120922093209420952096209720982099210021012102210321042105210621072108210921102111211221132114211521162117211821192120212121222123212421252126212721282129213021312132213321342135213621372138213921402141214221432144214521462147214821492150215121522153215421552156215721582159216021612162216321642165216621672168216921702171217221732174217521762177217821792180218121822183218421852186218721882189219021912192219321942195219621972198219922002201220222032204220522062207220822092210221122122213221422152216221722182219222022212222222322242225222622272228222922302231223222332234223522362237223822392240224122422243224422452246224722482249225022512252225322542255225622572258225922602261226222632264226522662267226822692270227122722273227422752276227722782279228022812282228322842285228622872288228922902291229222932294229522962297229822992300230123022303230423052306230723082309231023112312231323142315231623172318231923202321232223232324232523262327232823292330233123322333233423352336233723382339234023412342234323442345234623472348234923502351235223532354235523562357235823592360236123622363236423652366236723682369237023712372237323742375237623772378237923802381238223832384238523862387238823892390239123922393239423952396239723982399240024012402240324042405240624072408240924102411241224132414241524162417241824192420242124222423242424252426242724282429243024312432243324342435243624372438243924402441244224432444244524462447244824492450245124522453245424552456245724582459246024612462246324642465246624672468246924702471247224732474247524762477247824792480
  1. include "modelling.alh"
  2. include "library.alh"
  3. include "primitives.alh"
  4. include "constructors.alh"
  5. include "object_operations.alh"
  6. include "mini_modify.alh"
  7. include "model_management.alh"
  8. include "ramify.alh"
  9. include "conformance_scd.alh"
  10. include "transform.alh"
  11. include "metamodels.alh"
  12. include "utils.alh"
  13. include "conformance_finding.alh"
  14. include "typing.alh"
  15. include "compiler.alh"
  16. include "random.alh"
  17. include "io.alh"
  18. String core_model_location = "models/core"
  19. Element core = ?
  20. String current_user_id
  21. Element caches
  22. Element pm_tasks = ?
  23. String function get_foldername(name : String):
  24. Element result
  25. result = string_split(name, "/")
  26. list_pop_final(result)
  27. if (list_len(result) == 0):
  28. return ""!
  29. // 'result' now contains a list of entries which we have to join with the seperator
  30. String str
  31. str = list_pop(result, 0)
  32. while (list_len(result) > 0):
  33. str = string_join(str + "/", list_pop(result, 0))
  34. return str!
  35. String function get_filename(name : String):
  36. return list_pop_final(string_split(name, "/"))!
  37. String function full_name(model_id : String):
  38. return read_attribute(core, model_id, "name")!
  39. Void function initialize_core():
  40. // TODO make this more flexible by putting it in the bootstrap in a similar way as other models
  41. add_code_model(import_node("models/ActionLanguage"), "models/Conformance_MV", wrap_conformance)
  42. return !
  43. Boolean function is_typed_by(model_id : String, metamodel_id : String):
  44. return (set_len(get_instanceOf_links(model_id, metamodel_id)) > 0)!
  45. Element function get_instanceOf_links(model_id : String, metamodel_id : String):
  46. Element result
  47. Element options
  48. String elem
  49. result = set_create()
  50. options = allOutgoingAssociationInstances(core, model_id, "instanceOf")
  51. while (set_len(options) > 0):
  52. elem = set_pop(options)
  53. if (value_eq(readAssociationDestination(core, elem), metamodel_id)):
  54. set_add(result, elem)
  55. return result!
  56. String function get_instanceOf_link(model_id : String, metamodel_id : String):
  57. Element all_links
  58. String choice
  59. all_links = get_instanceOf_links(model_id, metamodel_id)
  60. if (set_len(all_links) > 1):
  61. log("WARNING: multiple instanceOf relations were detected for this model; picking one at random!")
  62. elif (set_len(all_links) == 0):
  63. log("No types found!")
  64. log("Source model: " + cast_value(read_attribute(core, model_id, "name")))
  65. log("Target meta-model: " + cast_value(read_attribute(core, metamodel_id, "name")))
  66. return read_root()!
  67. choice = set_pop(all_links)
  68. return choice!
  69. Element function get_full_model(model_id : String, metamodel_id : String):
  70. // TODO we are restricted to using formalisms/SimpleClassDiagrams as M3 level, through this code!
  71. Element m
  72. Element all_links
  73. String choice
  74. choice = get_instanceOf_link(model_id, metamodel_id)
  75. m = dict_create()
  76. dict_add(m, "model", import_node(read_attribute(core, model_id, "location")))
  77. // TODO for now this is restricted to the fixed semantics
  78. // dict_add(m, "semantics", set_pop(allAssociationDestinations(core, choice, "semantics")))
  79. dict_add(m, "semantics", get_entry_id("models/conformance_mv"))
  80. if (metamodel_id == model_id):
  81. // Found the meta-circular level, so we can stop!
  82. dict_add(m, "metamodel", m)
  83. else:
  84. Element mm
  85. mm = get_full_model(metamodel_id, get_entry_id("formalisms/SimpleClassDiagrams"))
  86. if (element_eq(mm, read_root())):
  87. return read_root()!
  88. else:
  89. dict_add(m, "metamodel", mm)
  90. if (element_neq(choice, read_root())):
  91. Element types
  92. types = allAssociationDestinations(core, choice, "typing")
  93. if (set_len(types) == 1):
  94. // Add the preferred original type mapping
  95. set_type_mapping(m, import_node(read_attribute(core, set_pop(types), "location")))
  96. else:
  97. // Start from scratch
  98. new_type_mapping(m)
  99. else:
  100. // Start from scratch
  101. new_type_mapping(m)
  102. if (find_type_mapping(m)):
  103. // TODO store the found type model somewhere
  104. return m!
  105. else:
  106. log("No type mapping could be deduced!")
  107. log("Error for " + cast_value(read_attribute(core, model_id, "name")))
  108. log(" and type " + cast_value(read_attribute(core, metamodel_id, "name")))
  109. return read_root()!
  110. Integer function get_relation_to_model(user_id : String, model_id : String):
  111. if (set_in(allAssociationDestinations(core, model_id, "owner"), user_id)):
  112. // We are the owner
  113. return 0!
  114. else:
  115. String group_id
  116. group_id = set_pop(allAssociationDestinations(core, model_id, "group"))
  117. if (set_in(allAssociationDestinations(core, user_id, "belongsTo"), group_id)):
  118. // We are in the owning group
  119. return 1!
  120. else:
  121. // We are not related whatsoever
  122. return 2!
  123. Boolean function is_admin(user_id : String):
  124. if (read_attribute(core, user_id, "admin")):
  125. return True!
  126. else:
  127. return False!
  128. Boolean function allow_read(user_id : String, model_id : String):
  129. if (is_admin(user_id)):
  130. // Is admin, so always allow
  131. return True!
  132. else:
  133. // Check permissions
  134. String permission
  135. permission = string_get(read_attribute(core, model_id, "permissions"), get_relation_to_model(user_id, model_id))
  136. if (bool_or(permission == "1", permission == "2")):
  137. return True!
  138. else:
  139. return False!
  140. Boolean function allow_write(user_id : String, model_id : String):
  141. if (is_admin(user_id)):
  142. // Is admin, so always allow
  143. return True!
  144. else:
  145. // Check permissions
  146. String permission
  147. permission = string_get(read_attribute(core, model_id, "permissions"), get_relation_to_model(user_id, model_id))
  148. if (permission == "2"):
  149. return True!
  150. else:
  151. return False!
  152. Boolean function allow_change_metadata(user_id : String, model_id : String):
  153. if (is_admin(user_id)):
  154. // Is admin, so always allow
  155. return True!
  156. else:
  157. if (get_relation_to_model(user_id, model_id) == 0):
  158. // Only owner can chmod
  159. return True!
  160. else:
  161. return False!
  162. Boolean function allow_group_modify(user_id : String, group_id : String):
  163. if (is_admin(user_id)):
  164. // Is admin, so always allow
  165. return True!
  166. else:
  167. if (set_in(allAssociationDestinations(core, group_id, "owner"), user_id)):
  168. // We are an owner
  169. return True!
  170. else:
  171. return False!
  172. Boolean function check_login(user_id : String):
  173. String password
  174. String stored_password
  175. stored_password = read_attribute(core, user_id, "password")
  176. output("Password for existing user?")
  177. password = hash(input())
  178. return password == stored_password!
  179. Void function new_task():
  180. String username
  181. String user_id
  182. String password
  183. // Load in a hard-reference to the previously created model
  184. core = import_node(core_model_location)
  185. while (True):
  186. output("Log on as which user?")
  187. username = input()
  188. user_id = get_user_id(username)
  189. if (user_id == ""):
  190. // New user
  191. // Add user to Core Formalism
  192. user_id = instantiate_node(core, "User", "")
  193. instantiate_attribute(core, user_id, "name", username)
  194. instantiate_attribute(core, user_id, "admin", False)
  195. output("This is a new user: please give password!")
  196. password = hash(input())
  197. output("Please repeat the password")
  198. if (password == hash(input())):
  199. output("Passwords match!")
  200. instantiate_attribute(core, user_id, "password", password)
  201. break!
  202. else:
  203. output("Not the same password!")
  204. else:
  205. if (check_login(user_id)):
  206. break!
  207. else:
  208. output("Wrong password!")
  209. user_function_skip_init(user_id)
  210. // User destroyed already, so just stop execution
  211. return!
  212. String function get_entry_id(name : String):
  213. Element hierarchy_split
  214. String current
  215. Integer i
  216. Element elems
  217. String current_part
  218. String elem
  219. Boolean found
  220. if (name == ""):
  221. return caches["root"]!
  222. if (dict_in(caches["models"], name)):
  223. if (dict_in(core, caches["models"])):
  224. if (full_name(caches["models"][name]) == name):
  225. return caches["models"][name]!
  226. current = get_entry_id(get_foldername(name))
  227. if (current == ""):
  228. return ""!
  229. if (current_part != ""):
  230. elems = allAssociationDestinations(core, current, "contains")
  231. while (set_len(elems) > 0):
  232. elem = set_pop(elems)
  233. dict_overwrite(caches["models"], read_attribute(core, elem, "name"), elem)
  234. if (value_eq(name, read_attribute(core, elem, "name"))):
  235. return elem!
  236. else:
  237. return current!
  238. return ""!
  239. String function get_service_id(name : String):
  240. core = import_node(core_model_location)
  241. Element services
  242. String service
  243. services = allInstances(core, "Service")
  244. while (set_len(services) > 0):
  245. service = set_pop(services)
  246. if (value_eq(read_attribute(core, service, "name"), name)):
  247. return service!
  248. return ""!
  249. String function get_user_id(name : String):
  250. Element users
  251. String user
  252. users = allInstances(core, "User")
  253. while (set_len(users) > 0):
  254. user = set_pop(users)
  255. if (value_eq(read_attribute(core, user, "name"), name)):
  256. return user!
  257. return ""!
  258. String function get_group_id(name : String):
  259. Element groups
  260. String group
  261. groups = allInstances(core, "Group")
  262. while (set_len(groups) > 0):
  263. group = set_pop(groups)
  264. if (value_eq(read_attribute(core, group, "name"), name)):
  265. return group!
  266. return ""!
  267. String function create_folders(user_id : String, folder_name : String):
  268. Element hierarchy
  269. Integer i
  270. String prev
  271. String elem
  272. String new_entry
  273. String cummul
  274. if (get_entry_id(folder_name) != ""):
  275. // Folders already exist, so don't iterate
  276. return get_entry_id(folder_name)!
  277. i = 0
  278. hierarchy = string_split(folder_name, "/")
  279. prev = get_entry_id("")
  280. cummul = ""
  281. // Go through folders first
  282. while (i < list_len(hierarchy)):
  283. elem = list_read(hierarchy, i)
  284. if (cummul == ""):
  285. cummul = elem
  286. else:
  287. cummul = string_join(cummul + "/", elem)
  288. if (get_entry_id(cummul) == ""):
  289. if (allow_write(user_id, prev)):
  290. // Element does not exist yet!
  291. new_entry = instantiate_node(core, "Folder", "")
  292. instantiate_attribute(core, new_entry, "name", cummul)
  293. instantiate_attribute(core, new_entry, "permissions", "200")
  294. instantiate_link(core, "contains", "", prev, new_entry)
  295. instantiate_link(core, "group", "", new_entry, get_group_id("nobody"))
  296. instantiate_link(core, "owner", "", new_entry, user_id)
  297. else:
  298. return read_root()!
  299. prev = get_entry_id(cummul)
  300. i = i + 1
  301. return prev!
  302. String function store_entry(model_id : String, full_name : String, user_id : String):
  303. String prev
  304. if (get_entry_id(full_name) != ""):
  305. // Delete any old models
  306. model_delete(get_entry_id(full_name))
  307. prev = create_folders(user_id, get_foldername(full_name))
  308. instantiate_link(core, "contains", "", prev, model_id)
  309. return full_name!
  310. String function export_typing(model : Element, name : String):
  311. String result
  312. result = instantiate_node(core, "TypeMapping", "")
  313. name = "type mappings/" + name
  314. // Create type mapping model
  315. String location
  316. location = "type mappings/" + cast_id(get_type_mapping(model))
  317. export_node(location, get_type_mapping(model))
  318. String instance_of
  319. name = store_entry(result, name, get_user_id("admin"))
  320. instantiate_attribute(core, result, "name", name)
  321. instantiate_attribute(core, result, "location", location)
  322. instantiate_attribute(core, result, "permissions", "200")
  323. instantiate_link(core, "owner", "", result, current_user_id)
  324. instantiate_link(core, "group", "", result, get_group_id("nobody"))
  325. instance_of = instantiate_link(core, "instanceOf", "", result, get_entry_id("formalisms/TypeMapping"))
  326. instantiate_link(core, "semantics", "", instance_of, get_entry_id("models/conformance_mv"))
  327. return result!
  328. Void function model_create(model : Element, name : String, type_id : String, kind : String):
  329. String location
  330. String model_id
  331. String instance_of
  332. // Create model itself
  333. location = "models/" + cast_id(model)
  334. export_node(location, model["model"])
  335. model_id = instantiate_node(core, kind, "")
  336. instantiate_attribute(core, model_id, "name", store_entry(model_id, name, current_user_id))
  337. instantiate_attribute(core, model_id, "location", location)
  338. instantiate_attribute(core, model_id, "permissions", "200")
  339. instantiate_link(core, "owner", "", model_id, current_user_id)
  340. instantiate_link(core, "group", "", model_id, get_group_id("nobody"))
  341. instance_of = instantiate_link(core, "instanceOf", "", model_id, type_id)
  342. instantiate_link(core, "semantics", "", instance_of, get_entry_id("models/conformance_mv"))
  343. // Create type mapping model
  344. instantiate_link(core, "typing", "", instance_of, export_typing(model, name))
  345. return!
  346. Void function model_overwrite(model : Element, model_id : String, metamodel_id : String):
  347. // TODO this should be more elegant than just hiding the old elements
  348. String location
  349. String instanceOf_link
  350. location = "models/" + cast_id(model)
  351. export_node(location, model["model"])
  352. // Change location in meta-data
  353. unset_attribute(core, model_id, "location")
  354. instantiate_attribute(core, model_id, "location", location)
  355. // Update the instanceOf relation of the context in which we are working
  356. String choice
  357. choice = get_instanceOf_link(model_id, metamodel_id)
  358. if (element_neq(choice, read_root())):
  359. // There was a link, so we remove it
  360. // First remove the type mapping it referred to
  361. Element tl
  362. tl = allAssociationDestinations(core, choice, "typing")
  363. while (set_len(tl) > 0):
  364. model_delete_element(core, set_pop(tl))
  365. // Now delete the element itself
  366. model_delete_element(core, choice)
  367. // Create a new instanceOf relation now
  368. String instance_of
  369. instance_of = instantiate_link(core, "instanceOf", "", model_id, metamodel_id)
  370. instantiate_link(core, "semantics", "", instance_of, get_entry_id("models/conformance_mv"))
  371. instantiate_link(core, "typing", "", instance_of, export_typing(model, full_name(model_id)))
  372. return!
  373. Boolean function check_conformance(model_id : String):
  374. // TODO check if it actually conforms, considering that instanceOf link
  375. // --> in-depth check
  376. return True!
  377. Element function merge_models(models_dict : Element, operation_name : String):
  378. core = import_node(core_model_location)
  379. // 0) Find operation signature
  380. Element input_metamodels
  381. Element iter
  382. String edge
  383. String operation_id
  384. operation_id = get_entry_id(operation_name)
  385. input_metamodels = dict_create()
  386. iter = allOutgoingAssociationInstances(core, operation_id, "transformInput")
  387. while (set_len(iter) > 0):
  388. edge = set_pop(iter)
  389. dict_add(input_metamodels, read_attribute(core, edge, "name"), read_attribute(core, readAssociationDestination(core, edge), "name"))
  390. String merged_metamodel_id
  391. String trace_link_id
  392. Element trace_links
  393. // 1) Find merged metamodel
  394. trace_links = allOutgoingAssociationInstances(core, operation_id, "tracability")
  395. merged_metamodel_id = ""
  396. while (set_len(trace_links) > 0):
  397. trace_link_id = set_pop(trace_links)
  398. if (value_eq(read_attribute(core, trace_link_id, "type"), "operatesOn")):
  399. merged_metamodel_id = readAssociationDestination(core, trace_link_id)
  400. // 2) Merge source models
  401. if (merged_metamodel_id != ""):
  402. Element model_tuples
  403. Element keys
  404. String key
  405. Element mm
  406. model_tuples = set_create()
  407. keys = dict_keys(models_dict)
  408. while (set_len(keys) > 0):
  409. key = set_pop(keys)
  410. mm = get_full_model(get_entry_id(models_dict[key]), get_entry_id(input_metamodels[key]))
  411. if (element_eq(mm, read_root())):
  412. log("Signature mismatch in operation for tag " + key)
  413. output("Signature mismatch in operation for tag " + key)
  414. return read_root()!
  415. set_add_node(model_tuples, create_tuple(key, mm))
  416. Element merged_metamodel
  417. merged_metamodel = get_full_model(merged_metamodel_id, get_entry_id("SimpleClassDiagrams"))
  418. if (element_eq(merged_metamodel, read_root())):
  419. log("Merged metamodel in operation is not of type SimpleClassDiagrams")
  420. output("Merged metamodel in operation is not of type SimpleClassDiagrams")
  421. return read_root()!
  422. return model_join(model_tuples, merged_metamodel, read_root())!
  423. else:
  424. return read_root()!
  425. Element function split_model(model : Element, metamodels_dict : Element):
  426. core = import_node(core_model_location)
  427. Element model_tuples
  428. Element keys
  429. String key
  430. Element mm
  431. model_tuples = set_create()
  432. keys = dict_keys(metamodels_dict)
  433. while (set_len(keys) > 0):
  434. key = set_pop(keys)
  435. mm = get_full_model(get_entry_id(metamodels_dict[key]), get_entry_id("SimpleClassDiagrams"))
  436. if (element_eq(mm, read_root())):
  437. log("Output metamodel cannot be interpreted using SimpleClassDiagrams: " + key)
  438. output("Output metamodel cannot be interpreted using SimpleClassDiagrams: " + key)
  439. return read_root()!
  440. set_add_node(model_tuples, create_tuple(key, mm))
  441. return model_split(model, model_tuples, read_root())!
  442. Element function get_model(model_name : String, metamodel_name : String):
  443. core = import_node(core_model_location)
  444. return get_full_model(get_entry_id(model_name), get_entry_id(metamodel_name))!
  445. Void function store_model(model_name : String, metamodel_name : String, model : Element):
  446. core = import_node(core_model_location)
  447. if (get_entry_id(model_name) == ""):
  448. // New model
  449. model_create(model, model_name, get_entry_id(metamodel_name), "Model")
  450. else:
  451. model_overwrite(model, get_entry_id(model_name), get_entry_id(metamodel_name))
  452. return!
  453. String function get_ramified_metamodel(model_name : String):
  454. core = import_node(core_model_location)
  455. String operation_id
  456. Element trace_links
  457. String merged_metamodel_id
  458. String trace_link_id
  459. String ramified_metamodel_id
  460. operation_id = get_entry_id(model_name)
  461. trace_links = allOutgoingAssociationInstances(core, operation_id, "tracability")
  462. merged_metamodel_id = ""
  463. while (set_len(trace_links) > 0):
  464. trace_link_id = set_pop(trace_links)
  465. if (value_eq(read_attribute(core, trace_link_id, "type"), "operatesOn")):
  466. merged_metamodel_id = readAssociationDestination(core, trace_link_id)
  467. trace_links = allOutgoingAssociationInstances(core, merged_metamodel_id, "tracability")
  468. ramified_metamodel_id = ""
  469. while (set_len(trace_links) > 0):
  470. trace_link_id = set_pop(trace_links)
  471. if (value_eq(read_attribute(core, trace_link_id, "type"), "RAMified")):
  472. ramified_metamodel_id = readAssociationDestination(core, trace_link_id)
  473. return read_attribute(core, ramified_metamodel_id, "name")!
  474. return read_root()!
  475. Element function execute_operation(operation_id : String, input_models : Element, tracability_model : Element):
  476. // Operations are always in-place and uses only a single metamodel
  477. // Therefore, we must:
  478. // 1) Find merged metamodel
  479. // 2) Merge the different source models and retype
  480. // 3) Perform the operation on the merged model
  481. // 4) Split the resulting model based on the target formalisms; if operation successful
  482. Element input_model
  483. String trace_link_id
  484. Element merged_model
  485. String merged_metamodel_id
  486. String ramified_metamodel_id
  487. Boolean result
  488. String exact_type
  489. Element trace_links
  490. String model_ID
  491. String key
  492. Element keys
  493. Element input_keys
  494. Element output_keys
  495. Element model_tuples
  496. String metamodel_name
  497. Element metamodel
  498. String metamodel_ID
  499. Boolean tracability
  500. // 0) Find the signature of the operation
  501. Element input_metamodels
  502. Element output_metamodels
  503. Element iter
  504. String edge
  505. input_metamodels = dict_create()
  506. iter = allOutgoingAssociationInstances(core, operation_id, "transformInput")
  507. while (set_len(iter) > 0):
  508. edge = set_pop(iter)
  509. dict_add(input_metamodels, read_attribute(core, edge, "name"), full_name(readAssociationDestination(core, edge)))
  510. output_metamodels = dict_create()
  511. iter = allOutgoingAssociationInstances(core, operation_id, "transformOutput")
  512. while (set_len(iter) > 0):
  513. edge = set_pop(iter)
  514. dict_add(output_metamodels, read_attribute(core, edge, "name"), full_name(readAssociationDestination(core, edge)))
  515. // 1) Find merged metamodel
  516. exact_type = read_type(core, operation_id)
  517. trace_links = allOutgoingAssociationInstances(core, operation_id, "tracability")
  518. merged_metamodel_id = ""
  519. while (set_len(trace_links) > 0):
  520. trace_link_id = set_pop(trace_links)
  521. if (value_eq(read_attribute(core, trace_link_id, "type"), "operatesOn")):
  522. merged_metamodel_id = readAssociationDestination(core, trace_link_id)
  523. // 2) Merge source models
  524. if (merged_metamodel_id != ""):
  525. model_tuples = set_create()
  526. keys = dict_keys(input_models)
  527. while (set_len(keys) > 0):
  528. key = set_pop(keys)
  529. Element mm
  530. if (get_entry_id(input_models[key]) == ""):
  531. // Input model doesn't exist yet, so create
  532. cmd_model_add(input_metamodels[key], input_models[key], "")
  533. log("Creating non-existing input model")
  534. mm = get_full_model(get_entry_id(input_models[key]), get_entry_id(input_metamodels[key]))
  535. if (element_eq(mm, read_root())):
  536. log("Signature mismatch in operation for tag " + key)
  537. output("Signature mismatch in operation for tag " + key)
  538. return read_root()!
  539. set_add_node(model_tuples, create_tuple(key, mm))
  540. Element merged_metamodel
  541. merged_metamodel = get_full_model(merged_metamodel_id, get_entry_id("formalisms/SimpleClassDiagrams"))
  542. if (element_eq(merged_metamodel, read_root())):
  543. log("Merged metamodel in operation is not of type formalisms/SimpleClassDiagrams")
  544. output("Merged metamodel in operation is not of type formalisms/SimpleClassDiagrams")
  545. return read_root()!
  546. merged_model = model_join(model_tuples, merged_metamodel, tracability_model)
  547. else:
  548. if (bool_and(dict_len(input_models) == 1, dict_len(output_metamodels) == 0)):
  549. // Just skip the merge...
  550. Element m
  551. m = get_full_model(get_entry_id(input_models[set_pop(dict_keys(input_models))]), get_entry_id(input_metamodels[set_pop(dict_keys(input_metamodels))]))
  552. if (element_eq(m, read_root())):
  553. log("Signature mismatch in operation for tag " + cast_value(set_pop(dict_keys(input_models))))
  554. output("Signature mismatch in operation for tag " + cast_value(set_pop(dict_keys(input_models))))
  555. return read_root()!
  556. merged_model = model_copy(m)
  557. elif (bool_and(dict_len(input_models) == 0, dict_len(output_metamodels) == 0)):
  558. merged_model = read_root()
  559. else:
  560. log("Could not resolve intermediate merged metamodel")
  561. output("Could not resolve intermediate merged metamodel")
  562. return read_root()!
  563. // 3) Transform
  564. if (exact_type == "ModelTransformation"):
  565. trace_links = allOutgoingAssociationInstances(core, merged_metamodel_id, "tracability")
  566. ramified_metamodel_id = ""
  567. while (set_len(trace_links) > 0):
  568. trace_link_id = set_pop(trace_links)
  569. if (value_eq(read_attribute(core, trace_link_id, "type"), "RAMified")):
  570. ramified_metamodel_id = readAssociationDestination(core, trace_link_id)
  571. Element operation
  572. operation = get_full_model(operation_id, ramified_metamodel_id)
  573. if (element_eq(operation, read_root())):
  574. log("Operation could not be typed by specified RAMified metamodel!")
  575. output("Operation could not be typed by specified RAMified metamodel!")
  576. return read_root()!
  577. result = transform(merged_model, operation)
  578. elif (exact_type == "ManualOperation"):
  579. output("Please perform manual operation " + cast_value(full_name(operation_id)))
  580. String model_name
  581. model_name = ""
  582. while (get_entry_id(model_name) != ""):
  583. model_name = ".tmp/" + random_string(20)
  584. model_create(merged_model, model_name, merged_metamodel_id, "Model")
  585. // We want to modify, so modify
  586. do_spawn_modify(model_name, True)
  587. merged_model = get_full_model(get_entry_id(model_name), merged_metamodel_id)
  588. //model_delete(get_entry_id(model_name))
  589. result = True
  590. elif (exact_type == "ActionLanguage"):
  591. Element func
  592. Element al
  593. al = get_full_model(operation_id, get_entry_id("formalisms/ActionLanguage"))
  594. if (element_eq(al, read_root())):
  595. log("Action Language operation not typed by ActionLanguage metamodel!")
  596. output("Action Language operation not typed by ActionLanguage metamodel!")
  597. return read_root()!
  598. func = get_func_AL_model(al)
  599. result = func(merged_model)
  600. else:
  601. log("Unknown type of operation: " + exact_type)
  602. output("Unknown type of operation: " + exact_type)
  603. return read_root()!
  604. // 4) Split in different models depending on type
  605. if (element_neq(tracability_model, read_root())):
  606. tracability = True
  607. else:
  608. tracability = False
  609. if (result):
  610. model_tuples = set_create()
  611. keys = dict_keys(output_metamodels)
  612. while (set_len(keys) > 0):
  613. key = set_pop(keys)
  614. Element mm
  615. mm = get_full_model(get_entry_id(output_metamodels[key]), get_entry_id("formalisms/SimpleClassDiagrams"))
  616. if (element_eq(mm, read_root())):
  617. log("Output metamodel cannot be interpreted using formalisms/SimpleClassDiagrams: " + key)
  618. output("Output metamodel cannot be interpreted using formalisms/SimpleClassDiagrams: " + key)
  619. return read_root()!
  620. set_add_node(model_tuples, create_tuple(key, mm))
  621. result = model_split(merged_model, model_tuples, tracability)
  622. if (tracability):
  623. Element new_tracability_model
  624. new_tracability_model = result["__tracability"]
  625. dict_overwrite(tracability_model, "model", new_tracability_model["model"])
  626. set_type_mapping(tracability_model, get_type_mapping(new_tracability_model))
  627. dict_overwrite(tracability_model, "metamodel", new_tracability_model["metamodel"])
  628. dict_delete(result, "__tracability")
  629. return result!
  630. else:
  631. log("Negative result of execution")
  632. return read_root()!
  633. Boolean function enact_action(pm : Element, element : String, mapping : Element):
  634. Boolean result
  635. String transformation_id
  636. Element lst
  637. String elem
  638. Element inputs
  639. Element outputs
  640. String type_name
  641. String exact_type
  642. Element trace_links
  643. Element output_mms
  644. Element consumes_link
  645. String name
  646. String elem_name
  647. Element keys
  648. String key
  649. String consume
  650. String produce
  651. Element input_traceability_model
  652. String output_traceability_name
  653. String output_traceability_type
  654. Element output_map
  655. inputs = dict_create()
  656. outputs = dict_create()
  657. output_map = dict_create()
  658. input_traceability_model = read_root()
  659. output_traceability_name = read_root()
  660. output_traceability_type = read_root()
  661. // Read out the referenced element from the MvC
  662. transformation_id = get_entry_id(read_attribute(pm, element, "name"))
  663. // Find all input model names
  664. lst = allOutgoingAssociationInstances(pm, element, "Consumes")
  665. while (set_len(lst) > 0):
  666. consume = set_pop(lst)
  667. elem = readAssociationDestination(pm, consume)
  668. type_name = read_attribute(pm, elem, "type")
  669. elem_name = read_attribute(pm, elem, "name")
  670. if (cast_string(read_attribute(pm, consume, "name")) == "__traceability"):
  671. log("Using input traceability model!")
  672. log("Mapping: " + cast_string(mapping[elem_name]))
  673. log("Type: " + cast_string(type_name))
  674. log("Entry mapping: " + get_entry_id(mapping[elem_name]))
  675. log("Entry type: " + get_entry_id(type_name))
  676. input_traceability_model = model_copy(get_full_model(get_entry_id(mapping[elem_name]), get_entry_id(type_name)))
  677. output_traceability_type = type_name
  678. else:
  679. dict_add(inputs, read_attribute(pm, consume, "name"), mapping[elem_name])
  680. // Find all output model names and their metamodel
  681. lst = allOutgoingAssociationInstances(pm, element, "Produces")
  682. while (set_len(lst) > 0):
  683. produce = set_pop(lst)
  684. elem = readAssociationDestination(pm, produce)
  685. type_name = read_attribute(pm, elem, "type")
  686. elem_name = read_attribute(pm, elem, "name")
  687. if (cast_string(read_attribute(pm, produce, "name")) == "__traceability"):
  688. output_traceability_name = mapping[elem_name]
  689. else:
  690. dict_add(outputs, read_attribute(pm, produce, "name"), type_name)
  691. dict_add(output_map, read_attribute(pm, produce, "name"), mapping[elem_name])
  692. if read_type(core, transformation_id) == "ActionLanguage":
  693. log(string_join("Enacting ActionLanguage: ", read_attribute(pm, element, "name")))
  694. output("Success: ready for AL execution")
  695. elif read_type(core, transformation_id) == "ManualOperation":
  696. log(string_join("Enacting ManualOperation: ", read_attribute(pm, element, "name")))
  697. output("Success: ready for MANUAL execution")
  698. else:
  699. log(string_join("Enacting ModelTransformation: ", read_attribute(pm, element, "name")))
  700. output("Success: ready for MT execution")
  701. result = execute_operation(transformation_id, inputs, input_traceability_model)
  702. if (element_eq(result, read_root())):
  703. // Something went wrong!
  704. output("Failure")
  705. return False!
  706. else:
  707. // Check if we have to store traceability information
  708. if (element_neq(output_traceability_name, read_root())):
  709. // Yes, so store it
  710. // Note that we have overwritten the previous input traceability model, which is why it was a copy
  711. model_overwrite(input_traceability_model, get_entry_id(output_traceability_name), get_entry_id(output_traceability_type))
  712. log("Writing output traceability model!")
  713. keys = dict_keys(outputs)
  714. while (set_len(keys) > 0):
  715. key = set_pop(keys)
  716. log("Overwriting model at " + key)
  717. log("Read from result: " + cast_id(result[key]))
  718. if (get_entry_id(output_map[key]) == ""):
  719. // New model
  720. model_create(result[key], output_map[key], get_entry_id(outputs[key]), "Model")
  721. else:
  722. model_overwrite(result[key], get_entry_id(output_map[key]), get_entry_id(outputs[key]))
  723. output("Success")
  724. return True!
  725. Element function PM_signature(pm : Element):
  726. Element all_data
  727. Element result
  728. String entry
  729. result = dict_create()
  730. all_data = allInstances(pm, "Data")
  731. while (set_len(all_data) > 0):
  732. entry = set_pop(all_data)
  733. dict_add(result, cast_string(read_attribute(pm, entry, "name")), cast_string(read_attribute(pm, entry, "type")))
  734. return result!
  735. Void function enact_PM_activity(activity_to_task : Element, task_to_result : Element, pm : Element, element : String, mapping : Element):
  736. Boolean result
  737. pm_tasks = activity_to_task
  738. log("Spawned activity with ID " + element)
  739. log("Assigned to global pm_tasks: " + dict_to_string(pm_tasks))
  740. set_add(activity_to_task[element], get_taskname())
  741. log("Simulation activities: " + set_to_string(pm_tasks["simulate"]))
  742. log("Spawn task for activity " + cast_string(read_attribute(pm, element, "name")))
  743. result = enact_action(pm, element, mapping)
  744. dict_add_fast(task_to_result, get_taskname(), result)
  745. log("Finished task for activity " + cast_string(read_attribute(pm, element, "name")))
  746. while (other_has_output(get_taskname())):
  747. sleep(1)
  748. return!
  749. Void function enact_PM(pm : Element, mapping : Element):
  750. Element worklist
  751. String element
  752. String type
  753. Boolean result
  754. Element tuple
  755. Element counters
  756. Element join_nodes
  757. Element exec_nodes
  758. Element keys
  759. String key
  760. output("Success")
  761. // For all entries in the signature, not in the mapping, we add a mock location
  762. Element signature
  763. String mock_location
  764. Element mock_locations
  765. mock_locations = set_create()
  766. signature = PM_signature(pm)
  767. keys = dict_keys(signature)
  768. while (set_len(keys) > 0):
  769. key = set_pop(keys)
  770. if (bool_not(dict_in(mapping, key))):
  771. // Add mock location
  772. mock_location = ""
  773. while (get_entry_id(mock_location) != ""):
  774. mock_location = ".tmp/" + random_string(10)
  775. dict_add(mapping, key, mock_location)
  776. cmd_model_add(signature[key], mapping[key], "")
  777. set_add(mock_locations, mock_location)
  778. // Initialize Join counters
  779. counters = dict_create()
  780. join_nodes = allInstances(pm, "Join")
  781. while (set_len(join_nodes) > 0):
  782. dict_add(counters, set_pop(join_nodes), 0)
  783. // Initialize activity to task dictionary with empty sets
  784. Element activity_to_task
  785. Element task_to_activity
  786. Element task_to_result
  787. activity_to_task = dict_create()
  788. task_to_activity = dict_create()
  789. task_to_result = dict_create()
  790. exec_nodes = allInstances(pm, "Exec")
  791. while (set_len(exec_nodes) > 0):
  792. dict_add(activity_to_task, set_pop(exec_nodes), set_create())
  793. // Create the worklist with the Start instance as first element
  794. worklist = set_create()
  795. set_add(worklist, set_pop(allInstances(pm, "Start")))
  796. // Keep on iterating until we reach finish
  797. while (True):
  798. // Check if there are PM elements to expand
  799. if (set_len(worklist) > 0):
  800. // There is something we can do, so do it!
  801. element = set_pop(worklist)
  802. // Find the type (to see what to do with it)
  803. // this does not yet yield the type of transformation, if it is an Execution
  804. type = read_type(pm, element)
  805. // Some types have nothing to do, such as start and fork
  806. // Therefore, they are not mentioned in the following conditional
  807. if (type == "Finish"):
  808. // We have finished, so terminate
  809. log("Finished node reached!")
  810. break!
  811. elif (type == "Join"):
  812. // Only do this if all dependencies are fullfilled
  813. // So add to the counter of this Join
  814. dict_overwrite(counters, element, integer_addition(counters[element], 1))
  815. // Now check whether we have enough tokens to execute the Join itself
  816. Integer required
  817. Integer got
  818. required = set_len(allIncomingAssociationInstances(pm, element, "Next")) + set_len(allIncomingAssociationInstances(pm, element, "Else"))
  819. got = counters[element]
  820. if (got == required):
  821. // Reset counter to 0
  822. dict_overwrite(counters, element, 0)
  823. // And continue
  824. else:
  825. // We haven't gotten all yet, so we wait (i.e., continue without adding Next link to worklist)
  826. continue!
  827. elif (type == "Exec"):
  828. // Execute a transformation
  829. // This the difficult part!
  830. Element args
  831. String taskname
  832. args = list_create()
  833. list_append(args, activity_to_task)
  834. list_append(args, task_to_result)
  835. list_append(args, pm)
  836. list_append(args, element)
  837. list_append(args, mapping)
  838. taskname = spawn(enact_PM_activity, args)
  839. output(taskname + " : " + cast_string(read_attribute(pm, element, "name")))
  840. dict_add(task_to_activity, taskname, element)
  841. continue!
  842. // We have finished the execution, so add all outgoing edges to the worklist
  843. Element all_next
  844. all_next = allAssociationDestinations(pm, element, "Next")
  845. String next
  846. while (set_len(all_next) > 0):
  847. next = set_pop(all_next)
  848. set_add(worklist, next)
  849. else:
  850. // No new tasks to spawn, so go and check on all running activities
  851. if (dict_len(task_to_result) > 0):
  852. // There are outputs!
  853. Element keys
  854. String task
  855. keys = dict_keys(task_to_result)
  856. while (set_len(keys) > 0):
  857. task = set_pop(keys)
  858. result = task_to_result[task]
  859. Element all_next
  860. all_next = allAssociationDestinations(pm, task_to_activity[task], "Next")
  861. String next
  862. while (set_len(all_next) > 0):
  863. next = set_pop(all_next)
  864. if (read_type(pm, next) == "Decision"):
  865. // Got decision node, so expand immediately
  866. if (result):
  867. set_add(worklist, set_pop(allAssociationDestinations(pm, next, "Then")))
  868. else:
  869. set_add(worklist, set_pop(allAssociationDestinations(pm, next, "Else")))
  870. else:
  871. // Other node, so just append for further processing
  872. set_add(worklist, next)
  873. set_remove(activity_to_task[task_to_activity[task]], task)
  874. dict_delete(task_to_result, task)
  875. dict_delete(task_to_activity, task)
  876. else:
  877. // No finished activities either, so we sleep for some time
  878. sleep(0.1)
  879. // Remove all mock locations again
  880. while (set_len(mock_locations) > 0):
  881. model_delete(get_entry_id(set_pop(mock_locations)))
  882. return !
  883. String function cmd_help():
  884. String result
  885. result = ""
  886. result = result + ("Model operations\n")
  887. result = result + (" model_add -- Add a new model\n")
  888. result = result + (" model_modify -- Modify an existing model\n")
  889. result = result + (" model_list -- List all models\n")
  890. result = result + (" model_list_full -- List all models with full info\n")
  891. result = result + (" model_overwrite -- Overwrites a model with an uploaded model, leaving all metadata\n")
  892. result = result + (" model_render -- Render a given model with a specified mapper\n")
  893. result = result + (" verify -- Check whether a model conforms to its metamodel\n")
  894. result = result + ("\n")
  895. result = result + ("Transformation-specific operations\n")
  896. result = result + (" transformation_add_MT -- Initialize a new model transformation\n")
  897. result = result + (" transformation_add_AL -- Initialize a new action language transformation\n")
  898. result = result + (" transformation_add_MANUAL -- Initialize a new manual transformation\n")
  899. result = result + (" transformation_execute -- Execute a transformation on a set of input models\n")
  900. result = result + (" transformation_list -- List all model transformations\n")
  901. result = result + (" transformation_list_full -- List all model transformations with permissions\n")
  902. result = result + (" transformation_detail -- List transformation details\n")
  903. result = result + (" transformation_between -- List all transformations between two metamodels\n")
  904. result = result + ("\n")
  905. result = result + ("Process operations\n")
  906. result = result + (" process_execute -- Execute a process model\n")
  907. result = result + ("\n")
  908. result = result + ("Model permission operations\n")
  909. result = result + (" permission_modify -- Change model permissions\n")
  910. result = result + (" permission_owner -- Change model owner\n")
  911. result = result + (" permission_group -- Change model group\n")
  912. result = result + ("\n")
  913. result = result + ("Group operations\n")
  914. result = result + (" group_create -- Create a group\n")
  915. result = result + (" group_delete -- Delete a group\n")
  916. result = result + (" group_owner_add -- Add group owner\n")
  917. result = result + (" group_owner_delete -- Remove group owner\n")
  918. result = result + (" group_join -- Add someone to your group\n")
  919. result = result + (" group_kick -- Kick someone from your group\n")
  920. result = result + (" group_list -- List all groups you are a member of\n")
  921. result = result + ("\n")
  922. if (is_admin(current_user_id)):
  923. result = result + ("Admin operations\n")
  924. result = result + (" admin_promote -- Promote a user to admin status\n")
  925. result = result + (" admin_demote -- Demote a user to normal status\n")
  926. result = result + ("\n")
  927. result = result + ("General operations\n")
  928. result = result + (" self-destruct -- Remove current user and revoke all permissions \n")
  929. result = result + (" exit -- Kill the current task, while retaining user\n")
  930. return result!
  931. String function cmd_model_add(type : String, name : String, code : String):
  932. // Model addition operation, which uses model upload commands of the compiler
  933. String location
  934. String type_id
  935. Element new_model
  936. String new_model_id
  937. type_id = get_entry_id(type)
  938. if (type_id != ""):
  939. // Type exists
  940. if (allow_read(current_user_id, type_id)):
  941. // And is readable
  942. create_folders(current_user_id, get_foldername(name))
  943. //TODO check if bottommost existing model was writable by us
  944. if (get_entry_id(name) == ""):
  945. // Model doesn't exist yet
  946. Element mm
  947. mm = get_full_model(type_id, get_entry_id("formalisms/SimpleClassDiagrams"))
  948. if (element_eq(mm, read_root())):
  949. return "Type is not typed by formalisms/SimpleClassDiagrams: " + type!
  950. new_model = compile_model(code, mm)
  951. if (element_eq(new_model, read_root())):
  952. return "Compilation error"!
  953. model_create(new_model, name, type_id, "Model")
  954. return "Success"!
  955. else:
  956. return "Model exists: " + name!
  957. else:
  958. return "Permission denied to model: " + type!
  959. else:
  960. return "Model not found: " + type!
  961. String function cmd_process_execute(process : String, mapping : Element):
  962. // Execute a process model until it reaches termination
  963. String process_id
  964. process_id = get_entry_id(process)
  965. if (process_id != ""):
  966. if (allow_read(current_user_id, process_id)):
  967. Element pm
  968. pm = get_full_model(process_id, get_entry_id("formalisms/ProcessModel"))
  969. if (element_eq(pm, read_root())):
  970. return "Specified model cannot be interpreted as a ProcessModel: " + process!
  971. enact_PM(pm, mapping)
  972. return "Success"!
  973. else:
  974. return "Permission denied to model: " + process!
  975. else:
  976. return "Model not found: " + process!
  977. String function cmd_process_signature(process : String):
  978. // Execute a process model until it reaches termination
  979. String process_id
  980. String result
  981. Element signature
  982. Element keys
  983. String key
  984. process_id = get_entry_id(process)
  985. if (process_id != ""):
  986. if (allow_read(current_user_id, process_id)):
  987. Element pm
  988. pm = get_full_model(process_id, get_entry_id("formalisms/ProcessModel"))
  989. if (element_eq(pm, read_root())):
  990. return "Specified model cannot be interpreted as a ProcessModel: " + process!
  991. result = "Success: "
  992. signature = PM_signature(pm)
  993. keys = dict_keys(signature)
  994. while (set_len(keys) > 0):
  995. key = set_pop(keys)
  996. result = result + key + " : " + cast_string(signature[key]) + "\n"
  997. return result!
  998. else:
  999. return "Permission denied to model: " + process!
  1000. else:
  1001. return "Model not found: " + process!
  1002. String function cmd_transformation_between(source_dict : String, target_dict : String):
  1003. Element result
  1004. Element subresult
  1005. String tag
  1006. String mm
  1007. String mm_id
  1008. Element links
  1009. String link
  1010. Element keys
  1011. result = allInstances(core, "Transformation")
  1012. // Iterate over all inputs
  1013. keys = dict_keys(source_dict)
  1014. while (set_len(keys) > 0):
  1015. subresult = set_create()
  1016. tag = set_pop(keys)
  1017. mm = source_dict[tag]
  1018. mm_id = get_entry_id(mm)
  1019. if (mm_id != ""):
  1020. links = allIncomingAssociationInstances(core, mm_id, "transformInput")
  1021. while (set_len(links) > 0):
  1022. link = set_pop(links)
  1023. if (value_eq(read_attribute(core, link, "name"), tag)):
  1024. // Correct tag, so make transformation a possibility
  1025. set_add(subresult, readAssociationSource(core, link))
  1026. else:
  1027. return "Model not found: " + mm!
  1028. // Got a set of subresults now, which we use to find the overlap
  1029. result = set_overlap(result, subresult)
  1030. keys = dict_keys(target_dict)
  1031. while (set_len(keys) > 0):
  1032. subresult = set_create()
  1033. tag = set_pop(keys)
  1034. mm = target_dict[tag]
  1035. mm_id = get_entry_id(mm)
  1036. if (mm_id != ""):
  1037. links = allIncomingAssociationInstances(core, mm_id, "transformOutput")
  1038. while (set_len(links) > 0):
  1039. link = set_pop(links)
  1040. if (value_eq(read_attribute(core, link, "name"), tag)):
  1041. // Correct tag, so make transformation a possibility
  1042. set_add(subresult, readAssociationSource(core, link))
  1043. else:
  1044. return "Model not found: " + mm!
  1045. // Got a set of subresults now, which we use to find the overlap
  1046. result = set_overlap(result, subresult)
  1047. String r
  1048. String transformation
  1049. r = "Success: "
  1050. while (set_len(result) > 0):
  1051. transformation = set_pop(result)
  1052. if (allow_read(current_user_id, transformation)):
  1053. r = r + string_join(full_name(transformation), "\n")
  1054. return r!
  1055. String function cmd_model_rendered(model_name : String, mapper_name : String):
  1056. Element trace_links
  1057. String rendered
  1058. String trace_link_id
  1059. String allowed_rendered
  1060. Element trace_links_2
  1061. String trace_link_2_id
  1062. allowed_rendered = "Success: "
  1063. trace_links = allOutgoingAssociationInstances(core, get_entry_id(model_name), "tracability")
  1064. while (set_len(trace_links) > 0):
  1065. trace_link_id = set_pop(trace_links)
  1066. if (value_eq(read_attribute(core, trace_link_id, "type"), "CS_perceptualized")):
  1067. rendered = readAssociationDestination(core, trace_link_id)
  1068. trace_links_2 = allOutgoingAssociationInstances(core, rendered, "tracability")
  1069. while (set_len(trace_links_2) > 0):
  1070. trace_link_2_id = set_pop(trace_links_2)
  1071. if (value_eq(read_attribute(core, readAssociationDestination(core, trace_link_2_id), "name"), mapper_name)):
  1072. if (value_eq(read_attribute(core, trace_link_2_id, "type"), "CS_mapper")):
  1073. allowed_rendered = string_join(allowed_rendered, read_attribute(core, rendered, "name")) + "\n"
  1074. return allowed_rendered!
  1075. String function cmd_model_render(model_name : String, mapper_name : String, rendered_name : String):
  1076. String model_ID
  1077. String mapper_ID
  1078. String tracability_name
  1079. Element inputs
  1080. Element output_map
  1081. Element rendered_model
  1082. Element tracability_model
  1083. Element result
  1084. Element out_links
  1085. String link
  1086. String ID_rendered_M
  1087. String ID_rendered_MM
  1088. String ID_SCD
  1089. String ID_tracability_MM
  1090. String ID_tracability_M
  1091. model_ID = get_entry_id(model_name)
  1092. if (model_ID != ""):
  1093. mapper_ID = get_entry_id(mapper_name)
  1094. if (allow_read(current_user_id, model_ID)):
  1095. if (mapper_ID != ""):
  1096. if (allow_read(current_user_id, mapper_ID)):
  1097. // Everything is fine; start the actual operation
  1098. // Find metamodel to render to
  1099. tracability_name = "tracability/" + rendered_name
  1100. // Take the abstract syntax model and the previously rendered model
  1101. inputs = dict_create()
  1102. dict_add(inputs, "abstract", model_name)
  1103. dict_add(inputs, "rendered", rendered_name)
  1104. // Fetch the output types
  1105. output_map = dict_create()
  1106. out_links = allOutgoingAssociationInstances(core, mapper_ID, "transformOutput")
  1107. while(set_len(out_links) > 0):
  1108. link = set_pop(out_links)
  1109. dict_add(output_map, read_attribute(core, link, "name"), full_name(readAssociationDestination(core, link)))
  1110. ID_rendered_MM = get_entry_id(output_map["rendered"])
  1111. ID_SCD = get_entry_id("formalisms/SimpleClassDiagrams")
  1112. ID_tracability_MM = get_entry_id("formalisms/Tracability")
  1113. ID_tracability_M = get_entry_id(tracability_name)
  1114. ID_rendered_M = get_entry_id(rendered_name)
  1115. if (ID_rendered_M == ""):
  1116. // Instantiate
  1117. Element rendered
  1118. rendered = get_full_model(ID_rendered_MM, ID_SCD)
  1119. if (element_eq(rendered, read_root())):
  1120. return "Rendered metamodel doesn't conform to formalisms/SimpleClassDiagrams"!
  1121. rendered_model = instantiate_model(rendered)
  1122. model_create(rendered_model, rendered_name, ID_rendered_MM, "Model")
  1123. // Tracability model won't exist either
  1124. tracability_model = instantiate_model(get_full_model(ID_tracability_MM, ID_SCD))
  1125. model_create(tracability_model, tracability_name, ID_tracability_MM, "Model")
  1126. ID_rendered_M = get_entry_id(rendered_name)
  1127. ID_tracability_M = get_entry_id(tracability_name)
  1128. else:
  1129. // Read out tracability model
  1130. tracability_model = get_full_model(ID_tracability_M, ID_tracability_MM)
  1131. if (element_eq(tracability_model, read_root())):
  1132. return "Tracability model not typed by Tracability metamodel: " + tracability_name!
  1133. // Do the operation itself!
  1134. result = execute_operation(mapper_ID, inputs, tracability_model)
  1135. // Overwrite the previous rendered model
  1136. model_overwrite(result["rendered"], ID_rendered_M, ID_rendered_MM)
  1137. // Tracability updated in-place
  1138. model_overwrite(tracability_model, ID_tracability_M, ID_tracability_MM)
  1139. if (element_eq(tracability_model, read_root())):
  1140. return "Tracability model not typed by Tracability metamodel: " + tracability_name!
  1141. // Link all information in the megamodel
  1142. String tr_link
  1143. tr_link = instantiate_link(core, "tracability", "", get_entry_id(model_name), ID_rendered_M)
  1144. instantiate_attribute(core, tr_link, "type", "CS_perceptualized")
  1145. tr_link = instantiate_link(core, "tracability", "", ID_rendered_M, get_entry_id(mapper_name))
  1146. instantiate_attribute(core, tr_link, "type", "CS_mapper")
  1147. // Output the resulting model
  1148. String value
  1149. value = JSON_print(result["rendered"])
  1150. return ("Success: " + value) !
  1151. else:
  1152. return "Permission denied to model: " + mapper_name!
  1153. else:
  1154. return "Model not found: " + mapper_name!
  1155. else:
  1156. return "Permission denied to model: " + model_name!
  1157. else:
  1158. return "Model not found: " + model_name!
  1159. Boolean function do_spawn_modify(model_name : String, write : Boolean):
  1160. output("Please edit this model before sending next input: " + model_name)
  1161. input()
  1162. return False!
  1163. Boolean function do_spawn_activity(transformation_id : String, tracability_name : String, inputs : Element, outputs : Element, output_map : Element):
  1164. Element lst
  1165. Element returnvalue
  1166. String taskname
  1167. lst = list_create()
  1168. returnvalue = set_create()
  1169. list_append(lst, returnvalue)
  1170. list_append(lst, transformation_id)
  1171. list_append(lst, tracability_name)
  1172. list_append(lst, inputs)
  1173. list_append(lst, outputs)
  1174. list_append(lst, output_map)
  1175. taskname = spawn(spawn_activity, lst)
  1176. output("Spawned activity on task: " + taskname)
  1177. while (set_len(returnvalue) == 0):
  1178. sleep(0.1)
  1179. output("Finished task: " + taskname)
  1180. return cast_boolean(set_pop(returnvalue))!
  1181. Void function spawn_activity(returnvalue : Element, transformation_id : String, tracability_name : String, inputs : Element, outputs : Element, output_map : Element):
  1182. Element result
  1183. Element keys
  1184. String key
  1185. if (read_type(core, transformation_id) == "ActionLanguage"):
  1186. output("Success: ready for AL execution")
  1187. elif (read_type(core, transformation_id) == "ManualOperation"):
  1188. output("Success: ready for MANUAL execution")
  1189. else:
  1190. output("Success: ready for MT execution")
  1191. // Do tracability
  1192. Element tracability_model
  1193. if (tracability_name != ""):
  1194. // Check if exists
  1195. if (get_entry_id(tracability_name) == ""):
  1196. // No, so create
  1197. tracability_model = instantiate_model(get_full_model(get_entry_id("formalisms/Tracability"), get_entry_id("formalisms/SimpleClassDiagrams")))
  1198. model_create(tracability_model, tracability_name, get_entry_id("formalisms/Tracability"), "Model")
  1199. else:
  1200. // Yes, so read out
  1201. tracability_model = get_full_model(get_entry_id(tracability_name), get_entry_id("formalisms/Tracability"))
  1202. else:
  1203. tracability_model = read_root()
  1204. result = execute_operation(transformation_id, inputs, tracability_model)
  1205. // Flush tracability again, just to be sure
  1206. if (tracability_name != ""):
  1207. model_overwrite(tracability_model, get_entry_id(tracability_name), get_entry_id("formalisms/Tracability"))
  1208. // Now write out the models again
  1209. if (element_eq(result, read_root())):
  1210. // Something went wrong!
  1211. set_add(returnvalue, False)
  1212. output("Failure")
  1213. else:
  1214. keys = dict_keys(outputs)
  1215. while (set_len(keys) > 0):
  1216. key = set_pop(keys)
  1217. if (get_entry_id(outputs[key]) == ""):
  1218. // New model
  1219. model_create(result[key], outputs[key], get_entry_id(output_map[key]), "Model")
  1220. else:
  1221. model_overwrite(result[key], get_entry_id(outputs[key]), get_entry_id(output_map[key]))
  1222. set_add(returnvalue, True)
  1223. output("Success")
  1224. while (other_has_output(get_taskname())):
  1225. sleep(1)
  1226. return!
  1227. String function cmd_transformation_execute(transformation_name : String, source_models : Element, target_models : Element, tracability_name : String):
  1228. // Execute a transformation, whatever type it is
  1229. // First we detect the type, so we know how to prepare for invocation
  1230. String transformation_id
  1231. String exact_type
  1232. Element sources
  1233. Element targets
  1234. String source
  1235. String target
  1236. Element inputs
  1237. Element outputs
  1238. Element output_map
  1239. Element trace_links
  1240. String target_model_name
  1241. String source_model_name
  1242. String source_model_ID
  1243. String assoc_name
  1244. transformation_id = get_entry_id(transformation_name)
  1245. if (transformation_id != ""):
  1246. if (allow_read(current_user_id, transformation_id)):
  1247. if (is_nominal_instance(core, transformation_id, "Transformation")):
  1248. // Read out source and target links
  1249. inputs = dict_create()
  1250. sources = allOutgoingAssociationInstances(core, transformation_id, "transformInput")
  1251. while (set_len(sources) > 0):
  1252. source = set_pop(sources)
  1253. assoc_name = read_attribute(core, source, "name")
  1254. if (dict_in(source_models, assoc_name)):
  1255. source_model_name = source_models[assoc_name]
  1256. else:
  1257. return "Source model not bound: " + assoc_name!
  1258. source_model_ID = get_entry_id(source_model_name)
  1259. if (source_model_ID != ""):
  1260. if (allow_read(current_user_id, source_model_ID)):
  1261. // Check for conformance to the requested metamodel
  1262. dict_add(inputs, assoc_name, source_model_name)
  1263. continue!
  1264. else:
  1265. return "Permission denied to model: " + source_model_name!
  1266. else:
  1267. return "Model not found: " + source_model_name!
  1268. targets = allOutgoingAssociationInstances(core, transformation_id, "transformOutput")
  1269. outputs = dict_create()
  1270. output_map = dict_create()
  1271. while (set_len(targets) > 0):
  1272. target = set_pop(targets)
  1273. assoc_name = read_attribute(core, target, "name")
  1274. if (dict_in(target_models, assoc_name)):
  1275. target_model_name = target_models[assoc_name]
  1276. if (get_entry_id(target_model_name) == ""):
  1277. // Doesn't exist yet, so we can easily create
  1278. if (get_entry_id(get_foldername(target_model_name)) == ""):
  1279. return "Folder not found: " + get_foldername(target_model_name)!
  1280. else:
  1281. if (allow_write(current_user_id, get_entry_id(get_foldername(target_model_name)))):
  1282. dict_add(output_map, assoc_name, full_name(readAssociationDestination(core, target)))
  1283. dict_add(outputs, assoc_name, target_model_name)
  1284. else:
  1285. return "Permission denied to folder: " + get_foldername(target_model_name)!
  1286. else:
  1287. // Already exists, so we need to check for write access
  1288. if (allow_write(current_user_id, get_entry_id(target_model_name))):
  1289. dict_add(output_map, assoc_name, read_attribute(core, readAssociationDestination(core, target), "name"))
  1290. dict_add(outputs, assoc_name, target_model_name)
  1291. else:
  1292. return "Permission denied to model: " + target_model_name!
  1293. if (do_spawn_activity(transformation_id, tracability_name, inputs, outputs, output_map)):
  1294. return "Success"!
  1295. else:
  1296. return "Failure"!
  1297. else:
  1298. return "Model is not executable: " + transformation_name!
  1299. else:
  1300. return "Permission denied to model: " + transformation_name!
  1301. else:
  1302. return "Model not found: " + transformation_name!
  1303. String function cmd_verify(model_name : String, metamodel_name : String):
  1304. // Check whether a model conforms to its specification (with the selected type mapping)
  1305. String model_id
  1306. String result
  1307. Element inputs
  1308. model_id = get_entry_id(model_name)
  1309. if (model_id != ""):
  1310. if (allow_read(current_user_id, model_id)):
  1311. if (get_entry_id(metamodel_name) != ""):
  1312. if (allow_read(current_user_id, get_entry_id(metamodel_name))):
  1313. Element m
  1314. m = get_full_model(get_entry_id(model_name), get_entry_id(metamodel_name))
  1315. if (element_eq(m, read_root())):
  1316. return "No conformance relation can be found between these models"!
  1317. return string_join("Success: ", conformance_scd(m))!
  1318. else:
  1319. return "Permission denied to model: " + metamodel_name!
  1320. else:
  1321. return "Model not found: " + metamodel_name!
  1322. else:
  1323. return "Permission denied to model: " + model_name!
  1324. else:
  1325. return "Model not found: " + model_name!
  1326. String function cmd_model_overwrite(model_name : String, metamodel_name : String):
  1327. // Overwrites an existing model without changing any metadata
  1328. String model_id
  1329. String type_id
  1330. Element new_model
  1331. model_id = get_entry_id(model_name)
  1332. if (model_id != ""):
  1333. if (allow_write(current_user_id, model_id)):
  1334. type_id = set_pop(allAssociationDestinations(core, model_id, "instanceOf"))
  1335. if (allow_read(current_user_id, type_id)):
  1336. Element mm
  1337. mm = get_full_model(get_entry_id(metamodel_name), get_entry_id("formalisms/SimpleClassDiagrams"))
  1338. if (element_eq(mm, read_root())):
  1339. return "Metamodel does not conform to formalisms/SimpleClassDiagrams: " + metamodel_name!
  1340. output("Waiting for model constructors...")
  1341. new_model = compile_model(input(), mm)
  1342. if (element_eq(new_model, read_root())):
  1343. return "Compilation error"!
  1344. model_overwrite(new_model, model_id, get_entry_id(metamodel_name))
  1345. return "Success"!
  1346. else:
  1347. return string_join("Permission denied to model: ", full_name(type_id))!
  1348. else:
  1349. return "Permission denied to model: " + model_name!
  1350. else:
  1351. return "Model not found: " + model_name!
  1352. String function cmd_model_modify(model_name : String, metamodel_name : String):
  1353. // Model modify operation, which uses the mini_modify.alc operations, though with extensions for access control
  1354. String model_id
  1355. String type_id
  1356. model_id = get_entry_id(model_name)
  1357. if (model_id != ""):
  1358. if (allow_read(current_user_id, model_id)):
  1359. type_id = set_pop(allAssociationDestinations(core, model_id, "instanceOf"))
  1360. if (allow_read(current_user_id, type_id)):
  1361. Element new_model
  1362. new_model = get_full_model(model_id, get_entry_id(metamodel_name))
  1363. if (element_eq(new_model, read_root())):
  1364. return "No conformance relation can be found between these models"!
  1365. modify(new_model, allow_write(current_user_id, model_id))
  1366. if (allow_write(current_user_id, model_id)):
  1367. // Overwrite the modified model
  1368. model_overwrite(new_model, model_id, get_entry_id(metamodel_name))
  1369. return "Success"!
  1370. else:
  1371. return string_join("Permission denied to model: ", full_name(type_id))!
  1372. else:
  1373. return "Permission denied to model: " + model_name!
  1374. else:
  1375. return "Model not found: " + model_name!
  1376. Void function model_delete(model_id : String):
  1377. if (read_type(core, model_id) == "Folder"):
  1378. // Folder, so delete all containing elements as well!
  1379. Element elems
  1380. elems = allAssociationDestinations(core, model_id, "contains")
  1381. while (set_len(elems) > 0):
  1382. model_delete(set_pop(elems))
  1383. // Delete self
  1384. model_delete_element(core, model_id)
  1385. else:
  1386. // Only delete this element
  1387. model_delete_element(core, model_id)
  1388. return!
  1389. String function cmd_model_delete(model_name : String):
  1390. String model_id
  1391. model_id = get_entry_id(model_name)
  1392. if (model_id != ""):
  1393. if (allow_write(current_user_id, model_id)):
  1394. model_delete(model_id)
  1395. return "Success"!
  1396. else:
  1397. return "Permission denied to model: " + model_name!
  1398. else:
  1399. return "Model not found: " + model_name!
  1400. String function cmd_model_list(location : String):
  1401. // List all models
  1402. if (get_entry_id(location) != ""):
  1403. if (allow_read(current_user_id, get_entry_id(location))):
  1404. Element models
  1405. String result
  1406. String m
  1407. result = "Success: "
  1408. models = allAssociationDestinations(core, get_entry_id(location), "contains")
  1409. while (set_len(models) > 0):
  1410. m = set_pop(models)
  1411. if (is_nominal_instance(core, m, "Folder")):
  1412. result = result + (get_filename(read_attribute(core, m, "name")) + "/\n")
  1413. else:
  1414. result = result + (get_filename(read_attribute(core, m, "name")) + "\n")
  1415. return result!
  1416. else:
  1417. return "Permission denied to folder: " + location!
  1418. else:
  1419. return "Location not found: " + location!
  1420. String function cmd_model_list_full(location : String):
  1421. // List all models with full info
  1422. if (get_entry_id(location) != ""):
  1423. if (allow_read(current_user_id, get_entry_id(location))):
  1424. Element models
  1425. String m
  1426. String permissions
  1427. String owner
  1428. String group
  1429. String name
  1430. String type
  1431. String result
  1432. result = "Success: "
  1433. models = allAssociationDestinations(core, get_entry_id(location), "contains")
  1434. while (set_len(models) > 0):
  1435. m = set_pop(models)
  1436. permissions = read_attribute(core, m, "permissions")
  1437. owner = read_attribute(core, set_pop(allAssociationDestinations(core, m, "owner")), "name")
  1438. group = read_attribute(core, set_pop(allAssociationDestinations(core, m, "group")), "name")
  1439. if (is_nominal_instance(core, m, "Folder")):
  1440. name = get_filename(read_attribute(core, m, "name")) + "/"
  1441. else:
  1442. name = get_filename(read_attribute(core, m, "name"))
  1443. result = result + permissions + " " + owner + " " + group + " " + name + "\n"
  1444. return result!
  1445. else:
  1446. return "Permission denied to folder: " + location!
  1447. else:
  1448. return "Location not found: " + location!
  1449. String function cmd_transformation_add_MANUAL(source_models : Element, target_models : Element, operation_name : String):
  1450. return transformation_add(source_models, target_models, operation_name, "manual")!
  1451. String function cmd_transformation_add_AL(source_models : Element, target_models : Element, operation_name : String):
  1452. return transformation_add(source_models, target_models, operation_name, "actionlanguage")!
  1453. String function transformation_add(source_models : Element, target_models : Element, operation_name : String, operation_type : String):
  1454. // Add a manual transformation model
  1455. String model_id
  1456. Element models
  1457. Element source
  1458. Element target
  1459. String name
  1460. Element all_formalisms
  1461. Element formalism_map
  1462. Element merged_formalism
  1463. String merged_formalism_id
  1464. String source_formalism_id
  1465. String tracability_link
  1466. Element fused
  1467. Element keys
  1468. String key
  1469. Element mm
  1470. source = dict_create()
  1471. target = dict_create()
  1472. all_formalisms = set_create()
  1473. formalism_map = set_create()
  1474. fused = set_create()
  1475. keys = dict_keys(source_models)
  1476. while (set_len(keys) > 0):
  1477. key = set_pop(keys)
  1478. name = source_models[key]
  1479. model_id = get_entry_id(name)
  1480. if (model_id != ""):
  1481. if (allow_read(current_user_id, model_id)):
  1482. if (bool_not(dict_in(source, key))):
  1483. dict_add(source, key, model_id)
  1484. mm = get_full_model(model_id, get_entry_id("formalisms/SimpleClassDiagrams"))
  1485. if (element_eq(mm, read_root())):
  1486. return "Transformation source type not in formalisms/SimpleClassDiagrams hierarchy: " + key!
  1487. if (bool_not(set_in(fused, key))):
  1488. set_add_node(formalism_map, create_tuple(key, mm))
  1489. set_add(fused, key)
  1490. if (bool_not(set_in(all_formalisms, model_id))):
  1491. set_add(all_formalisms, model_id)
  1492. else:
  1493. return "Name already selected for source: " + key!
  1494. else:
  1495. return "Permission denied to model: " + name!
  1496. else:
  1497. return "Model not found: " + name!
  1498. keys = dict_keys(target_models)
  1499. while (set_len(keys) > 0):
  1500. key = set_pop(keys)
  1501. name = target_models[key]
  1502. model_id = get_entry_id(name)
  1503. if (model_id != ""):
  1504. if (allow_read(current_user_id, model_id)):
  1505. if (bool_not(dict_in(target, key))):
  1506. dict_add(target, key, model_id)
  1507. mm = get_full_model(model_id, get_entry_id("formalisms/SimpleClassDiagrams"))
  1508. if (element_eq(mm, read_root())):
  1509. return "Transformation target type not in formalisms/SimpleClassDiagrams hierarchy: " + key!
  1510. if (bool_not(set_in(fused, key))):
  1511. set_add_node(formalism_map, create_tuple(key, mm))
  1512. set_add(fused, key)
  1513. if (bool_not(set_in(all_formalisms, model_id))):
  1514. set_add(all_formalisms, model_id)
  1515. else:
  1516. return "Name already selected for target: " + key!
  1517. else:
  1518. return "Permission denied to model: " + name!
  1519. else:
  1520. return "Model not found: " + name!
  1521. if (get_entry_id(operation_name) == ""):
  1522. // Write out a merged metamodel containing all these models: this is the MM for the manual operation
  1523. // New location is available, so write
  1524. if (dict_len(source_models) + dict_len(target_models) > 0):
  1525. merged_formalism = model_fuse(formalism_map)
  1526. model_create(merged_formalism, "merged/" + operation_name, get_entry_id("formalisms/SimpleClassDiagrams"), "Model")
  1527. do_spawn_modify("merged/" + operation_name, True)
  1528. merged_formalism = get_full_model(get_entry_id("merged/" + operation_name), get_entry_id("formalisms/SimpleClassDiagrams"))
  1529. if (operation_type == "manual"):
  1530. if (dict_len(source_models) + dict_len(target_models) == 0):
  1531. return "Manual activity needs at least one formalism in its input or output signature!"!
  1532. // Finished with all information, now create the model itself!
  1533. Element m
  1534. m = get_full_model(get_entry_id("formalisms/ManualOperation"), get_entry_id("formalisms/SimpleClassDiagrams"))
  1535. if (element_eq(m, read_root())):
  1536. log("Error when opening ManualOperation: no conformance relation found")
  1537. return "Error when opening ManualOperation: no conformance relation found"!
  1538. model_create(instantiate_model(m), operation_name, get_entry_id("formalisms/ManualOperation"), "ManualOperation")
  1539. model_id = get_entry_id(operation_name)
  1540. elif (operation_type == "actionlanguage"):
  1541. // Finished with all information, now create the model itself!
  1542. output("Waiting for code constructors...")
  1543. Element compiled
  1544. compiled = compile_code(input())
  1545. if (element_eq(compiled, read_root())):
  1546. return "Compilation error"!
  1547. add_code_model(get_full_model(get_entry_id("formalisms/ActionLanguage"), get_entry_id("formalisms/SimpleClassDiagrams")), "AL/" + operation_name, compiled)
  1548. model_create(import_node("AL/" + operation_name), operation_name, get_entry_id("formalisms/ActionLanguage"), "ActionLanguage")
  1549. model_id = get_entry_id(operation_name)
  1550. if (dict_len(source_models) + dict_len(target_models) > 0):
  1551. merged_formalism_id = get_entry_id("merged/" + operation_name)
  1552. // Add tracability links at this level
  1553. while (set_len(all_formalisms) > 0):
  1554. source_formalism_id = set_pop(all_formalisms)
  1555. tracability_link = instantiate_link(core, "tracability", "", merged_formalism_id, source_formalism_id)
  1556. instantiate_attribute(core, tracability_link, "type", "merged")
  1557. tracability_link = instantiate_link(core, "tracability", "", model_id, merged_formalism_id)
  1558. instantiate_attribute(core, tracability_link, "type", "operatesOn")
  1559. // Extend metadata with info on source and target
  1560. String link
  1561. String dst
  1562. keys = dict_keys(source)
  1563. while (set_len(keys) > 0):
  1564. key = set_pop(keys)
  1565. link = instantiate_link(core, "transformInput", "", model_id, source[key])
  1566. instantiate_attribute(core, link, "name", key)
  1567. keys = dict_keys(target)
  1568. while (set_len(keys) > 0):
  1569. key = set_pop(keys)
  1570. link = instantiate_link(core, "transformOutput", "", model_id, target[key])
  1571. instantiate_attribute(core, link, "name", key)
  1572. return "Success"!
  1573. else:
  1574. return "Model exists: " + operation_name!
  1575. String function cmd_transformation_add_MT(source_models : Element, target_models : Element, operation_name : String):
  1576. // Add a model transformation model
  1577. // Just a usual model instantiation, but need to add the source and target links based on user info
  1578. String ramified_metamodel_id
  1579. Element ramified_metamodel
  1580. String model_id
  1581. Element models
  1582. Element links
  1583. String link_id
  1584. Element supported
  1585. Element source
  1586. Element target
  1587. String name
  1588. String new_model_id
  1589. String merged_link_id
  1590. Element links_merged
  1591. String merged_formalism
  1592. Element keys
  1593. String key
  1594. Element mm
  1595. Element to_ramify
  1596. String source_formalism_id
  1597. String merged_formalism_id
  1598. String tracability_link
  1599. source = dict_create()
  1600. target = dict_create()
  1601. to_ramify = set_create()
  1602. if (dict_len(source_models) + dict_len(target_models) == 0):
  1603. return "Model transformation needs at least one formalism in its input or output signature!"!
  1604. keys = dict_keys(source_models)
  1605. while (set_len(keys) > 0):
  1606. key = set_pop(keys)
  1607. name = source_models[key]
  1608. model_id = get_entry_id(name)
  1609. if (model_id != ""):
  1610. if (allow_read(current_user_id, name)):
  1611. // Check whether or not it is formalisms/SimpleClassDiagrams
  1612. if (is_typed_by(model_id, get_entry_id("formalisms/SimpleClassDiagrams"))):
  1613. if (bool_not(dict_in(source, key))):
  1614. dict_add(source, key, model_id)
  1615. mm = get_full_model(model_id, get_entry_id("formalisms/SimpleClassDiagrams"))
  1616. if (element_eq(mm, read_root())):
  1617. return "ModelTransformation source type not in formalisms/SimpleClassDiagrams hierarchy: " + name!
  1618. set_add_node(to_ramify, create_tuple(key, mm))
  1619. else:
  1620. return "Name was already assigned a metamodel: " + key!
  1621. else:
  1622. return "Model not supported for RAMification: " + name!
  1623. else:
  1624. return "Permission denied: " + name!
  1625. else:
  1626. return "Model not found: " + name!
  1627. keys = dict_keys(target_models)
  1628. while (set_len(keys) > 0):
  1629. key = set_pop(keys)
  1630. name = target_models[key]
  1631. model_id = get_entry_id(name)
  1632. if (model_id != ""):
  1633. if (allow_read(current_user_id, name)):
  1634. if (is_typed_by(model_id, get_entry_id("formalisms/SimpleClassDiagrams"))):
  1635. if (bool_not(dict_in(target, key))):
  1636. if (dict_in(source, key)):
  1637. if (value_eq(model_id, source[key])):
  1638. dict_add(target, key, model_id)
  1639. // Don't add to to_ramify, as it is already in there!
  1640. else:
  1641. return "Name in output cannot have different type than input: " + key!
  1642. else:
  1643. dict_add(target, key, model_id)
  1644. mm = get_full_model(model_id, get_entry_id("formalisms/SimpleClassDiagrams"))
  1645. if (element_eq(mm, read_root())):
  1646. return "ModelTransformation target type not in formalisms/SimpleClassDiagrams hierarchy: " + name!
  1647. set_add_node(to_ramify, create_tuple(key, mm))
  1648. else:
  1649. return "Name was already assigned a metamodel: " + key!
  1650. else:
  1651. return "Model not supported for RAMification: " + name!
  1652. else:
  1653. return "Permission denied: " + name!
  1654. else:
  1655. return "Model not found: " + name!
  1656. merged_formalism = model_fuse(to_ramify)
  1657. model_create(merged_formalism, "merged/" + operation_name, get_entry_id("formalisms/SimpleClassDiagrams"), "Model")
  1658. do_spawn_modify("merged/" + operation_name, True)
  1659. merged_formalism = get_full_model(get_entry_id("merged/" + operation_name), get_entry_id("formalisms/SimpleClassDiagrams"))
  1660. model_overwrite(merged_formalism, get_entry_id("merged/" + operation_name), get_entry_id("formalisms/SimpleClassDiagrams"))
  1661. ramified_metamodel = ramify(merged_formalism)
  1662. model_create(ramified_metamodel, "RAMified/" + operation_name, get_entry_id("formalisms/SimpleClassDiagrams"), "Model")
  1663. ramified_metamodel_id = get_entry_id("RAMified/" + operation_name)
  1664. // Now use the RAMified model to create the instance
  1665. if (get_entry_id(operation_name) == ""):
  1666. String new_model
  1667. // Finished with all information, now create the model itself!
  1668. output("Waiting for model constructors...")
  1669. new_model = compile_model(input(), get_full_model(ramified_metamodel_id, get_entry_id("formalisms/SimpleClassDiagrams")))
  1670. if (element_eq(new_model, read_root())):
  1671. return "Compilation error"!
  1672. model_create(new_model, operation_name, ramified_metamodel_id, "ModelTransformation")
  1673. model_id = get_entry_id(operation_name)
  1674. // Write out a merged metamodel containing all these models: this is the MM for the manual operation
  1675. // New location is available, so write
  1676. model_create(merged_formalism, "merged/" + operation_name, get_entry_id("formalisms/SimpleClassDiagrams"), "Model")
  1677. merged_formalism_id = get_entry_id("merged/" + operation_name)
  1678. // Add tracability links at this level
  1679. tracability_link = instantiate_link(core, "tracability", "", model_id, merged_formalism_id)
  1680. instantiate_attribute(core, tracability_link, "type", "operatesOn")
  1681. // Add tracability links at this level
  1682. tracability_link = instantiate_link(core, "tracability", "", merged_formalism_id, ramified_metamodel_id)
  1683. instantiate_attribute(core, tracability_link, "type", "RAMified")
  1684. // Extend metadata with info on source and target
  1685. String link
  1686. String dst
  1687. keys = dict_keys(source)
  1688. while (set_len(keys) > 0):
  1689. key = set_pop(keys)
  1690. dst = source[key]
  1691. link = instantiate_link(core, "transformInput", "", model_id, dst)
  1692. instantiate_attribute(core, link, "name", key)
  1693. keys = dict_keys(target)
  1694. while (set_len(keys) > 0):
  1695. key = set_pop(keys)
  1696. dst = target[key]
  1697. link = instantiate_link(core, "transformOutput", "", model_id, dst)
  1698. instantiate_attribute(core, link, "name", key)
  1699. return "Success"!
  1700. else:
  1701. return "Model exists: " + operation_name!
  1702. String function cmd_permission_modify(model_name : String, permissions : String):
  1703. Integer permission
  1704. String model_id
  1705. model_id = get_entry_id(model_name)
  1706. if (model_id != ""):
  1707. if (get_relation_to_model(current_user_id, model_id) == 0):
  1708. Boolean fail
  1709. Integer i
  1710. i = 0
  1711. if (string_len(permissions) != 3):
  1712. fail = True
  1713. while (i < 3):
  1714. permission = cast_integer(string_get(permissions, i))
  1715. if (bool_or(permission < 0, permission > 2)):
  1716. fail = True
  1717. break!
  1718. i = i + 1
  1719. if (bool_not(fail)):
  1720. unset_attribute(core, model_id, "permissions")
  1721. instantiate_attribute(core, model_id, "permissions", permissions)
  1722. return "Success"!
  1723. else:
  1724. return "Permission has incorrect format: must be a string of three characters, with each character being a digit between 0 and 2"!
  1725. else:
  1726. return "Permission denied to model: " + model_name!
  1727. else:
  1728. return "Model not found: " + model_name!
  1729. String function cmd_permission_owner(model_name : String, new_user_name : String):
  1730. String model_id
  1731. String new_user_id
  1732. model_id = get_entry_id(model_name)
  1733. if (model_id != ""):
  1734. if (bool_or(get_relation_to_model(current_user_id, model_id) == 0, is_admin(current_user_id))):
  1735. new_user_id = get_user_id(new_user_name)
  1736. if (new_user_id != ""):
  1737. model_delete_element(core, set_pop(allOutgoingAssociationInstances(core, model_id, "owner")))
  1738. instantiate_link(core, "owner", "", model_id, new_user_id)
  1739. return "Success"!
  1740. else:
  1741. return "No such user: " + new_user_name!
  1742. else:
  1743. return "Permission denied to model: " + model_name!
  1744. else:
  1745. return "Model not found: " + model_name!
  1746. String function cmd_permission_group(model_name : String, new_group_name : String):
  1747. String model_id
  1748. String group_id
  1749. model_id = get_entry_id(model_name)
  1750. if (model_id != ""):
  1751. if (bool_or(get_relation_to_model(current_user_id, model_id) == 0, is_admin(current_user_id))):
  1752. group_id = get_group_id(new_group_name)
  1753. if (group_id != ""):
  1754. model_delete_element(core, set_pop(allOutgoingAssociationInstances(core, model_id, "group")))
  1755. instantiate_link(core, "group", "", model_id, group_id)
  1756. return "Success"!
  1757. else:
  1758. return "No such group: " + new_group_name!
  1759. else:
  1760. return "Permission denied to model: " + model_name!
  1761. else:
  1762. return "Model not found: " + model_name!
  1763. String function cmd_group_create(group_name : String):
  1764. // Create a new group and become its owner
  1765. String group_id
  1766. String name
  1767. group_id = get_group_id(group_name)
  1768. if (group_id == ""):
  1769. group_id = instantiate_node(core, "Group", "")
  1770. instantiate_attribute(core, group_id, "name", group_name)
  1771. instantiate_link(core, "belongsTo", "", current_user_id, group_id)
  1772. instantiate_link(core, "owner", "", group_id, current_user_id)
  1773. return "Success"!
  1774. else:
  1775. return "Group exists: " + group_name!
  1776. String function cmd_group_delete(group_name : String):
  1777. // Delete an existing group
  1778. String group_id
  1779. group_id = get_group_id(group_name)
  1780. if (group_id != ""):
  1781. if (allow_group_modify(current_user_id, group_id)):
  1782. model_delete_element(core, group_id)
  1783. return "Success"!
  1784. else:
  1785. return "Permission denied to group: " + group_name!
  1786. else:
  1787. return "Group not found: " + group_name!
  1788. String function cmd_group_owner_add(group_name : String, other_user_name : String):
  1789. // Add an owner to your group
  1790. String group_id
  1791. String other_user_id
  1792. group_id = get_group_id(group_name)
  1793. if (group_id != ""):
  1794. if (allow_group_modify(current_user_id, group_id)):
  1795. other_user_id = get_user_id(other_user_name)
  1796. if (other_user_id != ""):
  1797. if (set_in(allAssociationDestinations(core, group_id, "owner"), other_user_id)):
  1798. instantiate_link(core, "owner", "", group_id, other_user_id)
  1799. if (set_in(allAssociationDestinations(core, other_user_id, "belongsTo"), group_id)):
  1800. instantiate_link(core, "belongsTo", "", other_user_id, group_id)
  1801. return "Success"!
  1802. else:
  1803. return "User is already the owner!"!
  1804. else:
  1805. return "User not found: " + other_user_name!
  1806. else:
  1807. return "Permission denied to group: " + group_name!
  1808. else:
  1809. return "Group not found: " + group_name!
  1810. String function cmd_group_owner_delete(group_name : String, other_user_name : String):
  1811. // Remove an owner from your group
  1812. String group_id
  1813. String other_user_id
  1814. group_id = get_group_id(group_name)
  1815. if (group_id != ""):
  1816. if (allow_group_modify(current_user_id, group_id)):
  1817. other_user_id = get_user_id(other_user_name)
  1818. if (other_user_id != ""):
  1819. if (set_in(allAssociationDestinations(core, other_user_id, "belongsTo"), group_id)):
  1820. if (set_in(allAssociationDestinations(core, group_id, "owner"), other_user_id)):
  1821. Element overlap
  1822. overlap = set_overlap(allIncomingAssociationInstances(core, group_id, "owner"), allOutgoingAssociationInstances(core, other_user_id, "owner"))
  1823. model_delete_element(core, set_pop(overlap))
  1824. return "Success"!
  1825. else:
  1826. return "User is not an owner of the group!"!
  1827. else:
  1828. return "User is not a member of the group!"!
  1829. else:
  1830. return "User not found: " + other_user_name!
  1831. else:
  1832. return "Permission denied to group: " + group_name!
  1833. else:
  1834. return "Group not found: " + group_name!
  1835. String function cmd_group_join(group_name : String, other_user_name : String):
  1836. // Add someone to your group
  1837. String group_id
  1838. String other_user_id
  1839. group_id = get_group_id(group_name)
  1840. if (group_id != ""):
  1841. if (allow_group_modify(current_user_id, group_id)):
  1842. other_user_id = get_user_id(other_user_name)
  1843. if (other_user_id != ""):
  1844. if (set_in(allOutgoingAssociationInstances(core, other_user_id, "belongsTo"), group_id)):
  1845. instantiate_link(core, "belongsTo", "", other_user_id, group_id)
  1846. return "Success"!
  1847. else:
  1848. return "User is already a member of the group!"!
  1849. else:
  1850. return "User not found: " + other_user_name!
  1851. else:
  1852. return "Permission denied to group: " + group_name!
  1853. else:
  1854. return "Group not found: " + group_name!
  1855. String function cmd_group_kick(group_name : String, other_user_name : String):
  1856. // Remove someone from your group
  1857. String group_id
  1858. String other_user_id
  1859. group_id = get_group_id(group_name)
  1860. if (group_id != ""):
  1861. if (allow_group_modify(current_user_id, group_id)):
  1862. other_user_id = get_user_id(other_user_name)
  1863. if (other_user_id != ""):
  1864. Element overlap
  1865. if (set_in(allAssociationDestinations(core, other_user_id, "belongsTo"), group_id)):
  1866. overlap = set_overlap(allIncomingAssociationInstances(core, group_id, "belongsTo"), allOutgoingAssociationInstances(core, other_user_id, "belongsTo"))
  1867. model_delete_element(core,set_pop(overlap))
  1868. // Check if user was an owner as well
  1869. if (set_in(allAssociationDestinations(core, group_id, "owner"), other_user_id)):
  1870. overlap = set_overlap(allIncomingAssociationInstances(core, other_user_id, "owner"), allOutgoingAssociationInstances(core, group_id, "owner"))
  1871. model_delete_element(core, set_pop(overlap))
  1872. return "Success"!
  1873. else:
  1874. return "User is not a member of the group!"!
  1875. else:
  1876. return "User not found: " + other_user_name!
  1877. else:
  1878. return "Permission denied to group: " + group_name!
  1879. else:
  1880. return "Group not found: " + group_name!
  1881. String function cmd_group_list():
  1882. // List all groups you are a member of (and whether you are admin or not!)
  1883. Element groups
  1884. String group_id
  1885. String admin
  1886. String result
  1887. result = ""
  1888. groups = allAssociationDestinations(core, current_user_id, "belongsTo")
  1889. while (set_len(groups) > 0):
  1890. group_id = set_pop(groups)
  1891. if (set_in(allAssociationDestinations(core, group_id, "owner"), current_user_id)):
  1892. admin = " A "
  1893. else:
  1894. admin = " "
  1895. result = result + (string_join(admin, read_attribute(core, group_id, "name")) + "\n")
  1896. return result!
  1897. String function cmd_admin_promote(other_user_name : String):
  1898. // Promote a user to admin status
  1899. if (is_admin(current_user_id)):
  1900. String other_user_id
  1901. other_user_id = get_user_id(other_user_name)
  1902. if (other_user_id != ""):
  1903. unset_attribute(core, other_user_id, "admin")
  1904. instantiate_attribute(core, other_user_id, "admin", True)
  1905. return "Success"!
  1906. else:
  1907. return "User not found: " + other_user_name!
  1908. else:
  1909. return "Permission denied to administrate: " + other_user_name!
  1910. String function cmd_admin_demote(other_user_name : String):
  1911. // Demote a user to normal status
  1912. if (is_admin(current_user_id)):
  1913. String other_user_id
  1914. other_user_id = get_user_id(other_user_name)
  1915. if (other_user_id != ""):
  1916. unset_attribute(core, other_user_id, "admin")
  1917. instantiate_attribute(core, other_user_id, "admin", False)
  1918. return "Success"!
  1919. else:
  1920. return "User not found: " + other_user_name!
  1921. else:
  1922. return "Permission denied to administrate: " + other_user_name!
  1923. String function cmd_service_register(service_name : String):
  1924. // Active a service for this specific user
  1925. if (get_service_id(service_name) == ""):
  1926. String service
  1927. service = instantiate_node(core, "Service", "")
  1928. instantiate_attribute(core, service, "name", service_name)
  1929. instantiate_attribute(core, service, "port", get_taskname())
  1930. output("Success: " + get_taskname())
  1931. // Wait until we can stop the service
  1932. while (cast_value(input()) != "\"service_stop\""):
  1933. output("Service is running on this task: stop it by sending 'service_stop'")
  1934. model_delete_element(core, service)
  1935. // Service terminated
  1936. return "Success"!
  1937. else:
  1938. return "Service already exists: " + service_name!
  1939. String function cmd_user_password(user_name : String, new_password : String):
  1940. if (bool_or(current_user_id == get_user_id(user_name), is_admin(current_user_id))):
  1941. if (get_user_id(user_name) != ""):
  1942. instantiate_attribute(core, get_user_id(user_name), "password", hash(new_password))
  1943. return "Success"!
  1944. else:
  1945. return "No such user: " + user_name!
  1946. else:
  1947. return "Permission denied to user: " + user_name!
  1948. String function cmd_transformation_signature(transformation_name : String):
  1949. String model_id
  1950. model_id = get_entry_id(transformation_name)
  1951. if (model_id != ""):
  1952. if (is_nominal_instance(core, model_id, "Transformation")):
  1953. if (allow_read(current_user_id, transformation_name)):
  1954. String result
  1955. String elem
  1956. Element inputs
  1957. Element outputs
  1958. result = "Success: "
  1959. inputs = allOutgoingAssociationInstances(core, model_id, "transformInput")
  1960. while (set_len(inputs) > 0):
  1961. elem = set_pop(inputs)
  1962. result = string_join(string_join(string_join(string_join(result + "I ", read_attribute(core, elem, "name")), " "), full_name(readAssociationDestination(core, elem))), "\n")
  1963. outputs = allOutgoingAssociationInstances(core, model_id, "transformOutput")
  1964. while (set_len(outputs) > 0):
  1965. elem = set_pop(outputs)
  1966. result = string_join(string_join(string_join(string_join(result + "O ", read_attribute(core, elem, "name")), " "), full_name(readAssociationDestination(core, elem))), "\n")
  1967. return result!
  1968. else:
  1969. return "Permission denied to operation: " + transformation_name!
  1970. else:
  1971. return "Model is not an operation: " + transformation_name!
  1972. else:
  1973. return "No such operation: " + transformation_name!
  1974. String function cmd_model_types(model_name : String):
  1975. if (get_entry_id(model_name) != ""):
  1976. String model_id
  1977. model_id = get_entry_id(model_name)
  1978. Element types
  1979. String type
  1980. String result
  1981. result = "Success: "
  1982. types = allAssociationDestinations(core, model_id, "instanceOf")
  1983. while (set_len(types) > 0):
  1984. type = set_pop(types)
  1985. result = string_join(result, full_name(type) + "\n")
  1986. return result!
  1987. else:
  1988. return "No such model: " + model_name!
  1989. String function cmd_folder_create(folder_name : String):
  1990. if (get_entry_id(folder_name) == ""):
  1991. if (element_neq(create_folders(current_user_id, folder_name), read_root())):
  1992. return "Success"!
  1993. else:
  1994. return "Permission denied to folder: " + folder_name!
  1995. else:
  1996. return "Folder alreay exists: " + folder_name!
  1997. String function cmd_conformance_add(model_name : String, metamodel_name : String):
  1998. // Create a new instanceOf relation now
  1999. String instance_of
  2000. instance_of = instantiate_link(core, "instanceOf", "", get_entry_id(model_name), get_entry_id(metamodel_name))
  2001. return "Success"!
  2002. Void function user_function_skip_init(user_id : String):
  2003. String cmd
  2004. String result
  2005. current_user_id = user_id
  2006. caches = dict_create()
  2007. dict_add_fast(caches, "models", dict_create())
  2008. dict_add_fast(caches, "users", dict_create())
  2009. dict_add_fast(caches, "full_name", dict_create())
  2010. // Find root element
  2011. Element elems
  2012. String elem
  2013. elems = allInstances(core, "Folder")
  2014. while (set_len(elems) > 0):
  2015. elem = set_pop(elems)
  2016. if (value_eq(read_attribute(core, elem, "name"), "")):
  2017. if (set_len(allIncomingAssociationInstances(core, elem, "contains")) == 0):
  2018. dict_add_fast(caches, "root", elem)
  2019. break!
  2020. output("Welcome to the Model Management Interface v2.0!")
  2021. output("Use the 'help' command for a list of possible commands")
  2022. while (True):
  2023. cmd = input()
  2024. if (cmd == "help"):
  2025. output(cmd_help())
  2026. elif (cmd == "model_add"):
  2027. output(cmd_model_add(single_input("Model type?"), single_input("Model name?"), single_input("Model textual representation?")))
  2028. elif (cmd == "process_execute"):
  2029. output(cmd_process_execute(single_input("Process to execute?"), dict_input("Model bindings to use?")))
  2030. elif (cmd == "process_signature"):
  2031. output(cmd_process_signature(single_input("Process to execute?")))
  2032. elif (cmd == "transformation_between"):
  2033. output(cmd_transformation_between(dict_input("Source signature?"), dict_input("Target signature?")))
  2034. elif (cmd == "model_render"):
  2035. output(cmd_model_render(single_input("Model name?"), single_input("Mapper name?"), single_input("Rendered name?")))
  2036. elif (cmd == "model_rendered"):
  2037. output(cmd_model_rendered(single_input("Model name?"), single_input("Mapper name?")))
  2038. elif (cmd == "transformation_execute"):
  2039. output(cmd_transformation_execute(single_input("Transformation name?"), dict_input("Source models?"), dict_input("Target models?"), single_input("Tracability model?")))
  2040. elif (cmd == "verify"):
  2041. result = cmd_verify(single_input("Model name?"), single_input("Metamodel name?"))
  2042. if (result != ""):
  2043. output(result)
  2044. elif (cmd == "model_overwrite"):
  2045. output(cmd_model_overwrite(single_input("Model name?"), single_input("Metamodel name?")))
  2046. elif (cmd == "model_modify"):
  2047. output(cmd_model_modify(single_input("Model name?"), single_input("Metamodel name?")))
  2048. elif (cmd == "model_delete"):
  2049. output(cmd_model_delete(single_input("Model name?")))
  2050. elif (cmd == "model_list"):
  2051. output(cmd_model_list(single_input("Location?")))
  2052. elif (cmd == "model_list_full"):
  2053. output(cmd_model_list_full(single_input("Location?")))
  2054. elif (cmd == "transformation_add_MANUAL"):
  2055. output(cmd_transformation_add_MANUAL(dict_input("Source models?"), dict_input("Target models?"), single_input("Operation name?")))
  2056. elif (cmd == "transformation_add_AL"):
  2057. output(cmd_transformation_add_AL(dict_input("Source models?"), dict_input("Target models?"), single_input("Operation name?")))
  2058. elif (cmd == "transformation_add_MT"):
  2059. output(cmd_transformation_add_MT(dict_input("Source models?"), dict_input("Target models?"), single_input("Operation name?")))
  2060. elif (cmd == "permission_modify"):
  2061. output(cmd_permission_modify(single_input("Model name?"), single_input("Permissions?")))
  2062. elif (cmd == "permission_owner"):
  2063. output(cmd_permission_owner(single_input("Model name?"), single_input("New owning user?")))
  2064. elif (cmd == "permission_group"):
  2065. output(cmd_permission_group(single_input("Model name?"), single_input("New owning group?")))
  2066. elif (cmd == "group_create"):
  2067. output(cmd_group_create(single_input("New group name?")))
  2068. elif (cmd == "group_delete"):
  2069. output(cmd_group_delete(single_input("Group name?")))
  2070. elif (cmd == "group_owner_add"):
  2071. output(cmd_group_owner_add(single_input("Group name?"), single_input("User name?")))
  2072. elif (cmd == "group_owner_delete"):
  2073. output(cmd_group_owner_delete(single_input("Group name?"), single_input("User name?")))
  2074. elif (cmd == "group_join"):
  2075. output(cmd_group_join(single_input("Group name?"), single_input("User name?")))
  2076. elif (cmd == "group_kick"):
  2077. output(cmd_group_kick(single_input("Group name?"), single_input("User name?")))
  2078. elif (cmd == "group_list"):
  2079. output(cmd_group_list())
  2080. elif (cmd == "admin_promote"):
  2081. output(cmd_admin_promote(single_input("User name?")))
  2082. elif (cmd == "admin_demote"):
  2083. output(cmd_admin_demote(single_input("User name?")))
  2084. elif (cmd == "service_register"):
  2085. output(cmd_service_register(single_input("Service name?")))
  2086. elif (cmd == "user_password"):
  2087. output(cmd_user_password(single_input("User name?"), single_input("New password?")))
  2088. elif (cmd == "transformation_read_signature"):
  2089. output(cmd_transformation_signature(single_input("Transformation name?")))
  2090. elif (cmd == "verbose"):
  2091. set_verbose(True)
  2092. elif (cmd == "quiet"):
  2093. set_verbose(False)
  2094. elif (cmd == "self-destruct"):
  2095. // Delete user from Core Formalism
  2096. model_delete_element(core, user_id)
  2097. return !
  2098. elif (cmd == "user_logout"):
  2099. // TODO
  2100. cmd = "FAIL"
  2101. elif (cmd == "exit"):
  2102. // Exit by actually removing the user and decoupling it from all of its models
  2103. // Restarting with the same user name will NOT grant you access to anything of the previous user with that same name
  2104. // as the current user will have been deleted
  2105. return !
  2106. elif (cmd == "folder_create"):
  2107. output(cmd_folder_create(single_input("Folder name?")))
  2108. elif (cmd == "add_conformance"):
  2109. output(cmd_conformance_add(single_input("Model name?"), single_input("Metamodel name?")))
  2110. elif (cmd == "remove_conformance"):
  2111. // TODO
  2112. cmd = "FAIL"
  2113. elif (cmd == "user_name"):
  2114. // TODO
  2115. cmd = "FAIL"
  2116. elif (cmd == "service_poll"):
  2117. // TODO
  2118. cmd = "FAIL"
  2119. elif (cmd == "model_types"):
  2120. output(cmd_model_types(single_input("Model name?")))
  2121. else:
  2122. output("Unknown command: " + cmd)
  2123. // We never get here!
  2124. return !