{"id":"W4249399562","doi":"10.1007/978-3-540-75698-9_12","title":"Automatic Composition of Stateless Components: A Logical Reasoning Approach","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Stateless protocol; Component (thermodynamics); Computer science; Reuse; Workflow; Component-based software engineering; Composition (language); Simple (philosophy); Software; Programming language; Process (computing); Software engineering; Software system; Distributed computing; Theoretical computer science; Database; Engineering","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.00547101,0.001335568,0.001293139,0.002045969,0.002413613,0.00463945,0.004800741,0.002262056,0.0070504],"category_scores_gemma":[0.01301793,0.002367562,0.004239932,0.001491681,0.004765734,0.008987578,0.003880524,0.003314914,0.001561734],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001285548,"about_ca_system_score_gemma":0.002098403,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002007224,"about_ca_topic_score_gemma":0.003352496,"domain_scores_codex":[0.9959128,0.0009936373,0.0004112071,0.0007159717,0.001655525,0.0003107347],"domain_scores_gemma":[0.9910499,0.00605578,0.000384035,0.001408035,0.0009278597,0.0001743398],"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.0004876569,0.0003706698,0.000998262,0.0009874476,0.0002677186,0.0009515028,0.001231573,0.07931582,0.03163904,0.6550142,0.005076141,0.22366],"study_design_scores_gemma":[0.0001330769,0.00007380284,0.0001532055,0.0001265305,0.0003543834,0.0003870047,0.0001693748,0.4260505,0.0349852,0.5263503,0.01113942,0.0000772245],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002899916,0.00006458938,0.9945394,0.00007978355,0.00002792338,0.00006151183,0.00002512956,0.001043245,0.001258411],"genre_scores_gemma":[0.0658574,0.0001598844,0.9309255,0.0001000844,0.00003817487,0.0001076464,0.0002049873,0.0003234464,0.00228294],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0070504,"threshold_uncertainty_score":0.02893376,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02305224273706635,"score_gpt":0.2535276898149459,"score_spread":0.2304754470778795,"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."}}