{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001705603,0.001196327,0.0006965117,0.001225172,0.0004352678,0.001786122,0.001368231,0.00119843,0.004956224],"category_scores_gemma":[0.007110006,0.001245509,0.001690783,0.00074423,0.0007404869,0.002383252,0.002003973,0.002117448,0.001741228],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009394067,"about_ca_system_score_gemma":0.001394976,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001144533,"about_ca_topic_score_gemma":0.002458398,"domain_scores_codex":[0.9982271,0.0004854072,0.0001249641,0.00018181,0.000876563,0.0001042236],"domain_scores_gemma":[0.9960254,0.002524578,0.0002189602,0.0006962537,0.0004937536,0.00004112838],"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.0001574601,0.000232658,0.00144756,0.0009927583,0.0001114693,0.0009513159,0.001007254,0.417998,0.02528162,0.3290298,0.006574539,0.2162155],"study_design_scores_gemma":[0.00006803375,0.00009453724,0.0003645033,0.0001874832,0.0001131061,0.0002970789,0.0001726425,0.8126603,0.01911874,0.1391124,0.02778491,0.0000262278],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00757767,0.00005397012,0.9845151,0.0001275487,0.0000160034,0.0001298779,0.0002011569,0.0009247669,0.006453861],"genre_scores_gemma":[0.2893786,0.0004090323,0.6950033,0.0001838542,0.00003401515,0.0008626031,0.002059196,0.00106982,0.01099963],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004956224,"threshold_uncertainty_score":0.01658016,"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."}}