{"id":"W2007400794","doi":"10.1145/1463788.1463798","title":"Flexible verification of user-defined semantic constraints in modelling tools","year":2008,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Eclipse; Constraint (computer-aided design); Software engineering; Programming language; Object Constraint Language; Modeling language; Semantics (computer science); Unified Modeling Language; Software","routes":{"ca_aff":true,"ca_fund":true,"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.04517099,0.001521343,0.001736965,0.002463797,0.002114186,0.007939763,0.005884655,0.004107791,0.002884704],"category_scores_gemma":[0.09045447,0.002629593,0.003940506,0.001749022,0.006857163,0.01516214,0.007491121,0.004864199,0.000735854],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003431675,"about_ca_system_score_gemma":0.007337122,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005791139,"about_ca_topic_score_gemma":0.007493847,"domain_scores_codex":[0.9412497,0.02419565,0.007646746,0.004724323,0.01898037,0.003203317],"domain_scores_gemma":[0.9051353,0.04472695,0.005433798,0.03581958,0.007953618,0.0009307647],"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.0007089081,0.0004494637,0.007084939,0.0009743983,0.0004315034,0.002687038,0.005570583,0.14648,0.0372011,0.6989947,0.004307496,0.09510998],"study_design_scores_gemma":[0.0003551615,0.00022406,0.0008926369,0.0007297187,0.0002932341,0.0006411324,0.0005894818,0.5088754,0.1320986,0.307574,0.04744512,0.00028141],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02063925,0.00008333915,0.9721617,0.0003378045,0.00007797038,0.0002996611,0.0001376205,0.003953746,0.002308899],"genre_scores_gemma":[0.3993879,0.0002684714,0.5937335,0.0004257764,0.00007108363,0.0007599983,0.0005292696,0.00195901,0.002864989],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.04517099,"threshold_uncertainty_score":0.2388898,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05805176323710333,"score_gpt":0.2464526558675936,"score_spread":0.1884008926304903,"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."}}