{"id":"W2973214262","doi":"10.1007/978-3-030-30690-8_2","title":"Deriving Distributed Design Models from Global State Machines Requirements","year":2019,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Notation; Computer science; Sequence diagram; Unified Modeling Language; Finite-state machine; Concurrency; Sequence (biology); State (computer science); Programming language; Distributed computing; 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.0007297135,0.0008055678,0.0007263177,0.0003784332,0.0001671623,0.0007004118,0.005048819,0.000343119,0.00001085126],"category_scores_gemma":[0.00002565225,0.0007814579,0.0001503485,0.0005894313,0.0002920757,0.001314455,0.002535187,0.0006830612,0.00003484233],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008959432,"about_ca_system_score_gemma":0.0006308779,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001366962,"about_ca_topic_score_gemma":0.0000395548,"domain_scores_codex":[0.9950593,0.00006148641,0.0006691031,0.002029056,0.001305618,0.0008754689],"domain_scores_gemma":[0.9966745,0.0003191293,0.0003420104,0.002188171,0.0002586636,0.0002175522],"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.000004710798,0.0000148445,0.00008608455,0.00001802457,0.00001859159,0.00005524485,0.0001556169,0.6450738,0.00006179627,0.01291098,0.00003123124,0.3415691],"study_design_scores_gemma":[0.0001422163,0.00007288632,0.0000871347,0.0003826154,0.000006390187,0.00001363348,6.380224e-9,0.7278122,0.0004231527,0.2700841,0.0003788082,0.000596792],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00007222546,0.0003579343,0.9959581,0.0001552109,0.001476728,0.0006764394,0.0001179061,0.0010049,0.0001804844],"genre_scores_gemma":[0.04017925,0.00003954905,0.9591156,0.0003683929,0.0001396832,0.00001329998,0.00003171793,0.00004826276,0.00006427873],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3409723,"threshold_uncertainty_score":0.9994636,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02975529144438453,"score_gpt":0.2537594126195897,"score_spread":0.2240041211752051,"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."}}