{"id":"W1984287808","doi":"","title":"Metamodelling with formal semantics with application to access control specification","year":2015,"lang":"en","type":"article","venue":"International Conference on Model-Driven Engineering and Software Development","topic":"Access Control and Trust","field":"Social Sciences","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec en Outaouais","funders":"","keywords":"Metamodeling; Computer science; Programming language; Formal semantics (linguistics); Semantics (computer science); Formal specification; Formalism (music); Visual modeling; Formal methods; Domain (mathematical analysis); Software engineering; Theoretical computer science; Unified Modeling Language; Software; Mathematics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007401347,0.001182016,0.0008388966,0.002172725,0.001315179,0.005172472,0.002428125,0.002102844,0.002140889],"category_scores_gemma":[0.008916346,0.001000938,0.003490317,0.001956964,0.00601527,0.007245649,0.003544351,0.004120545,0.0006324813],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00260555,"about_ca_system_score_gemma":0.003585817,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003448928,"about_ca_topic_score_gemma":0.003486324,"domain_scores_codex":[0.9949716,0.002354918,0.0005902158,0.0005011987,0.001320193,0.0002617838],"domain_scores_gemma":[0.9938366,0.003135809,0.0006617944,0.00148502,0.0006662087,0.0002146443],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002146363,0.00003831925,0.0001632386,0.0001447016,0.00002464398,0.0001422829,0.0008487021,0.01681631,0.001985173,0.955831,0.0008022708,0.02318194],"study_design_scores_gemma":[0.00004730734,0.00004929531,0.00007396306,0.0001809954,0.00004570607,0.0002898014,0.0002524183,0.09376638,0.006060279,0.8406923,0.05848888,0.00005261047],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00104779,0.00009941137,0.9970573,0.0003202062,0.00002315318,0.00004237557,0.00003045333,0.0003618881,0.001017361],"genre_scores_gemma":[0.05638561,0.0005380219,0.940145,0.000235439,0.00007872986,0.0003138293,0.0002429844,0.0002749024,0.001785595],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007401347,"threshold_uncertainty_score":0.03914255,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05131855772052649,"score_gpt":0.2921821648856046,"score_spread":0.2408636071650781,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}