{"id":"W2171325226","doi":"10.1109/iri.2008.4583003","title":"Modeling and synthesis of service composition using tree automata","year":2008,"lang":"en","type":"article","venue":"","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Ontario Tech University","funders":"","keywords":"Automaton; Computer science; Tree automaton; Tree (set theory); Theoretical computer science; Automata theory; Finite-state machine; Distributed computing; Algorithm; Mathematics","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.001138811,0.0006618368,0.000848992,0.0007769591,0.0007142121,0.001278232,0.001011471,0.0009669993,0.002164243],"category_scores_gemma":[0.003562632,0.0004599583,0.00178755,0.001052949,0.001122513,0.001588109,0.001052255,0.001042912,0.0005395341],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009695879,"about_ca_system_score_gemma":0.001720286,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003018097,"about_ca_topic_score_gemma":0.003182352,"domain_scores_codex":[0.9988292,0.0003227422,0.0001305514,0.0001918559,0.0004282753,0.00009743456],"domain_scores_gemma":[0.9985529,0.0008697641,0.0001284007,0.0001925052,0.0002056685,0.00005069616],"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.00008150767,0.00007659946,0.0004791637,0.0002079086,0.00004876142,0.0003405036,0.0002793798,0.7674967,0.01415641,0.1678682,0.0006839937,0.04828081],"study_design_scores_gemma":[0.00001357803,0.00002541232,0.0000317007,0.00001752781,0.00001863691,0.00003600086,0.00002082271,0.941284,0.005407365,0.0505301,0.002605137,0.000009723881],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008317649,0.0001074275,0.9892783,0.00006956128,0.00002899947,0.00005672522,0.00004236777,0.0004308071,0.001668137],"genre_scores_gemma":[0.2305977,0.0005760105,0.7659814,0.00007033773,0.000029431,0.0003852024,0.0002899609,0.0001765305,0.001893514],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003018097,"threshold_uncertainty_score":0.007240117,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0250377241219332,"score_gpt":0.2314919629786948,"score_spread":0.2064542388567616,"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."}}