{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004007753,0.000414834,0.0003808061,0.0006293698,0.0008089592,0.004026956,0.001086516,0.001079137,0.007420133],"category_scores_gemma":[0.01018953,0.0004454247,0.0005014366,0.0007032881,0.003704255,0.01164762,0.002146406,0.001751398,0.00218501],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001422554,"about_ca_system_score_gemma":0.00150158,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001593653,"about_ca_topic_score_gemma":0.001744256,"domain_scores_codex":[0.9972692,0.001238071,0.0001241413,0.0005326298,0.0006241771,0.0002117912],"domain_scores_gemma":[0.9948795,0.002516837,0.0002687691,0.001528863,0.0005496543,0.0002563107],"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.00004305746,0.000007984268,0.0001710926,0.0000819586,0.000008410323,0.0000217466,0.0003861026,0.0009816862,0.0007897942,0.9461561,0.005573378,0.04577862],"study_design_scores_gemma":[0.00002093068,0.00003228787,0.0002038536,0.0001027418,0.00003510921,0.0001139421,0.0001906078,0.006250613,0.003839161,0.8917078,0.09748367,0.00001925388],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02634419,0.003649308,0.7904265,0.0104618,0.001099762,0.0000885477,0.0004625065,0.00445239,0.1630151],"genre_scores_gemma":[0.6564128,0.003339393,0.2768799,0.002220927,0.0004701818,0.0002007774,0.0007211356,0.001764761,0.05799015],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007420133,"threshold_uncertainty_score":0.02482277,"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."}}