{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00405017,0.001556049,0.001123325,0.004328571,0.000915135,0.002773832,0.002043653,0.001042907,0.01288347],"category_scores_gemma":[0.01042206,0.001236005,0.001746704,0.001670486,0.000876079,0.003212976,0.002561883,0.002533611,0.004180761],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001526979,"about_ca_system_score_gemma":0.003128436,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006121432,"about_ca_topic_score_gemma":0.005643305,"domain_scores_codex":[0.9967937,0.0008309183,0.0006362948,0.0006709527,0.0008650395,0.0002030455],"domain_scores_gemma":[0.9950131,0.002175393,0.0003651625,0.001406311,0.0008761731,0.0001637762],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004963796,0.0005761724,0.00835649,0.002437862,0.0003534069,0.001434927,0.0009974276,0.03451231,0.05417969,0.1418014,0.09788429,0.6569697],"study_design_scores_gemma":[0.0004512856,0.0002146752,0.001758039,0.0004868586,0.0003123884,0.00262352,0.0002418603,0.4303761,0.08431335,0.05721382,0.4217833,0.000224692],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00242066,0.0001690534,0.872615,0.0001728735,0.00008602168,0.0002355948,0.001326627,0.119146,0.003828021],"genre_scores_gemma":[0.06963876,0.0003742267,0.9047655,0.0005193513,0.00005771478,0.0007319307,0.005899577,0.01126345,0.006749536],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01288347,"threshold_uncertainty_score":0.04309946,"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."}}