{"id":"W1985364899","doi":"10.1007/11880240_18","title":"Semantic Variations Among UML StateMachines","year":2006,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Engineering Research","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Semantics (computer science); Programming language; Unified Modeling Language; Operational semantics; Formal semantics (linguistics); 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"],"consensus_categories":[],"category_scores_codex":[0.0009797587,0.0005184868,0.0004739702,0.001350429,0.0002688567,0.0008342124,0.003774166,0.0002779399,0.00002101648],"category_scores_gemma":[0.0003844703,0.0004857204,0.0001247354,0.001047971,0.0005370462,0.0007386364,0.001447363,0.0009920941,0.00008057097],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000350134,"about_ca_system_score_gemma":0.0004997787,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000192184,"about_ca_topic_score_gemma":0.0001472757,"domain_scores_codex":[0.995721,0.00003478284,0.0005183724,0.001472732,0.001420422,0.0008326761],"domain_scores_gemma":[0.9961959,0.001431501,0.0001827146,0.001703458,0.0002963365,0.0001901173],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002960255,0.00007558552,0.006688781,0.0001983504,0.00003747097,0.0004236499,0.0008060508,0.5834218,0.00009931229,0.02396851,0.0004016123,0.3838759],"study_design_scores_gemma":[0.0001783394,0.00007496681,0.01039517,0.0003169198,0.000006290757,0.00004186321,1.732195e-8,0.920628,0.0002148982,0.06705856,0.0004118186,0.0006731883],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0002815053,0.0002410327,0.9953506,0.0003857616,0.001618359,0.0003872474,0.000006412681,0.000485511,0.001243594],"genre_scores_gemma":[0.5702719,0.00002227267,0.4268125,0.0002938566,0.0007199268,0.00002519234,0.00001575178,0.00008384517,0.001754807],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5699904,"threshold_uncertainty_score":0.9997594,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01204624036319042,"score_gpt":0.2510508787834189,"score_spread":0.2390046384202284,"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."}}