core_algorithm.alc 83 KB

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