{"id":"W4401084683","doi":"10.1007/978-3-031-66326-0_9","title":"Declarative Representation of UML State Machines for Querying and Simulation","year":2024,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Unified Modeling Language; Programming language; Finite-state machine; Representation (politics); Applications of UML; State (computer science); Abstract state machines; Theoretical computer science; Software engineering; 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.002073905,0.0008981156,0.0006666225,0.001400774,0.0005353221,0.004864146,0.002348377,0.001375819,0.008441227],"category_scores_gemma":[0.005176554,0.001026872,0.001128127,0.001076234,0.0008028085,0.002905612,0.001594109,0.002009478,0.003292166],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001050611,"about_ca_system_score_gemma":0.001509251,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002960131,"about_ca_topic_score_gemma":0.004879,"domain_scores_codex":[0.9985373,0.0004215927,0.000221555,0.0001656932,0.0005478273,0.0001060808],"domain_scores_gemma":[0.9978105,0.001052623,0.000149694,0.0005601612,0.0003694317,0.00005764329],"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.0003100816,0.0002338158,0.000985465,0.0006898497,0.00007500182,0.000436536,0.001588813,0.07198089,0.0242575,0.6849293,0.0296315,0.1848812],"study_design_scores_gemma":[0.0001008766,0.00007748036,0.0003667808,0.0003272811,0.00009046493,0.0003863212,0.0002139389,0.5520089,0.04515681,0.2010771,0.2001153,0.00007875892],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002215242,0.0001193854,0.982117,0.0001767417,0.00004697948,0.0001128477,0.001017937,0.009723222,0.004470577],"genre_scores_gemma":[0.1065216,0.0005103525,0.8753172,0.0002961357,0.00005599069,0.0005317977,0.006272323,0.002388777,0.008105827],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008441227,"threshold_uncertainty_score":0.02823877,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02512133519887295,"score_gpt":0.3006093016593292,"score_spread":0.2754879664604563,"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."}}