{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00008138029,0.0001065739,0.0001586764,0.0001114893,0.0001417575,0.00002555592,0.0004101676,0.00004101484,0.000003564905],"category_scores_gemma":[0.00000156115,0.00009152738,0.00002861644,0.0003673194,0.00001589655,0.0003756081,0.0002334006,0.00005077223,0.000003428778],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008435363,"about_ca_system_score_gemma":0.00002898993,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00132768,"about_ca_topic_score_gemma":0.0001940704,"domain_scores_codex":[0.9991825,0.00003748582,0.0001936642,0.0002456377,0.0001900078,0.000150657],"domain_scores_gemma":[0.9993708,0.00007295928,0.00005026003,0.0003535988,0.00009235054,0.00006000268],"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.0001894537,0.001495711,0.0065014,0.001844215,0.0004432084,0.0001533718,0.04314674,0.376148,0.349163,0.08900172,0.00006167017,0.1318515],"study_design_scores_gemma":[0.0001677256,0.0000158232,0.0004867236,0.00005108264,0.00001069473,0.0001009889,0.00007158265,0.9814163,0.0171116,0.0004516846,0.00000933572,0.0001064671],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6693751,0.00005335758,0.3285868,0.0005440142,0.00004022141,0.00005110043,0.000001219227,0.0001102483,0.001237904],"genre_scores_gemma":[0.8893497,0.00001407788,0.1097489,0.0008560992,0.00002024439,0.00000188593,0.000001123151,0.000005614764,0.00000233208],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6052683,"threshold_uncertainty_score":0.3732378,"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."}}