{"id":"W2894218079","doi":"10.1007/978-3-030-01042-3_8","title":"Realizability of Service Specifications","year":2018,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Sequence diagram; Computer science; Realizability; Sequence (biology); Unified Modeling Language; Distributed computing; Theoretical computer science; FIFO (computing and electronics); Programming language","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.001977091,0.0009052184,0.0007573903,0.001429722,0.001129619,0.00421272,0.001141993,0.001310867,0.00649422],"category_scores_gemma":[0.006209025,0.001233683,0.00182537,0.001590857,0.00323794,0.005438981,0.002245594,0.004193989,0.001205086],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001931068,"about_ca_system_score_gemma":0.001466944,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002127808,"about_ca_topic_score_gemma":0.001590393,"domain_scores_codex":[0.9974841,0.0006663447,0.0002072474,0.0004200427,0.0009662604,0.0002559852],"domain_scores_gemma":[0.9961228,0.002405455,0.0002275551,0.0007279901,0.0003674407,0.0001487917],"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.0000287707,0.00001155272,0.0001127379,0.00005161159,0.000009534364,0.00006443935,0.0002524737,0.002498945,0.001242141,0.9853455,0.0005569182,0.009825397],"study_design_scores_gemma":[0.00001386016,0.00001796069,0.0001041509,0.00003016971,0.00001560272,0.00006451709,0.00006784606,0.008050242,0.001463009,0.9816962,0.008466736,0.00000975176],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05142957,0.0009889954,0.846057,0.001106679,0.0001705963,0.0001029873,0.0004679332,0.0009767879,0.09869947],"genre_scores_gemma":[0.8336788,0.002205679,0.1301017,0.0002597361,0.0003098553,0.0003596119,0.002190463,0.0005655359,0.03032862],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00649422,"threshold_uncertainty_score":0.02172536,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07886877681958039,"score_gpt":0.2992884050333874,"score_spread":0.220419628213807,"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."}}