{"id":"W1546033115","doi":"10.1007/978-3-540-74984-4_13","title":"Consistency of UML/SPT Models","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Consistency (knowledge bases); Unified Modeling Language; Computer science; Applications of UML; Programming language; Software engineering; Artificial intelligence","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.002336385,0.0004525157,0.000605159,0.001138475,0.0001495736,0.0001656363,0.004022282,0.0004091013,0.00001553079],"category_scores_gemma":[0.0001641845,0.0004303436,0.0001605797,0.0008323672,0.001243337,0.0009326343,0.001145073,0.0007206034,0.0000237907],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002465052,"about_ca_system_score_gemma":0.0005996391,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002097348,"about_ca_topic_score_gemma":0.00001865151,"domain_scores_codex":[0.9959382,0.00004654991,0.0008701233,0.001283906,0.001256253,0.0006049003],"domain_scores_gemma":[0.9962929,0.0004117472,0.000569941,0.002068362,0.0004999427,0.0001571114],"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.000004137637,0.00001866695,0.000008873767,0.00004096129,0.000005796195,0.000016651,0.0004423645,0.01858465,0.0001226001,0.4431857,0.000004290231,0.5375654],"study_design_scores_gemma":[0.0001236141,0.0001189015,0.00004327932,0.0002317459,0.00000552487,0.00004815551,1.112244e-7,0.6616542,0.00491243,0.3321142,0.0003597364,0.0003880368],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0000262309,0.0005007665,0.9633842,0.0001292142,0.001755037,0.0003406121,0.000004207306,0.0001235867,0.03373612],"genre_scores_gemma":[0.04161958,0.00003913209,0.9573766,0.0005403332,0.0001775425,0.000004195012,0.000001994146,0.00002522594,0.000215366],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6430696,"threshold_uncertainty_score":0.9998148,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06231878821109783,"score_gpt":0.3036934811703212,"score_spread":0.2413746929592234,"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."}}