{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004120087,0.0002783038,0.0003470045,0.0006279553,0.00007277315,0.0002116174,0.0007359632,0.0001357104,9.714298e-7],"category_scores_gemma":[0.000034249,0.0002590098,0.00007241748,0.0003435384,0.0002136143,0.0004800077,0.0005428054,0.0002711317,9.554581e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001057951,"about_ca_system_score_gemma":0.0001061139,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001846766,"about_ca_topic_score_gemma":0.00001922865,"domain_scores_codex":[0.9981092,0.00001275113,0.0003813721,0.0008727225,0.0003942655,0.0002296419],"domain_scores_gemma":[0.9984764,0.0005074396,0.0001839598,0.0005439295,0.0002336108,0.00005463171],"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.000003420728,0.000003584986,0.00002443078,0.00008783369,0.000007783203,0.000004878146,0.0007570187,0.4323055,0.0001741727,0.05646677,0.000001826628,0.5101628],"study_design_scores_gemma":[0.000059469,0.00006942227,0.00003087052,0.0002707928,0.000004869511,0.000005430484,1.533606e-8,0.7166595,0.002487912,0.2799667,0.0002670012,0.0001780641],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001670749,0.0003366871,0.9979716,0.000159481,0.0004588919,0.0005267847,0.00001152136,0.0002556491,0.0001123033],"genre_scores_gemma":[0.1323891,0.000020143,0.867284,0.00006083501,0.00008214128,0.00001675214,0.000004572098,0.0000238731,0.0001186429],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5099847,"threshold_uncertainty_score":0.9999862,"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."}}