{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001152814,0.001330026,0.001281659,0.001003444,0.0009264541,0.001639427,0.001840287,0.001324653,0.007867199],"category_scores_gemma":[0.002047134,0.0009267507,0.001630138,0.0005647982,0.0008433946,0.0009275706,0.001292302,0.001817268,0.002316954],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008533526,"about_ca_system_score_gemma":0.002259933,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005410012,"about_ca_topic_score_gemma":0.00774018,"domain_scores_codex":[0.9990959,0.0001325904,0.00006460497,0.0002004162,0.0004037543,0.0001027843],"domain_scores_gemma":[0.9992388,0.0003573214,0.00005116023,0.0001398805,0.0001733627,0.00003954688],"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.0002815961,0.0002712937,0.0002919302,0.0003874684,0.0001518933,0.0004405903,0.00016971,0.5350133,0.04380767,0.1098118,0.007385341,0.3019874],"study_design_scores_gemma":[0.00006789481,0.00005277245,0.0000367091,0.0000277541,0.00003805119,0.0000598527,0.00001384505,0.9558365,0.00819857,0.0286114,0.007035733,0.00002086969],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.000658616,0.00003719976,0.9956456,0.00002473054,0.00002291898,0.00005499897,0.00004424407,0.002500311,0.001011313],"genre_scores_gemma":[0.1190179,0.0001556352,0.8761798,0.0001095474,0.0000597007,0.0003763609,0.0003577716,0.0005610799,0.003182334],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007867199,"threshold_uncertainty_score":0.02631837,"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."}}