{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01220101,0.0007215986,0.001189028,0.002123774,0.001430928,0.005922914,0.003860986,0.002022273,0.005415774],"category_scores_gemma":[0.04214149,0.002075873,0.00227119,0.001992152,0.003346415,0.008384944,0.0040369,0.003637709,0.001757946],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002103283,"about_ca_system_score_gemma":0.003992727,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003801831,"about_ca_topic_score_gemma":0.002726801,"domain_scores_codex":[0.9825466,0.005871614,0.001568776,0.00191799,0.007286924,0.0008080922],"domain_scores_gemma":[0.9641955,0.01452889,0.002439357,0.01263852,0.005784507,0.0004131153],"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.0002770261,0.00009291443,0.001844383,0.0003776041,0.000100502,0.000461107,0.001546773,0.04470313,0.007660494,0.8659935,0.005323675,0.07161885],"study_design_scores_gemma":[0.0001178585,0.0000680439,0.0005843766,0.0002180705,0.0001240012,0.0002921571,0.0003333412,0.1646338,0.01837706,0.7906371,0.02456335,0.00005082846],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02665897,0.0003970597,0.9538634,0.0008573029,0.0001427498,0.0001925802,0.0006401734,0.001965142,0.01528253],"genre_scores_gemma":[0.5436504,0.0007361413,0.4374987,0.0004532215,0.0002043084,0.0007035978,0.003374591,0.00231624,0.01106269],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01220101,"threshold_uncertainty_score":0.0645259,"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."}}