core_algorithm.alc 37 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061
  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. Element core = ?
  13. Void function main():
  14. // Initialize the Core Formalism
  15. String core_location
  16. String core_model
  17. String core_model_location
  18. String core_formalism_model
  19. String scd_location
  20. String scd_model
  21. String admin_group
  22. String admin_user
  23. String nobody_group
  24. scd_location = "models/SimpleClassDiagrams"
  25. core_location = "models/CoreFormalism"
  26. core_model_location = "models/core"
  27. // Create the Model itself and make public
  28. core = instantiate_model(import_node(core_location))
  29. export_node(core_model_location, core)
  30. // Create admin group
  31. admin_group = instantiate_node(core, "Group", "")
  32. instantiate_attribute(core, admin_group, "name", "admin")
  33. // Create nobody group
  34. nobody_group = instantiate_node(core, "Group", "")
  35. instantiate_attribute(core, nobody_group, "name", "nobody")
  36. // Create admin user
  37. admin_user = instantiate_node(core, "User", "")
  38. output("Desired username for admin user?")
  39. instantiate_attribute(core, admin_user, "name", input())
  40. instantiate_attribute(core, admin_user, "admin", True)
  41. // Create link between admin user and group
  42. instantiate_link(core, "ownedBy", "", admin_group, admin_user)
  43. instantiate_link(core, "belongsTo", "", admin_user, admin_group)
  44. // Add the SimpleClassDiagrams formalism already
  45. scd_model = instantiate_node(core, "Model", "")
  46. instantiate_attribute(core, scd_model, "name", "SimpleClassDiagrams")
  47. instantiate_attribute(core, scd_model, "location", scd_location)
  48. instantiate_attribute(core, scd_model, "permissions", "221")
  49. instantiate_link(core, "instanceOf", "", scd_model, scd_model)
  50. // Make necessary links for the formalism to the owners
  51. instantiate_link(core, "group", "", scd_model, admin_group)
  52. instantiate_link(core, "owner", "", scd_model, admin_user)
  53. // Add the core formalism already
  54. core_formalism_model = instantiate_node(core, "Model", "")
  55. instantiate_attribute(core, core_formalism_model, "name", "CoreFormalism")
  56. instantiate_attribute(core, core_formalism_model, "location", core_location)
  57. instantiate_attribute(core, core_formalism_model, "permissions", "221")
  58. instantiate_link(core, "instanceOf", "", core_formalism_model, scd_model)
  59. // Make necessary links for the formalism to the owners
  60. instantiate_link(core, "group", "", core_formalism_model, admin_group)
  61. instantiate_link(core, "owner", "", core_formalism_model, admin_user)
  62. // Add the core model
  63. core_model = instantiate_node(core, "Model", "")
  64. instantiate_attribute(core, core_model, "name", "core")
  65. instantiate_attribute(core, core_model, "location", core_model_location)
  66. instantiate_attribute(core, core_model, "permissions", "200")
  67. instantiate_link(core, "instanceOf", "", core_model, core_formalism_model)
  68. // Make necessary links for the formalism to the owners
  69. instantiate_link(core, "group", "", core_model, admin_group)
  70. instantiate_link(core, "owner", "", core_model, admin_user)
  71. // Switch all new users to the user_function
  72. // This accesses the bootstrap level, so do not change this unless you know what you are doing
  73. Element root
  74. Element prev
  75. root = read_root()
  76. root = root["__hierarchy"]["__IP"]
  77. while (value_neq(root, !call)):
  78. prev = root
  79. root = root["next"]
  80. dict_delete(prev, "next")
  81. dict_add(prev, "next", user_function["body"])
  82. // Call this for ourselves as well
  83. user_function_skip_init(admin_user)
  84. // Done, so finish up
  85. // Admin user will have been deleted by the user_function as usual
  86. // Note that if there are no admin users left, it will be very difficult to manage, as nobody will have admin permissions!
  87. return !
  88. Integer function get_relation_to_model(user_id : String, model_id : String):
  89. if (set_in(allAssociationDestinations(core, model_id, "owner"), user_id)):
  90. // We are the owner
  91. return 0!
  92. else:
  93. String group_id
  94. group_id = set_pop(allAssociationDestinations(core, model_id, "group"))
  95. if (set_in(allAssociationDestinations(core, user_id, "belongsTo"), group_id)):
  96. // We are in the owning group
  97. return 1!
  98. else:
  99. // We are not related whatsoever
  100. return 2!
  101. Boolean function is_admin(user_id : String):
  102. if (read_attribute(core, user_id, "admin")):
  103. return True!
  104. else:
  105. return False!
  106. Boolean function allow_read(user_id : String, model_id : String):
  107. if (is_admin(user_id)):
  108. // Is admin, so always allow
  109. return True!
  110. else:
  111. // Check permissions
  112. String permission
  113. permission = string_get(read_attribute(core, model_id, "permissions"), get_relation_to_model(user_id, model_id))
  114. if (bool_or(permission == "1", permission == "2")):
  115. return True!
  116. else:
  117. return False!
  118. Boolean function allow_write(user_id : String, model_id : String):
  119. if (is_admin(user_id)):
  120. // Is admin, so always allow
  121. return True!
  122. else:
  123. // Check permissions
  124. String permission
  125. permission = string_get(read_attribute(core, model_id, "permissions"), get_relation_to_model(user_id, model_id))
  126. if (permission == "2"):
  127. return True!
  128. else:
  129. return False!
  130. Boolean function allow_change_metadata(user_id : String, model_id : String):
  131. if (is_admin(user_id)):
  132. // Is admin, so always allow
  133. return True!
  134. else:
  135. if (get_relation_to_model(user_id, model_id) == 0):
  136. // Only owner can chmod
  137. return True!
  138. else:
  139. return False!
  140. Boolean function allow_group_modify(user_id : String, group_id : String):
  141. if (is_admin(user_id)):
  142. // Is admin, so always allow
  143. return True!
  144. else:
  145. if (read_nr_out(set_overlap(allIncomingAssociationInstances(core, user_id, "owner"), allOutgoingAssociationInstances(core, group_id, "owner"))) > 0):
  146. // We are an owner
  147. return True!
  148. else:
  149. return False!
  150. Boolean function check_login(user_id : String):
  151. // TODO
  152. return False!
  153. Element function user_function():
  154. String username
  155. String user_id
  156. output("Log on as which user?")
  157. // Load in all global variables, as this code is hotloaded!
  158. Element root
  159. root = read_root()
  160. root = root["__hierarchy"]["objects"]
  161. exec(root["bootstrap/modelling.alc"]["initializers"])
  162. exec(root["bootstrap/library.alc"]["initializers"])
  163. exec(root["bootstrap/constructors.alc"]["initializers"])
  164. exec(root["bootstrap/object_operations.alc"]["initializers"])
  165. exec(root["core/mini_modify.alc"]["initializers"])
  166. exec(root["bootstrap/model_management.alc"]["initializers"])
  167. exec(root["bootstrap/ramify.alc"]["initializers"])
  168. exec(root["bootstrap/transform.alc"]["initializers"])
  169. exec(root["bootstrap/conformance_scd.alc"]["initializers"])
  170. exec(root["core/core_algorithm.alc"]["initializers"])
  171. core = import_node("models/core")
  172. username = input()
  173. user_id = get_user_id(username)
  174. if (user_id == ""):
  175. // New user
  176. // Add user to Core Formalism
  177. user_id = instantiate_node(core, "User", "")
  178. instantiate_attribute(core, user_id, "name", username)
  179. instantiate_attribute(core, user_id, "admin", False)
  180. // Now call with user created
  181. user_function_skip_init(user_id)
  182. else:
  183. if (check_login(user_id)):
  184. user_function_skip_init(user_id)
  185. // User destroyed already, so just stop execution
  186. return create_node()!
  187. String function get_model_id(name : String):
  188. Element models
  189. String model
  190. models = allInstances(core, "Model")
  191. while (read_nr_out(models) > 0):
  192. model = set_pop(models)
  193. if (value_eq(name, read_attribute(core, model, "name"))):
  194. return model!
  195. return ""!
  196. String function get_user_id(name : String):
  197. Element users
  198. String user
  199. users = allInstances(core, "User")
  200. while (read_nr_out(users) > 0):
  201. user = set_pop(users)
  202. if (value_eq(read_attribute(core, user, "name"), name)):
  203. return user!
  204. return ""!
  205. String function get_group_id(name : String):
  206. Element groups
  207. String group
  208. groups = allInstances(core, "Group")
  209. while (read_nr_out(groups) > 0):
  210. group = set_pop(groups)
  211. if (value_eq(read_attribute(core, group, "name"), name)):
  212. return group!
  213. return ""!
  214. Void function model_create(model : Element, name : String, user_id : String, type_id : String):
  215. String location
  216. String model_id
  217. location = "/models/" + cast_id2s(model)
  218. export_node(location, model)
  219. // Manage meta-info
  220. model_id = instantiate_node(core, "Model", "")
  221. instantiate_attribute(core, model_id, "name", name)
  222. instantiate_attribute(core, model_id, "location", location)
  223. instantiate_attribute(core, model_id, "permissions", "200")
  224. instantiate_link(core, "owner", "", model_id, user_id)
  225. instantiate_link(core, "group", "", model_id, get_group_id("nobody"))
  226. instantiate_link(core, "instanceOf", "", model_id, type_id)
  227. return!
  228. Void function model_overwrite(model : Element, model_id : String):
  229. String location
  230. location = "/models/" + cast_id2s(model)
  231. export_node(location, model)
  232. log("Got model ID: " + model_id)
  233. // Change location in meta-data
  234. unset_attribute(core, model_id, "location")
  235. instantiate_attribute(core, model_id, "location", location)
  236. return!
  237. Void function user_function_skip_init(user_id : String):
  238. Boolean do_continue
  239. String cmd
  240. do_continue = True
  241. output("Welcome to the Model Management Interface v2.0!")
  242. output("Use the 'help' command for a list of possible commands")
  243. while (do_continue):
  244. output("Ready for command...")
  245. cmd = input()
  246. if (cmd == "help"):
  247. output("Model operations")
  248. output(" model_add -- Add a new model")
  249. output(" model_modify -- Modify an existing model")
  250. output(" model_delete -- [TODO] Delete a model and all related transformations")
  251. output(" model_list -- List all models")
  252. output(" model_list_full -- List all models with full info")
  253. output(" model_overwrite -- Overwrites a model with an uploaded model, leaving all metadata")
  254. output("")
  255. output("Transformation-specific operations")
  256. output(" transformation_add_MT_language -- Create a RAMified metamodel")
  257. output(" transformation_add_MT -- Initialize a new model transformation")
  258. output(" transformation_add_AL -- [TODO] Initialize a new action language transformation")
  259. output(" transformation_add_EXT -- [TODO] Initialize a new external tool transformation")
  260. output(" transformation_execute -- Execute a transformation on a set of input models")
  261. output(" transformation_list -- List all model transformations")
  262. output(" transformation_list_full -- List all model transformations with permissions")
  263. output(" transformation_detail -- List transformation details")
  264. output("")
  265. output("Model permission operations")
  266. output(" permission_modify -- Change model permissions")
  267. output(" permission_owner -- Change model owner")
  268. output(" permission_group -- Change model group")
  269. output("")
  270. output("Group operations")
  271. output(" group_create -- Create a group")
  272. output(" group_delete -- Delete a group")
  273. output(" group_owner_add -- Add group owner")
  274. output(" group_owner_delete -- Remove group owner")
  275. output(" group_join -- Add someone to your group")
  276. output(" group_kick -- Kick someone from your group")
  277. output(" group_list -- List all groups you are a member of")
  278. output("")
  279. output("Admin operations")
  280. output(" admin_promote -- Promote a user to admin status")
  281. output(" admin_demote -- Demote a user to normal status")
  282. output("")
  283. output("General operations")
  284. output(" account_delete -- Remove current user and revoke all permissions ")
  285. elif (cmd == "model_add"):
  286. // Model addition operation, which uses model upload commands of the compiler
  287. String name
  288. String type
  289. String location
  290. String type_id
  291. Element new_model
  292. String new_model_id
  293. output("Creating new model!")
  294. output("Model type?")
  295. type_id = get_model_id(input())
  296. if (type_id != ""):
  297. // Type exists
  298. if (allow_read(user_id, type_id)):
  299. // And is readable
  300. output("Model name?")
  301. name = input()
  302. if (get_model_id(name) == ""):
  303. // Model doesn't exist yet
  304. output("Waiting for model constructors...")
  305. // TODO Update construct_model call to this interface
  306. new_model = construct_model_raw(import_node(read_attribute(core, type_id, "location")))
  307. model_create(new_model, name, user_id, type_id)
  308. output("Model upload success!")
  309. else:
  310. output("Model with that name already exists!")
  311. else:
  312. output("Permission denied")
  313. else:
  314. output("Could not find type model!")
  315. elif (cmd == "transformation_execute"):
  316. // Execute a transformation, whatever type it is
  317. // First we detect the type, so we know how to prepare for invocation
  318. String transformation_id
  319. String exact_type
  320. Element sources
  321. Element targets
  322. String source
  323. String target
  324. String name_id
  325. Element inputs
  326. Element outputs
  327. Element trace_links
  328. output("Which transformation do you want to execute?")
  329. transformation_id = get_model_id(input())
  330. if (transformation_id != ""):
  331. if (allow_read(user_id, transformation_id)):
  332. if (is_nominal_instance(core, transformation_id, "Transformation")):
  333. // Read out source and target links
  334. sources = allOutgoingAssociationInstances(core, transformation_id, "transformInput")
  335. inputs = create_node()
  336. while (read_nr_out(source) > 0):
  337. source = set_pop(sources)
  338. output(string_join("Which model to bind for source element ", read_attribute(core, source, "name")))
  339. name_id = get_model_id(input())
  340. if (name_id != ""):
  341. if (allow_read(user_id, name_id)):
  342. dict_add(inputs, read_attribute(core, source, "name"), name_id)
  343. else:
  344. output("Permission denied")
  345. set_add(sources, source)
  346. else:
  347. output("No such model")
  348. set_add(sources, source)
  349. targets = allOutgoingAssociationInstances(core, transformation_id, "transformOutput")
  350. outputs = create_node()
  351. while (read_nr_out(targets) > 0):
  352. target = set_pop(targets)
  353. output(string_join("Which model to create for target element ", read_attribute(core, target, "name")))
  354. name_id = get_model_id(input())
  355. dict_add(outputs, read_attribute(core, target, "name"), name_id)
  356. exact_type = read_type(core, transformation_id)
  357. if (exact_type == "ModelTransformation"):
  358. // Model transformation is always in-place and uses only a single metamodel
  359. // Therefore, we must:
  360. // 1) Create an empty model, instance of merged metamodel
  361. // 2) Merge the different source models and retype
  362. // 3) Perform the transformation on the merged model
  363. // 4) Split the resulting model based on the target formalisms
  364. //
  365. // There is one exception: if the target model is bound to a source model, that model is overwritten
  366. // This allows for some optimizations when it is a simple in-place transformation (skip model copy, join, and split)
  367. // First check for this exception, as it is much faster
  368. Element input_model
  369. Element schedule_model
  370. String trace_link_id
  371. Element merged_model
  372. String merged_metamodel_id
  373. String ramified_metamodel_id
  374. schedule_model = import_node(read_attribute(core, transformation_id, "location"))
  375. if (bool_and(bool_and(read_nr_out(inputs) == 1, read_nr_out(outputs) == 1), set_equality(inputs, outputs))):
  376. // inputs and outputs have the same values and there is only one: keep in-place without additional bookkeeping
  377. input_model = import_node(read_attribute(core, set_pop(inputs), "location"))
  378. transform(input_model, schedule_model)
  379. else:
  380. // Need to fall back to the default approach, which is way slower
  381. // 1) Create empty instance of merged metamodel
  382. ramified_metamodel_id = set_pop(followAssociation(core, transformation_id, "instanceOf"))
  383. trace_links = allOutgoingAssociationInstances(core, ramified_metamodel_id, "tracability")
  384. merged_metamodel_id = ""
  385. while (read_nr_out(trace_links) > 0):
  386. trace_link_id = set_pop(trace_links)
  387. if (value_eq(read_attribute(core, trace_link_id, "type"), "ramified")):
  388. merged_metamodel_id = readAssociationDestination(core, trace_link_id)
  389. if (merged_metamodel_id != ""):
  390. merged_model = instantiate_model(import_node(read_attribute(core, merged_metamodel_id, "location")))
  391. // 2) Merge source models
  392. String key
  393. Element keys
  394. Element input_keys
  395. Element output_keys
  396. input_keys = dict_keys(inputs)
  397. while (read_nr_out(input_keys) > 0):
  398. key = set_pop(input_keys)
  399. model_join(merged_model, import_node(read_attribute(core, inputs[key], "location")), key)
  400. // 3) Transform
  401. transform(merged_model, schedule_model)
  402. // 4) Split in different files depending on type
  403. String desired_metamodel_id
  404. Element split_off_model
  405. output_keys = dict_keys(outputs)
  406. while (read_nr_out(output_keys) > 0):
  407. key = set_pop(output_keys)
  408. desired_metamodel_id = set_pop(followAssociation(core, outputs[key], "instanceOf"))
  409. split_off_model = model_split(merged_model, import_node(read_attribute(core, desired_metamodel_id, "location")), key)
  410. // Check if the destination model already exists
  411. if (get_model_id(outputs[key]) == ""):
  412. // New model
  413. model_create(split_off_model, outputs[key], user_id, desired_metamodel_id)
  414. else:
  415. // Model exists, so we overwrite
  416. model_overwrite(split_off_model, outputs[key])
  417. else:
  418. output("Could not resolve intermediate merged metamodel")
  419. elif (exact_type == "ActionLanguage"):
  420. output("Not Implemented yet!")
  421. else:
  422. output("Did not know how to interpret model of type " + exact_type)
  423. else:
  424. output("Model is not an executable transformation")
  425. else:
  426. output("Permission denied")
  427. else:
  428. output("No such transformation")
  429. elif (cmd == "model_overwrite"):
  430. // Overwrites an existing model without changing any metadata
  431. String model_id
  432. Element new_model
  433. output("Which model to overwrite?")
  434. model_id = get_model_id(input())
  435. if (model_id != ""):
  436. if (allow_write(user_id, model_id)):
  437. if (allow_read(user_id, set_pop(followAssociation(core, model_id, "instanceOf")))):
  438. output("Waiting for model constructors...")
  439. new_model = construct_model_raw(import_node(read_attribute(core, set_pop(followAssociation(core, model_id, "instanceOf")), "location")))
  440. model_overwrite(new_model, model_id)
  441. output("Model overwrite success!")
  442. else:
  443. output("Permission denied")
  444. else:
  445. output("Permission denied")
  446. else:
  447. output("No such model")
  448. elif (cmd == "model_modify"):
  449. // Model modify operation, which uses the mini_modify.alc operations, though with extensions for access control
  450. String model_id
  451. String type_id
  452. output("Which model do you want to modify?")
  453. model_id = get_model_id(input())
  454. if (model_id != ""):
  455. if (allow_read(user_id, model_id)):
  456. type_id = set_pop(allAssociationDestinations(core, model_id, "instanceOf"))
  457. if (allow_read(user_id, type_id)):
  458. modify(import_node(read_attribute(core, model_id, "location")), allow_write(user_id, model_id))
  459. else:
  460. output("Permission denied")
  461. else:
  462. output("Permission denied")
  463. else:
  464. output("Could not find model!")
  465. elif (cmd == "model_delete"):
  466. // Delete a model and all of its related transformations
  467. String model_id
  468. output("=================================================")
  469. output("WARNING: Deletion is a very destructive operation")
  470. output(" as it also deletes all transformations ")
  471. output(" defined which make use of this model! ")
  472. output("=================================================")
  473. output("")
  474. output("Currently not supported!")
  475. elif (cmd == "model_list"):
  476. // List all models
  477. Element models
  478. String m
  479. models = allInstances(core, "Model")
  480. while (read_nr_out(models) > 0):
  481. m = set_pop(models)
  482. output(string_join((string_join(" ", read_attribute(core, m, "name")) + " : "), read_attribute(core, set_pop(followAssociation(core, m, "instanceOf")), "name")))
  483. elif (cmd == "model_list_full"):
  484. // List all models with full info
  485. Element models
  486. String m
  487. String permissions
  488. String owner
  489. String group
  490. String name
  491. String type
  492. String size
  493. models = allInstances(core, "Model")
  494. while (read_nr_out(models) > 0):
  495. m = set_pop(models)
  496. permissions = read_attribute(core, m, "permissions")
  497. owner = read_attribute(core, set_pop(allAssociationDestinations(core, m, "owner")), "name")
  498. group = read_attribute(core, set_pop(allAssociationDestinations(core, m, "group")), "name")
  499. name = read_attribute(core, m, "name")
  500. size = cast_i2s(read_nr_out(dict_read(import_node(read_attribute(core, m, "location")), "model")))
  501. type = read_attribute(core, set_pop(allAssociationDestinations(core, m, "instanceOf")), "name")
  502. output(((((((((((" " + permissions) + " ") + owner) + " ") + group) + " ") + size) + " ") + name) + " : ") + type)
  503. elif (cmd == "transformation_add_MT_language"):
  504. // Create a model transformation language from a set of input and output formalisms
  505. String name
  506. String model_id
  507. Element source
  508. Element target
  509. Element all_formalisms
  510. Element merged_formalism
  511. Element ramified_formalism
  512. String old_type_id
  513. String type_id
  514. String location
  515. String new_model_id
  516. old_type_id = ""
  517. // Read involved formalisms
  518. all_formalisms = create_node()
  519. output("Formalisms to include (terminate with empty string)?")
  520. name = input()
  521. while (name != ""):
  522. model_id = get_model_id(name)
  523. if (model_id != ""):
  524. if (allow_read(user_id, model_id)):
  525. type_id = set_pop(allAssociationDestinations(core, model_id, "instanceOf"))
  526. if (bool_or(old_type_id == "", type_id == old_type_id)):
  527. set_add(all_formalisms, create_tuple(name, import_node(read_attribute(core, model_id, "location"))))
  528. old_type_id = type_id
  529. elif (old_type_id != type_id):
  530. // Already have a previous type_id and now another: CLASH
  531. output("Cannot add model as types not compatible with previous models; try again")
  532. else:
  533. output("Model not readable; try again")
  534. else:
  535. output("No such model; try again")
  536. name = input()
  537. // Merge both into a single metamodel
  538. if (read_nr_out(all_formalisms) > 0):
  539. output("Name of the RAMified transformation metamodel?")
  540. name = input()
  541. if (get_model_id(name) == ""):
  542. String merged_formalism_id
  543. String ramified_formalism_id
  544. String source_formalism_id
  545. String tracability_link
  546. // New location is available, so write
  547. merged_formalism = model_fuse(set_copy(all_formalisms))
  548. model_create(merged_formalism, "__merged_" + name, user_id, type_id)
  549. merged_formalism_id = get_model_id("__merged_" + name)
  550. // Add tracability links at this level
  551. while (read_nr_out(all_formalisms) > 0):
  552. source_formalism_id = get_model_id(list_read(set_pop(all_formalisms), 0))
  553. log("ADD tracability link to " + source_formalism_id)
  554. tracability_link = instantiate_link(core, "tracability", "", merged_formalism_id, source_formalism_id)
  555. instantiate_attribute(core, tracability_link, "type", "merged")
  556. // Merge complete, now RAMify!
  557. ramified_formalism = ramify(merged_formalism)
  558. model_create(ramified_formalism, name, user_id, type_id)
  559. ramified_formalism_id = get_model_id(name)
  560. // Add tracability link at this level
  561. tracability_link = instantiate_link(core, "tracability", "", ramified_formalism_id, merged_formalism_id)
  562. instantiate_attribute(core, tracability_link, "type", "RAMified")
  563. else:
  564. output("Model already exists!")
  565. else:
  566. output("At least one formalism is required")
  567. elif (cmd == "transformation_add_MT"):
  568. // Add a model transformation model
  569. // Just a usual model instantiation, but need to add the source and target links based on user info
  570. String ramified_metamodel_id
  571. String model_id
  572. Element models
  573. Element links
  574. String link_id
  575. Element supported
  576. Element source
  577. Element target
  578. String name
  579. String new_model_id
  580. String merged_link_id
  581. Element links_merged
  582. String merged_metamodel_id
  583. source = create_node()
  584. target = create_node()
  585. supported = create_node()
  586. output("RAMified metamodel to use?")
  587. ramified_metamodel_id = get_model_id(input())
  588. if (ramified_metamodel_id != ""):
  589. if (allow_read(user_id, ramified_metamodel_id)):
  590. output("Supported metamodels:")
  591. links = allOutgoingAssociationInstances(core, ramified_metamodel_id, "tracability")
  592. log(set_to_string(links))
  593. while (read_nr_out(links) > 0):
  594. link_id = set_pop(links)
  595. log("CHECK " + link_id)
  596. merged_metamodel_id = readAssociationDestination(core, link_id)
  597. log("Merged: " + merged_metamodel_id)
  598. if (value_eq(read_attribute(core, link_id, "type"), "RAMified")):
  599. links_merged = allOutgoingAssociationInstances(core, merged_metamodel_id, "tracability")
  600. log(set_to_string(links_merged))
  601. while (read_nr_out(links_merged) > 0):
  602. merged_link_id = set_pop(links_merged)
  603. log("CHECK2 " + merged_link_id)
  604. if (value_eq(read_attribute(core, merged_link_id, "type"), "merged")):
  605. log("Found match!")
  606. output(string_join(" ", read_attribute(core, readAssociationDestination(core, merged_link_id), "name")))
  607. set_add(supported, readAssociationDestination(core, merged_link_id))
  608. output("")
  609. output("Which ones do you want to use as source (empty string to finish)?")
  610. name = input()
  611. while (name != ""):
  612. model_id = get_model_id(name)
  613. if (model_id != ""):
  614. if (set_in(supported, model_id)):
  615. if (bool_not(set_in(source, model_id))):
  616. set_add(source, model_id)
  617. output("Model added as source")
  618. else:
  619. output("Model already selected as source")
  620. else:
  621. output("Model is not supported by RAMified metamodel!")
  622. else:
  623. output("No such model; try again")
  624. name = input()
  625. output("Which ones do you want to use as target (empty string to finish)?")
  626. name = input()
  627. while (name != ""):
  628. model_id = get_model_id(name)
  629. if (model_id != ""):
  630. if (set_in(supported, model_id)):
  631. if (bool_not(set_in(target, model_id))):
  632. set_add(target, model_id)
  633. output("Model added as target")
  634. else:
  635. output("Model already selected as target")
  636. else:
  637. output("Model is not supported by RAMified metamodel!")
  638. else:
  639. output("No such model; try again")
  640. name = input()
  641. output("Name of new transformation?")
  642. name = input()
  643. if (get_model_id(name) == ""):
  644. String new_model
  645. // Finished with all information, now create the model itself!
  646. new_model = instantiate_model(import_node(read_attribute(core, ramified_metamodel_id, "location")))
  647. model_create(new_model, name, user_id, ramified_metamodel_id)
  648. model_id = get_model_id(name)
  649. // Extend metadata with info on source and target
  650. while (read_nr_out(source) > 0):
  651. log("Instantiate source link")
  652. instantiate_link(core, "transformInput", "", model_id, set_pop(source))
  653. log("OK")
  654. while (read_nr_out(target) > 0):
  655. log("Instantiate target link")
  656. instantiate_link(core, "transformOutput", "", model_id, set_pop(target))
  657. log("OK")
  658. output("Meta-info correctly set!")
  659. else:
  660. output("Model already exists")
  661. else:
  662. output("Permission denied")
  663. else:
  664. output("No such model")
  665. elif (cmd == "permission_modify"):
  666. String permissions
  667. Integer permission
  668. String model_id
  669. output("Which model do you want to change permissions of?")
  670. model_id = get_model_id(input())
  671. if (model_id != ""):
  672. if (get_relation_to_model(user_id, model_id) == 0):
  673. output("New permissions?")
  674. permissions = input()
  675. Boolean fail
  676. Integer i
  677. i = 0
  678. if (string_len(permissions) != 3):
  679. fail = True
  680. while (bool_and(bool_not(fail), i < 3)):
  681. permission = cast_s2i(string_get(permissions, i))
  682. if (bool_or(permission < 0, permission > 2)):
  683. fail = True
  684. if (bool_not(fail)):
  685. unset_attribute(core, model_id, "permissions")
  686. instantiate_attribute(core, model_id, "permissions", permissions)
  687. else:
  688. output("Permissions must be a string of three characters with each character being a digit between 0 and 2")
  689. else:
  690. output("Permission denied!")
  691. else:
  692. output("No such model!")
  693. elif (cmd == "permission_owner"):
  694. String permissions
  695. String model_id
  696. String user_id
  697. output("Which model do you want to change owner of?")
  698. model_id = get_model_id(input())
  699. if (model_id != ""):
  700. if (bool_or(get_relation_to_model(user_id, model_id) == 0, is_admin(user_id))):
  701. output("New owner?")
  702. user_id = get_user_id(input())
  703. if (user_id != ""):
  704. model_delete_element(core, set_pop(allOutgoingAssociationInstances(core, model_id, "owner")))
  705. instantiate_link(core, "owner", "", model_id, user_id)
  706. else:
  707. output("No such user!")
  708. else:
  709. output("Permission denied!")
  710. else:
  711. output("No such model!")
  712. elif (cmd == "permission_group"):
  713. String permissions
  714. String model_id
  715. String group_id
  716. output("Which model do you want to change permissions of?")
  717. model_id = get_model_id(input())
  718. if (model_id != ""):
  719. if (bool_or(get_relation_to_model(user_id, model_id) == 0, is_admin(user_id))):
  720. output("New group?")
  721. group_id = get_group_id(input())
  722. if (group_id != ""):
  723. model_delete_element(core, set_pop(allOutgoingAssociationInstances(core, model_id, "group")))
  724. instantiate_link(core, "group", "", model_id, group_id)
  725. else:
  726. output("No such group!")
  727. else:
  728. output("Permission denied!")
  729. else:
  730. output("No such model!")
  731. elif (cmd == "group_create"):
  732. // Create a new group and become its owner
  733. String group_id
  734. String name
  735. output("Which group do you want to create?")
  736. name = input()
  737. group_id = get_group_id(name)
  738. if (group_id == ""):
  739. group_id = instantiate_node(core, "Group", "")
  740. instantiate_attribute(core, group_id, "name", name)
  741. instantiate_link(core, "belongsTo", "", user_id, group_id)
  742. instantiate_link(core, "owner", "", group_id, user_id)
  743. output("Group created!")
  744. else:
  745. output("Group already exists")
  746. elif (cmd == "group_delete"):
  747. // Delete an existing group
  748. String group_id
  749. String name
  750. output("Which group do you want to delete?")
  751. name = input()
  752. group_id = get_group_id(name)
  753. if (group_id != ""):
  754. if (allow_group_modify(user_id, group_id)):
  755. model_delete_element(core, group_id)
  756. else:
  757. output("Permission denied")
  758. else:
  759. output("No such group")
  760. elif (cmd == "group_owner_add"):
  761. // Add an owner to your group
  762. String group_id
  763. String other_user_id
  764. output("Which group do you want to add an owner to?")
  765. group_id = get_group_id(input())
  766. if (group_id != ""):
  767. if (allow_group_modify(user_id, group_id)):
  768. output("Which user do you want to make an owner?")
  769. other_user_id = get_user_id(input())
  770. if (other_user_id != ""):
  771. Element overlap
  772. overlap = set_overlap(allIncomingAssociationInstances(core, user_id, "owner"), allOutgoingAssociationInstances(core, group_id, "owner"))
  773. if (read_nr_out(overlap) == 0):
  774. instantiate_link(core, "owner", "", group_id, user_id)
  775. overlap = set_overlap(allOutgoingAssociationInstances(core, user_id, "belongsTo"), allIncomingAssociationInstances(core, group_id, "belongsTo"))
  776. if (read_nr_out(overlap) == 0):
  777. instantiate_link(core, "belongsTo", "", user_id, group_id)
  778. output("New owner added to group!")
  779. else:
  780. output("User is already an owner!")
  781. else:
  782. output("No such user")
  783. else:
  784. output("Permission denied!")
  785. else:
  786. output("No such group")
  787. elif (cmd == "group_owner_delete"):
  788. // Remove an owner from your group
  789. String group_id
  790. String other_user_id
  791. output("Which group do you want to disown someone from?")
  792. group_id = get_group_id(input())
  793. if (group_id != ""):
  794. if (allow_group_modify(user_id, group_id)):
  795. output("Which user do you want to disown?")
  796. other_user_id = get_user_id(input())
  797. if (other_user_id != ""):
  798. Element overlap
  799. overlap = set_overlap(allOutgoingAssociationInstances(core, user_id, "belongsTo"), allIncomingAssociationInstances(core, group_id, "belongsTo"))
  800. if (read_nr_out(overlap) > 0):
  801. overlap = set_overlap(allIncomingAssociationInstances(core, user_id, "owner"), allOutgoingAssociationInstances(core, group_id, "owner"))
  802. if (read_nr_out(overlap) > 0):
  803. model_delete_element(core, set_pop(overlap))
  804. output("Disowned group from user!")
  805. else:
  806. output("User is not even an owner of the group!")
  807. else:
  808. output("User is not even a member of the group!")
  809. else:
  810. output("No such user")
  811. else:
  812. output("Permission denied!")
  813. else:
  814. output("No such group")
  815. elif (cmd == "group_join"):
  816. // Add someone to your group
  817. String group_id
  818. String other_user_id
  819. output("Which group do you want to add someone to?")
  820. group_id = get_group_id(input())
  821. if (group_id != ""):
  822. if (allow_group_modify(user_id, group_id)):
  823. output("Which user do you want to add?")
  824. other_user_id = get_user_id(input())
  825. if (other_user_id != ""):
  826. Element overlap
  827. overlap = set_overlap(allOutgoingAssociationInstances(core, user_id, "belongsTo"), allIncomingAssociationInstances(core, group_id, "belongsTo"))
  828. if (read_nr_out(overlap) == 0):
  829. instantiate_link(core, "belongsTo", "", user_id, group_id)
  830. output("User added to the group!")
  831. else:
  832. output("User is already a member of the group!")
  833. else:
  834. output("No such user")
  835. else:
  836. output("Permission denied!")
  837. else:
  838. output("No such group")
  839. elif (cmd == "group_kick"):
  840. // Remove someone from your group
  841. String group_id
  842. String other_user_id
  843. output("Which group do you want to kick someone from?")
  844. group_id = get_group_id(input())
  845. if (group_id != ""):
  846. if (allow_group_modify(user_id, group_id)):
  847. output("Which user do you want to kick?")
  848. other_user_id = get_user_id(input())
  849. if (other_user_id != ""):
  850. Element overlap
  851. overlap = set_overlap(allOutgoingAssociationInstances(core, user_id, "belongsTo"), allIncomingAssociationInstances(core, group_id, "belongsTo"))
  852. if (read_nr_out(overlap) > 0):
  853. model_delete_element(core, set_pop(overlap))
  854. // Check if user was an owner as well
  855. overlap = set_overlap(allIncomingAssociationInstances(core, user_id, "owner"), allOutgoingAssociationInstances(core, group_id, "owner"))
  856. if (read_nr_out(overlap) > 0):
  857. model_delete_element(core, set_pop(overlap))
  858. output("User kicked!")
  859. else:
  860. output("User is not even a member of the group!")
  861. else:
  862. output("No such user")
  863. else:
  864. output("Permission denied!")
  865. else:
  866. output("No such group")
  867. elif (cmd == "group_list"):
  868. // List all groups you are a member of (and whether you are admin or not!)
  869. Element groups
  870. String group_id
  871. String admin
  872. groups = allAssociationDestinations(core, user_id, "belongsTo")
  873. while (True):
  874. group_id = set_pop(groups)
  875. if (set_in(allOutgoingAssociationInstances(core, group_id, "owner"), user_id)):
  876. admin = " A "
  877. else:
  878. admin = " "
  879. output(string_join(admin, read_attribute(core, group_id, "name")))
  880. elif (cmd == "admin_promote"):
  881. // Promote a user to admin status
  882. if (is_admin(user_id)):
  883. String other_user_id
  884. output("Which user do you want to promote?")
  885. other_user_id = get_user_id(input())
  886. if (other_user_id != ""):
  887. unset_attribute(core, other_user_id, "admin")
  888. instantiate_attribute(core, other_user_id, "admin", True)
  889. output("Permissions granted!")
  890. else:
  891. output("No such user!")
  892. else:
  893. output("Permission denied!")
  894. elif (cmd == "admin_demote"):
  895. // Demote a user to normal status
  896. if (is_admin(user_id)):
  897. String other_user_id
  898. output("Which user do you want to demote?")
  899. other_user_id = get_user_id(input())
  900. if (other_user_id != ""):
  901. unset_attribute(core, other_user_id, "admin")
  902. instantiate_attribute(core, other_user_id, "admin", False)
  903. output("Permissions revoked!")
  904. else:
  905. output("No such user!")
  906. else:
  907. output("Permission denied!")
  908. elif (cmd == "exit"):
  909. // Exit by actually removing the user and decoupling it from all of its models
  910. // Restarting with the same user name will NOT grant you access to anything of the previous user with that same name
  911. do_continue = False
  912. else:
  913. output("Unknown command: " + cmd)
  914. // Delete user from Core Formalism
  915. model_delete_element(core, user_id)
  916. output("Goodbye!")
  917. return !