{"id":"W1998649124","doi":"10.1142/s0218194008003829","title":"A TOOL BASED ON DL FOR UML MODEL CONSISTENCY CHECKING","year":2008,"lang":"en","type":"article","venue":"International Journal of Software Engineering and Knowledge Engineering","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Metamodeling; Computer science; Unified Modeling Language; UML tool; Applications of UML; Consistency (knowledge bases); Programming language; Object Constraint Language; Interoperability; Model checking; Software engineering; Software; Artificial intelligence; Operating system","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003990746,0.0003082434,0.000355008,0.0006831822,0.00006744828,0.00008474814,0.0008286271,0.0001188776,0.000001452172],"category_scores_gemma":[0.0003733104,0.0003159679,0.0002132405,0.0001885346,0.000022262,0.0003328725,0.0001207794,0.0003595059,0.00000164875],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001912212,"about_ca_system_score_gemma":0.0001719669,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001017194,"about_ca_topic_score_gemma":1.264983e-7,"domain_scores_codex":[0.9984969,0.000009148216,0.0005534425,0.0002810826,0.0003525286,0.0003068716],"domain_scores_gemma":[0.998506,0.0003596387,0.0001522423,0.0002671765,0.00056315,0.0001518093],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001990502,0.0000735993,0.0001976596,0.00008848068,0.00009354693,0.00007956417,0.0003469094,0.9603323,0.0008640147,0.01875453,0.0002453002,0.0189042],"study_design_scores_gemma":[0.0006809431,0.0001273819,0.0003884543,0.0004482306,0.00001181656,0.0002841785,7.86151e-7,0.9908899,0.001825555,0.00007485172,0.004941103,0.0003268155],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01864241,0.000449094,0.9789498,0.0000853823,0.001202766,0.0001298413,0.0000100139,0.0005149247,0.00001571913],"genre_scores_gemma":[0.4540772,0.00003106061,0.5455542,0.00002926927,0.0002235806,0.00002076635,0.000001690969,0.00003616641,0.00002599002],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4354348,"threshold_uncertainty_score":0.9999292,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01842054099522109,"score_gpt":0.2437871869255103,"score_spread":0.2253666459302892,"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."}}