{"id":"W2124312938","doi":"10.5555/1775223.1775235","title":"Automatic composition of stateless components: a logical reasoning approach","year":2007,"lang":"en","type":"article","venue":"Fundamentals of Software Engineering","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Stateless protocol; Computer science; Component (thermodynamics); Component-based software engineering; Reuse; Workflow; Composition (language); Simple (philosophy); Programming language; Software; Process (computing); Software system; Software engineering; 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.004010705,0.00120871,0.001235931,0.002073777,0.002271618,0.003829375,0.003833625,0.002105393,0.005861555],"category_scores_gemma":[0.01187601,0.001721215,0.00276539,0.001367513,0.003400818,0.007652697,0.003518771,0.002675197,0.001385474],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009944836,"about_ca_system_score_gemma":0.001686454,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001521387,"about_ca_topic_score_gemma":0.002912886,"domain_scores_codex":[0.9961372,0.0008060769,0.0003510518,0.0007702261,0.001632271,0.0003031042],"domain_scores_gemma":[0.9925933,0.00392427,0.0004358439,0.001827772,0.001006681,0.0002120674],"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.0008088545,0.0004644019,0.002017316,0.0008985722,0.0002869484,0.001368678,0.001254849,0.1016526,0.06453744,0.4641069,0.005081806,0.3575216],"study_design_scores_gemma":[0.0001279798,0.0001005765,0.0002483747,0.0001008218,0.0003290433,0.0004765114,0.0001788929,0.531856,0.05782349,0.3984093,0.01027145,0.00007744422],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00652395,0.00008559255,0.9905437,0.00008190838,0.00003872932,0.00006753812,0.00002405492,0.001379082,0.001255474],"genre_scores_gemma":[0.1259318,0.0001604046,0.8705884,0.00008147172,0.00004098374,0.0001047792,0.0001867729,0.0004054554,0.002499874],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005861555,"threshold_uncertainty_score":0.02121091,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01622882126024279,"score_gpt":0.233477971207716,"score_spread":0.2172491499474732,"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."}}