{"id":"W2966410070","doi":"10.1007/s10626-019-00282-0","title":"A controller synthesis framework for automated service composition","year":2019,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Web service; Computer science; WS-Policy; Supervisor; Service-oriented architecture; Web modeling; Service (business); Services computing; Task (project management); Business Process Execution Language; Supervisory control; Software engineering; Distributed computing; World Wide Web; Web development; Control (management); Web application security; Engineering; Artificial intelligence; Systems 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003656142,0.0003152482,0.0005006634,0.0001633836,0.0001674508,0.000280532,0.001166162,0.0001836036,0.000009102555],"category_scores_gemma":[0.00001119546,0.0002636244,0.0001942787,0.0005510096,0.00001162566,0.0003555611,0.0001711407,0.0001509662,0.0002599853],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009498503,"about_ca_system_score_gemma":0.00004821465,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003056738,"about_ca_topic_score_gemma":0.00004371202,"domain_scores_codex":[0.9977078,0.0001920353,0.0005031162,0.0006684852,0.0004240107,0.0005045384],"domain_scores_gemma":[0.9978317,0.0007095441,0.000305334,0.000821859,0.0001977387,0.00013385],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0008112948,0.000636137,0.004028881,0.004977585,0.001918402,0.00003428813,0.0132646,0.1608018,0.02704166,0.7784711,0.0009369612,0.007077381],"study_design_scores_gemma":[0.0006868432,0.00008604595,0.0009779503,0.0005580722,0.00004070318,0.00002319827,0.0003835515,0.9932392,0.0001233962,0.002181989,0.001340415,0.0003586587],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1091375,0.0005104084,0.8816938,0.0021969,0.002419427,0.002105499,0.0001086371,0.001330098,0.0004977261],"genre_scores_gemma":[0.987641,0.000005191261,0.01060897,0.001041858,0.00010473,0.0004118091,0.00007248593,0.00003652312,0.00007744949],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8785035,"threshold_uncertainty_score":0.9999816,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005315000124663643,"score_gpt":0.2540139106544575,"score_spread":0.2486989105297938,"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."}}