{"id":"W2061420542","doi":"10.1007/11557432_8","title":"UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":43,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"Technische Universität München","keywords":"Rotation formalisms in three dimensions; Formalism (music); Computer science; Unified Modeling Language; Programming language; Theoretical computer science; Artificial intelligence; Natural language processing; Mathematics; Software","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","open_science"],"consensus_categories":[],"category_scores_codex":[0.002274925,0.0009774538,0.001016545,0.001144493,0.0003405628,0.0009420101,0.006182545,0.000801401,0.00004775623],"category_scores_gemma":[0.0002559608,0.000917135,0.0002403222,0.000864604,0.0011482,0.002132163,0.002128597,0.001805225,0.0001572968],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000882116,"about_ca_system_score_gemma":0.0006712993,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002784213,"about_ca_topic_score_gemma":0.00005724479,"domain_scores_codex":[0.9924922,0.0001598531,0.001132483,0.002708345,0.002073148,0.001433979],"domain_scores_gemma":[0.9949672,0.0005326434,0.0007722287,0.00274743,0.0005201438,0.0004603253],"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.00007616187,0.000132639,0.00001551026,0.00007681688,0.00003824603,0.0001566003,0.001417831,0.1466625,0.0004003748,0.2050387,0.0003444211,0.6456402],"study_design_scores_gemma":[0.000359598,0.0003607968,0.00006136415,0.0003102878,0.00001516034,0.00008181364,2.031402e-7,0.8946671,0.003129304,0.0937733,0.006248888,0.0009921713],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00006473219,0.0001870804,0.9902932,0.002824016,0.00201459,0.0006868772,0.00002777202,0.0005710574,0.003330698],"genre_scores_gemma":[0.04574088,0.0001165979,0.9465042,0.0060325,0.0007393588,0.00003283149,0.00001920418,0.00008085318,0.0007335671],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7480046,"threshold_uncertainty_score":0.9993279,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05355840429574359,"score_gpt":0.294865146533257,"score_spread":0.2413067422375134,"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."}}